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

   2011
1Bolognesi T. Algorithmic causets. In: Journal of Physics: Conference Series, vol. 306 (1) article n. 012042. Special issue: 5th International Workshop DICE 2010 Space-Time-Matter - Current Issues in Quantum Mechanics and Beyond. Lajos Diósi, Hans-Thomas Elze, Leone Fronzoni, Jonathan Halliwell, Enrico Prati, Giuseppe Vitiello, James Yearsley (eds.). IOP Science, 2011.        
2Fantechi A., Gnesi S. Model Checking cos'è e come si applica. In: Mondo Digitale, vol. 38/39 pp. 29 - 38. AICA, 2011.     
3Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M. Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer. In: International Journal of Embedded and Real-Time Communication Systems (IJERTCS), vol. 2 (2) pp. 42 - 61. IGI Global, 2011.        
4Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. A state/event-based model-checking approach for the analysis of abstract system properties. In: Science of Computer Programming, vol. 76 (2) pp. 119 - 135. Elsevier, 2011.        

Contribution to Book/Monograph

   2011
1Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Tores Vieira U., Zunino R. Tools and verification. In: Results of the SENSORIA Project. pp. 408 - 427. Martin Wirsing, Matthias M. Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.           
2Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S. Quantitative analysis of services. In: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. pp. 522 - 540. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer, 2011.        
3De Nicola R., Latella D., Loreti M., Massink M. SoSL: a Service-oriented Stochastic Logic. In: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. pp. 447 - 466. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer, 2011.        
4Elgner J., Gnesi S., Koch N., Mayer P. Introduction to the Sensoria Case Studies. In: Rigorous Software Engineering for Service-Oriented. pp. 26 - 34. MartinWirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg Dordrecht London NewYork: Springer, 2011.     
5Elgner J., Gnesi S., Koch N., Mayer P. Specification and implementation of demonstrators for the case studies. In: Rigorous Software Engineering for Service-Oriented. pp. 640 - 654. MartinWirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.        
6Gnesi S., Mazzanti F. An abstract, on the fly framework for the verification of service-oriented systems. In: Rigorous Software Engineering for Service-Oriented. pp. 390 - 407. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.        
7Gnesi S., Pugliese R., Tiezzi F. The Sensoria approach applied to the finance case study. In: Rigorous Software Engineering for Service-Oriented. pp. 698 - 718. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.        
8Ter Beek M., Csuhaj-Varju E., Holzer M., Vaszil G. Cooperating distributed grammar systems: components with nonincreasing competence. In: Computation, Cooperation, and Life. Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday. pp. 70 - 89. J. Kelemen, A. Kelemenová (eds.). (Lecture Notes in Computer Science, vol. 6610). Berlin: Springer-Verlag, 2011.     
9Ter Beek M. H., Lapadula A., Loreti M., Palasciano C. Analysing robot movement using the SENSORIA methods. In: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. pp. 678 - 697. M. Wirsing, M. Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer-Verlag, 2011.        
10Ter Beek M. H. SENSORIA results applied to the case studies. In: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. pp. 655 - 677. M. Wirsing, M. Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer-Verlag, 2011.        

Proceedings

   2011
1Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A model-checking tool for families of services. In: FMOODS'11/FORTE'11 - Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (Reykjavik, Iceland, 6-8 Giugno 2011). Proceedings, pp. 44 - 58. R. Bruni, J. Dingel (eds.). (Lecture Notes in Computer Science, vol. 6722). Springer, 2011.        
2Asirelli P., Ter Beek M. H., Fantechi A., Mazzanti F. Design and validation of variability in product lines. In: PLEASE 2011 - 2nd International Workshop on Product LinE Approaches in Software Engineering (Honolulu, Hawaii, USA, 22-23 May 2011). Proceedings, pp. 25 - 30. ACM, 2011.     
3Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Formal description of variability in product families. In: SPLC 2011 - 15th International Software Product Line Conference (München, Germany, 21-26 Agosto 2011). Proceedings, pp. 130 - 139. IEEE, 2011.        
4Bolognesi T. Reality is ultimately digital, and its program is still undebugged. In: FQXi Essay Contest 2011 - Is Reality Digital or Analog? (http://fqxi.org/community/essay (sito web), 1 November - 15 March 2011). Proceedings, Foundational Question Institute, 2011.     
5Fantechi A., Gnesi S. On the adoption of model checking in safety-related software industry. In: SAFECOMP 2011 - Computer Safety, Reliability, and Security. 30th International Conference (Naples, Italy, 19-22 September 2011). Proceedings, pp. 383 - 396. Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.). (Lecture Notes in Computer Science, vol. 6894). Springer, 2011.        
6Ferrari A., Magnani G., Grasso D., Fantechi A. Model checking interlocking control tables. In: FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems 2010 (Braunschweig, Germany, 2-3 December 2010). Proceedings, vol. 2 pp. 107 - 115. Eckehard Schnieder, Geza Tarnai. Springer, 2011.        
7Massink M., Latella D., Bracciali A., Hillston J. Modelling non-linear crowd dynamics in Bio-PEPA. In: FASE 2011 - Fundamental Approaches to Software Engineering 2011. 14th International Conference (Saarbruecken, Germany, March 26 - April 3 2011). Proceedings, pp. 96 - 110. D. Giannakopoulou, F. Orejas (eds.). (Lecture Notes in Computer Science, vol. 6603). Springer-Verlag, 2011.        
8Njima M. N., Ter Beek M. H., Gnesi S. Product line architectures for SOA. In: SERP 2011 - 11th International Conference on Software Engineering Research and Practice (Las Vegas, Nevada, USA, 18-21 July 2011). Proceedings, vol. I pp. 227 - 232. H.R. Arabnia, H. Reza, L. Deligiannidis (eds.). CSREA, 2011.     
9Ter Beek M. H., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product lines: setting up the problem. In: SERENE 2011 - Software Engineering for Resilient Systems. Third International Workshop (Geneva, Switzerland, 29-30 September 2011). Proceedings, pp. 100 - 105. E.A. Troubitsyna (ed.). (Lecture Notes in Computer Science, vol. 6968). Springer-Verlag, 2011.        
10Ter Beek M. H., Gnesi S., Njima M. N. Product lines for service oriented applications - PL for SOA. In: WWV 2011 - 7th Workshop on Automated Specification and Verification of Web Systems (Reykjavik, Iceland, 9 Giugno 2011). Proceedings, vol. 61 pp. 34 - 48. L. Kovacs, R. Pugliese, F. Tiezzi (eds.). EPTCS, 2011.        

Editorials

   2011
1Massink M., Norman G., (eds.) .. Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. vol. 57 pp. i - iii. Electronic Proceedings in Theoretical Computer Science, 2011.        

Technical reports

   2011
1Biscoglio I., Coco A., Trentanni G. Cartelle sanitarie e di rischio: un'esperienza di certificazione. Technical report, 2011.  
2Bortolussi L., Hillston J., Latella D., Massink M. Continuous approximation of collective systems behaviour: a tutorial. Technical report, 2011.  
3Bortolussi L., Le Boudec J., Latella D., Massink M. Revisiting the limit behaviour of ``El Botellon". EPFL-REPORT-179935, Technical report, 2011.     
4Bucchiarone A., Gnesi S., Lami G., Trentanni G., Fantechi A. QuARS Express: A Tool for Evaluating Natural Language Requirements. Technical report, 2011.  
5De Nicola R., Latella D., Loreti M., Massink M. State to function labelled transition systems: a uniform framework for defining stochastic process calculi. Technical report, 2011.  
6Fantechi A., Meolic R., Gnesi S., Trentanni G. WCS: a Witness and Counterexample Server. Technical report, 2011.  
7Ferrari A. CBTC preliminary report. TR-002-PAR-FAS-2007-2013, Technical report, 2011.  
8Ferrari A., Illiashenko O., Parfenov S. Evaluation of the IBM rhapsody tool for modeling automatic train protection (ATP) systems: the restrictive signal confirmation (RSC) button. TR-001-PAR-FAS-2007-2013, Technical report, 2011.  
9Gnesi S., Trentanni G. The HAL-online Tool. Technical report, 2011.  

Dissertations

   2011
1Sulova A. Studio ed implementazione di un algoritmo per generare i prodotti validi in Product Family Engineering. Università degli Studi di Pisa. Thesis, 2011.     
comments to Stefania Gnesi