Formal Methods and Tools Laboratory (FMT)

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


Publications

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

   2015
1Gnesi S., Jarzabek S. Special section on the 17th International Software Product Line Conference. In: International Journal on Software Tools for Technology Transfer, vol. 17 (5) pp. 555 - 557. Springer, 2015.        
2Latella D., Massink M., De Vink E. Bisimulation of labelled state-to-function transition systems coalgebraically. In: Logical Methods in Computer Science, vol. 11 (4) pp. 1 - 40. Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2015.        
3Latella D., Loreti M., Massink M. On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. In: Science of Computer Programming, vol. 110 pp. 23 - 50. Elsevier, 2015. [Online First 27 June 2015]        
4Ter Beek M. H., Carmona J., Kleijn J. Communication and compatibility in systems of systems: correctness-by-construction. In: ERCIM News, vol. 102 pp. 21 - 22. Special issue: Trustworthy systems of systems. ERCIM, 2015.     

Contribution to Book/Monograph

   2015
1Basile D., Galletta L., Mezzetti G. Safe adaptation through implicit effect coercion. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. pp. 122 - 141. Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami (eds.). (Lecture Notes in Computer Science, vol. 9465). Paris, France: Springer, 2015.        
2Ciancia V., Grilletti G., Latella D., Loreti M., Massink M. An experimental spatio-temporal model checker. In: Software Engineering and Formal Methods. pp. 297 - 311. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). York, UK: Springer, 2015.        
3De Nicola R., Latella D., Lluch Lafuente A., Loreti M., Margheri A., Massink M., Morichetta A., Pugliese R., Tiezzi F., Vandin A. The SCEL language: design, implementation, verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS approach. pp. 3 - 71. Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.). (Lecture Notes in Computer Science, vol. 8998). Berlin: Springer, 2015.        
4Latella D., Loreti M., Massink M., Senni V. On StocS: a stochastic extension of SCEL. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. pp. 619 - 640. R. De Nicola, R. Hennicker (eds.). (Lecture Notes in Computer Science, vol. 8950). Heidelberg - New York - Dordrecht - London: Springer, 2015.        
5Latella D., De Nicola R., Loreti M., Massink M. Quantitative analysis of distributed systems in stoklaim: a tutorial. In: Quantitative Assessments of Distributed Systems: Methodologies and Techniques. pp. 27 - 55. Dario Bruneo, Salvatore Distefano (eds.). Hoboken, NJ, USA: John Wiley & Sons, Inc., 2015.        
6Ter Beek M. H., Gnesi S., Mazzanti F. From EU projects to a family of model checkers: from Kandinsky to KandISTI. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. pp. 312 - 328. Rocco De Nicola, Rolf Hennicker (eds.). (Lecture Notes in Computer Science, vol. 8950). Heidelberg: Springer, 2015.        
7Ter Beek M. H., Gnesi S., Mazzanti F. Model checking value-passing modal specifications. In: Perspectives of System Informatics. pp. 304 - 319. A. Voronkov, I. Virbitskaite (eds.). (Lecture Notes in Computer Science, vol. 8974). Berlin: Springer, 2015.        
8Ter Beek M. H., Gnesi S., Latella D., Massink M. Towards automatic decision support for bike-sharing system design. In: Software Engineering and Formal Methods. pp. 266 - 280. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). York, UK: Springer, 2015.        

Proceedings

   2015
