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.

Journal articles

1Bolognesi T., Ciancia V. Exploring nominal cellular automata. In: Journal of Logic and Algebraic Programming, vol. 93 (December 2017) pp. 23 - 41. Elsevier, 2017.        

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.        
2Bernardini C., Colombetti G., Latella D., Lenci F. L'USPID. In: Fisica per la pace. pp. 143 - 154. Pietro Greco (ed.). Roma: Carocci, 2017.     
3Bolognesi T. LOTOS-like composition of boolean nets and causal set construction. In: ModelEd, TestEd, TrustEd. pp. 27 - 47. Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.). (Lecture Notes in Computer Science, vol. 10500). Switzerland: Springer, 2017.        


1Basile D., Ter Beek M. H., Di Giandomenico F., Gnesi S. Orchestration of dynamic service product lines with featured modal contract automata. In: SPLC'17 - 21st International Systems & Software Product Line Conference (Sevilla, Spain, 25-29 September 2017). Proceedings, vol. B pp. 117 - 122. ACM, 2017.        
2Basile D., Di Giandomenico F., Gnesi S. Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: SAC 2017 - 32th ACM SIGAPP Symposium on Applied Computing (Marrakesh, Marocco, 4-6 April 2017). Proceedings, pp. 1356 - 1363. ACM, 2017.        
3Latella D., Massink M. Design and optimisation of the FlyFast front-end for attribute-based coordination. In: QAPL 2017 - Quantitative Aspects of Programming Languages and Systems (Uppsala, Sweden, 23 aprile 2017). Proceedings, pp. 92 - 110. Herbert Wiklicky, Erik de Vink (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 250). Open Publishing Association, 2017.        
4Latella 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.        
5Ter 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.        
6Ter 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.     
5Ter Beek M. H., Cazzola W., Diaz O., La Rosa M., López-Herrejón R. E., Thüm T., Troya J., Ruiz-Cortés A., Benavides D., (eds.) .. Proceedings of SPLC 2017. vol. B pp. vi - vi. 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