Self Managing Situated Computing

I am a 26 years old Computer Science Engineer. I am currently a PhD Student in Computer Science at Politecnico di Milano. I received a Master of Science degree in Computer Science (2007) from the University of Illinois at Chicago, a "Laurea" degree in Computer Science Engineering (2007) from Politecnico di Milano. My Research interests includes: (1) Service Oriented Architectures, (2) Context-Aware Systems, and (3) Non-Functional Requirements but I am always ready to investigate alternative branches of Computer Science.

• A. Filieri, C. Ghezzi and G. Tamburrelli. "A formal approach to adaptive software: continuous assurance of non-functional requirements", Formal Aspects of Computing. 2011, pp. 1-24. [More] 
• A. Filieri, C. Ghezzi and G. Tamburrelli. "Run-Time Efficient Probabilistic Model Checking". ICSE. 2011. [More] 
• A. Filieri, C. Ghezzi, R. Mirandola and G. Tamburrelli. "Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification". 2011. [More] 
• R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola and G. Tamburrelli. "Dynamic QoS Management and Optimisation in Service-Based Systems", IEEE Transactions on Software Engineering, Vol. 99. 2010. [More] 
• I. Epifani, C. Ghezzi and G. Tamburrelli. "Change-Point Detection for Black-Box Services". 2010. [More]