1Bacciu D., Gnesi S., Semini L. Using a machine learning approach to implement and evaluate product line features. In: WWV 2015 - 11th International Workshop on Automated Specification and Verification of Web Systems (Oslo, Norway, 23 June 2015). Proceedings, vol. 188 pp. 75 - 83. Maurice H. ter Beek, Alberto Lluch-Lafuente (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 188). EPTCS, 2015.        
2Bano M., Ferrari A., Zowghi D., Gervasi V., Gnesi S. Automated service selection using natural language processing. In: APRES 2015 - Requirements Engineering in the Big Data Era. Second Asia Pacific Symposium (Wuhan, China, 18-20 October 2015). Proceedings, pp. 3 - 17. Lin Liu, Mikio Aoyama (eds.). (Communications in Computer and Information Science, vol. 558). Springer, 2015.           
3Basile D., Chiaradonna S., Di Giandomenico F., Gnesi S., Mazzanti F. Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: SERENE 2015 - Software Engineering for Resilient Systems. 7th International Workshop (Paris, France, 7-8 September 2015). Proceedings, pp. 82 - 98. Alessandro Fantechi, Patrizio Pelliccione (eds.). (Lecture Notes in Computer Science, vol. 9274). Springer, 2015.        
4Belder T., Ter Beek M. H., De Vink E. P. Coherent branching feature bisimulation. In: FMSPLE'15 - 6th International Workshop on Formal Methods for Software Product Line Engineering (London, UK, 11 April 2015). Proceedings, pp. 14 - 30. J.M. Atlee, S. Gnesi (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 182). EPTCS, 2015.        
5Bortolussi L., De Nicola R., Galpin V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M. CARMA: Collective Adaptive Resource-sharing Markovian Agents. In: QAPL 2015 - Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (London, UK, 11-12 April 2015). Proceedings, vol. 194 pp. 16 - 31. Nathalie Bertrand, Mirco Tribastone (eds.). (EPTCS - Electronic Proceedings in Theoretical Computer Science, vol. 194). Electronic Proceedings in Theoretical Computer Science, 2015.        
6Ciancia V., Latella D., Massink M., Paskauskas R. Exploring spatio-temporal properties of bike-sharing systems. In: SASOW 2015 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (Cambridge, MA, USA, 21-25 September 2015). Proceedings, pp. 74 - 79. J. Beal, J. Hillston, M. Viroli (eds.). IEEE, 2015.        
7Ferrari A., Spoletini P., Gnesi S. Ambiguity as a resource to disclose tacit knowledge. In: RE 2015 - IEEE 23rd International Requirements Engineering Conference (Ottawa, Canada, 24-28 August 2015). Proceedings, pp. 26 - 35. IEEE, 2015.           
8Ferrari A., Spagnolo G. O., Gnesi S., Dell'Orletta F. CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. In: SPLC'15 - 19th International Conference on Software Product Line (Nashville, TN, USA, 20-24 July 2015). Proceedings, pp. 402 - 410. ACM, 2015.        
9Gnesi S., Plat N. 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). In: ICSE 2015 - IEEE/ACM 37th International Conference on Software Engineering (Florence, Italy, 16-24 May 2015). Proceedings, vol. 2 pp. 977 - 978. IEEE, 2015.        
10Latella D., Massink M., De Vink E. A definition scheme for quantitative bisimulation. In: QAPL 2015 - 13th Workshop on Quantitative Aspects of Programming Languages and Systems (London, UK, 11-12 April 2015). Proceedings, vol. 194 pp. 63 - 78. Nathalie Bertrand, Mirco Tribastone (eds.). (EPTCS - Electronic Proceedings in Theoretical Computer Science, vol. 194). Electronic Proceedings in Theoretical Computer Science, 2015.        
11Latella D., Loreti M., Massink M. Investigating fluid-flow semantics of asynchronous tuple-based process languages for collective adaptive systems. In: COORDINATION 2015 - Coordination Models and Languages. 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 (Grenoble, France, 2-4 June 2015). Proceedings, vol. 9037 pp. 19 - 34. Tom Holvoet, Mirko Viroli (eds.). (Lecture Notes in Computer Science, vol. 9037). Springer, 2015.        
12Latella D., Loreti M., Massink M. On-the-fly fluid model checking via discrete time population models. In: EPEW 2015 - 12th European Workshop on Computer Performance Engineering (Madrid, Spain, 31 August - 1 September 2015). Proceedings, pp. 193 - 207. Marta Beltrán, William Knottenbelt, Jeremy Bradley (eds.). (Lecture Notes in Computer Science, vol. 9272). Springer, 2015.        
13Massink M., Paškauskas R. Model-based Assessment of Aspects of User-satisfaction in Bicycle Sharing Systems. In: ITSC 2015 - 18th IEEE International Conference on Intelligent Transportation Systems (Las Palmas de Gran Canaria Canary Islands, Spain, 15-18 September 2015). Proceedings, pp. 1363 - 1370. IEEE CS, 2015.        
14Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M. Qualitative and quantitative monitoring of spatio-temporal properties. In: RV 2015 - Runtime Verification 2015. 6th International Conference (Vienna, Austria, 22 - 25 September 2015). Proceedings, pp. 21 - 37. Ezio Bartocci, Rupak Majumdar (eds.). (Lecture Notes in Computer Science, vol. 9333). Springer, 2015.        
15Ter Beek M. H., Fantechi A., Gnesi S. Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. In: SPLC'15 - 19th International Software Product Line Conference (Nashville, TN, USA, 20-24 July 2015). Proceedings, pp. 321 - 326. ACM, 2015.     
16Ter Beek M. H., Damiani F., Gnesi S., Mazzanti F., Paolini L. From featured transition systems to modal transition systems with variability constraints. In: SEFM'15 - 13th International Conference on Software Engineering and Formal Methods (York, UK, 7-11 September 2015). Proceedings, vol. 9276 pp. 344 - 359. Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9276). Springer, 2015.        
17Ter Beek M. H., Legay A., Lluch Lafuente A., Vandin A. Quantitative analysis of probabilistic models of software product lines with statistical model checking. In: FMSPLE'15 - 6th International Workshop on Formal Methods for Software Product Line Engineering (London, UK, 11 April 2015). Proceedings, pp. 56 - 70. J.M. Atlee, S. Gnesi (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 182). EPTCS, 2015.        
18Ter Beek M. H., Legay A., Lluch Lafuente A., Vandin A. Statistical analysis of probabilistic models of software product lines with quantitative constraints. In: SPLC'15 - 19th International Software Product Line Conference (Nashville, TN, USA, 20-24 July 2015). Proceedings, pp. 11 - 15. ACM, 2015.     
19Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. Using FMC for family-based analysis of Software product lines. In: SPLC'15 - 19th International Software Product Line Conference (Nashville, TN, USA, 20-24 July 2015). Proceedings, pp. 432 - 439. ACM, 2015.     

