Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017 

PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.

Contribution to Book/Monograph

1Basile D., Di Giandomenico F., Gnesi S. Model-based evaluation of energy saving systems. In: Green IT Engineering: Concepts, Models, Complex Systems Architectures. pp. 187 - 208. Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk (eds.). (Studies in Systems, Decision and Control, vol. 74). Cham, Switzerland: Springer International Publishing, 2017.        


1Latella D., Loreti M., Massink M. FlyFast: a mean field model checker. In: TACAS 2017 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Uppsala, Sweden, 22-29 April 2017). Proceedings, pp. 303 - 309. Axel Legay, Tiziana Margaria (eds.). (Lecture Notes in Computer Science, vol. 10206). Springer, 2017.        
2Ter Beek M. H., Carmona J., Hennicker R., Kleijn J. Communication requirements for team automata. In: COORDINATION 2017 - Coordination Models and Languages. 19th IFIP WG 6.1 International Conference. Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 (Neuch√Ętel, Switzerland, 19-22 June 2017). Proceedings, pp. 256 - 277. J.M. Jacquet, M. Massink (eds.). (Lecture Notes in Computer Science, vol. 10319). Springer, 2017.        
3Ter Beek M. H., De Vink E. P., Willemse T. A. Family-based model checking with mCRL2. In: FASE 2017 - Fundamental Approaches to Software Engineering. 20th International Conference (Uppsala, Sweden, 22-29 April 2017). Proceedings, vol. 10202 pp. 387 - 405. Marieke Huisman, Julia Rubin (eds.). (Lecture Notes in Computer Science, vol. 10202). Springer, 2017.        


1Bartoletti M., Ter Beek M. H., Cruz-Filipe L., Melgratti H., (eds.) .. Editorial message - Special track on Service-Oriented Architectures and Programming (SOAP). pp. 1309 - 1311. ACM, 2017.     
2Jaquet J., Massink M., (eds). .. Coordination Models and Languages - Preface. pp. VIII - VIII. Springer, 2017.        
3Ter Beek M. H., Lluch Lafuente A., (eds.) .. Automated specification and verification of Web-based applications. vol. 87 (February 2017) pp. 51 - 51. Virtual Special Issue on Automated Specification and Verification of Web-based Applications. Elsevier, 2017.        
4Ter Beek M. H., Siegmund N., Schaefer I., (eds.) .. Foreword. pp. i - ii. ACM, 2017.     

Technical reports

1Barsocchi P., Basile D., Candela L., Ciancia V., Delle Piane M., Esuli A., Ferrari A., Girardi M., Guidotti R., Lonetti F., Moroni D., Nardini F. M., Rinzivillo S., Vadicamo L. ISTI Young Research Award 2017. Technical report, 2017.  
2Basile D., Di Giandomenico F., Gnesi S. A refinement approach to analyse critical cyber-physical systems. Extended Version. Technical report, 2017.  
3Basile D., Ter Beek M. H., Di Giandomenico F., Gnesi S., Degano P., Ferrari G. L., Legay A. Controller synthesis of contract-based service product lines: extended version. Technical report, 2017.  
4Latella D., Massink M. Design and optimisation of the flyfast front-end for attribute-based coordination. Preliminary version. QUANTICOL Technical Report TR-QC-01-2017. Technical report, 2017.     
5Massink M., Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Loreti M., Tribastone M., Vandin A. QUANTICOL - Combining spatial verification with model reduction and relating local and global views. QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours. Deliverable D3.3, 2017.     
6Spagnolo G. O., Serchiani G., Lami G. Registratori telematici: modello di processo per l'approvazione degli apparecchi misuratori fiscali. ISTI/SSEC/2017/1, Technical report, 2017.  
7Ter Beek M. H., Legay A., Lluch Lafuente A., Vandin A. A framework for quantitative modeling and analysis of highly (re)configurable systems. arXiv:1707.08411v1 [cs.SE]. Technical report, 2017.     
comments to Stefania Gnesi