Self Managing Situated Computing

ERC Advanced Investigator Grant N. 227977 [2008-2013] - PI Professor Carlo Ghezzi

Bersani, Marcello

Personal Information:
Position:	Not specified


Publications
M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella and M. Rossi. "SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability". 2010. [More] M. Bersani, A. Frigeri, M. Pradella, M. Rossi, A. Morzenti and P. San Pietro. "Bounded Reachability for Temporal Logic over Constraint Systems". 2010. [More] M. Bersani, C. A. Furia, M. Pradella and M. Rossi. "Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms". 2009. [More]