Editorials

   2015
1Gnesi S., Atlee J. M., (eds.) .. Proceedings FMSPLE 2015. vol. 182 article n. 10.4204/EPTCS.182. Electronic Proceedings in Theoretical Computer Science, 2015.        
2Ter Beek M. H., Lluch Lafuente A., (eds.) .. Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems. vol. 188 pp. 1 - 3. EPTCS, 2015.        

Technical reports

   2015
1Bortolussi L., Hillston J., Loreti M. Linking language and mean field approximations. QUANTICOL Internal Report 1.1. Technical report, 2015.  
2Bortolussi L., Gast N. Mean field approximation of imprecise population processes. QUANTICOL Technical Report TR-QC-07-2015. Technical report, 2015.  
3Bortolussi L., Gast N., Hillston J., Tribastone M. QUANTICOL - A framework for hybrid limits under uncertainty. A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (QUANTICOL). Deliverable D1.2, 2015.  
4Ciancia V., Latella D., Massink M. An attribute-based front-end for FlyFast. Technical report, 2015.  
5Ciancia V., Latella D., Massink M. On space in CARMA. QUANTICOL Technical Report TR-QC-1-2015. Technical report, 2015.  
6Ciancia V., De Nicola R., Hillston J., Latella D., Loreti M., Massink M. QUANTICOL - CAS-SCEL semantics and implementation. A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (QUANTICOL). Deliverable D4.2, 2015.  
7Corradini F., Ferrrari A., Fornari F., Gnesi S., Polini A., Re B., Spagnolo G. O. Quality assessment strategy: applying business process understandability guidelines for learning. Technical report, 2015.  
8Ferrari A., Witschel H. F., Spagnolo G. O., Gnesi S. LEARN PAD - Quality assessment strategies for contents. Learn PAd - Model-Based Social Learning for Public Administrations. Deliverable D4.2, 2015.  
9Fneg C., Latella D., Loreti M., Massink M., Reijsbergen D., Shams F., Tribastone M., Vandin A., Williams C. QUANTICOL - A CAS-SCEL implementation for smart-city modelling. A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (QUANTICOL). Deliverable D5.2, 2015.  
10Galpin V., Bortolussi L., Ciancia V., Feng C., Gast N., Hillston J., Massink M., Latella D., Tribastone M., Tschaikowski M. A unified view of spatial representation and analysis techniques. QUANTICOL Internal Report 2.1. Technical report, 2015.  
11Massink M., PašKauskas R. Model-based assessment of aspects of user-satisfaction in bicycle sharing systems. QUANTICOL Technical Report TR-QC-03-2015. Technical report, 2015.  
12Massink M., Ter Beek M. H., Feng C., Hillston J., Tribastone M. Scalability beyond population size and quantitative product family engineering. QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours. Deliverable D3.2, 2015.     
13Nenzi L., Bortolussi L., Ciancia V., Loreti M., Massink M. Qualitative and quantitative monitoring of spatio-temporal properties. Extended version. QUANTICOL Technical Report. Technical report, 2015.  
14Re B., Polini A., Gnesi S., Ferrari A., Fornari F., Spagnolo G. O., Corradini F. LEARN PAD - Formal verification of business processes. Learn PAd - Model-Based Social Learning for Public Administrations. Deliverable D 4.1, 2015.  
15Re B., Polini A., Corradini F., Fornari F., Sergiacomi A., Amici C., Balducci A., Carota S., Giorgio L., De Simone S., Ferrari A., Gnesi S., Spagnolo G. O., Efendioglu N., Bertolino A. LEARN PAD - Platform prototype early validation results. Learn PAd - Model-Based Social Learning for Public Administrations. Deliverable D8.2, 2015.  
16Ter Beek M. H., Legay A., Lluch Lafuente A., Vandin A. Statistical analysis of probabilistic models of software product lines with quantitative constraints. Extended Version. Technical report, 2015.     

Abstracts

   2015
1Basile D., Di Giandomenico F., Gnesi S. Supporting the design of intelligent railway stations. In: I-CiTies 2015 - CINI Annual Conference on ICT for Smart Cities & Communities (Palermo, Italy, 29-30 Ottobre 2015).         
comments to Stefania Gnesi