How to build a recommendation system for software engineering.- behaviors as design components of cyber-physical systems.- a control-theoretic approach to self-adaptive systems and an application to cloud-based software.- consistency in distributed systems.- software mining studies: goals, approaches, artifacts, and replicability.- theory of programs.
