Formal Methods && Tools Group

Journal articles

2013

2012

2011

2009

  • Bucchiarone A., Gnesi S., Dennis G. A graph-based design framework for global computing systems. In: Electronic Notes in Theoretical Computer Science, vol. 236 pp. 117 - 130. Special issue: VODCA 2008 - 3rd International Workshop on Views on Designing Comples Architecture (Bertinoro, Italy, 30-31 August 2008). Proceedings. A. Aldini, M. ter Beek, F. Gadducci (eds.). Elsevier, 2009.

2008

  • Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development of railway systems using diversity. In: Computer Systems Science and Engineering, vol. 23 (5) pp. 329 - 335. Special issue: Engineering Fault Tolerant Systems. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.). CRL Publishing LTD, 2008.
  • Bruni R., Bucchiarone A., Gnesi S., Melgratti H. Modelling dynamic software architectures using typed graph grammars. In: Electronic Notes in Theoretical Computer Science, vol. 213 (1) pp. 39 - 53. Special issue: GT-VC 2007. Third Workshop on Graph Transformation for Concurrency and Verification (Lisbon, Portugal, 3 September 2007). Barbara Konig, Arend Rensink, Reiko Heckel (eds.). Elsevier, 2008.

2007

  • Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: Annals of Mathematics, Computing & Teleinformatics, vol. 1 (5) pp. 1 - 10. Technological Education Institute of Larissa (TEIL), Greece, 2007.

2006

  • Fitzgerald J. S., Gnesi S., Mandrioli D. The industrialization of formal methods. In: International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 8 (Numbers 4-5 / August, 2006) pp. 301 - 302. Springer Berlin / Heidelberg, 2006.
  • Massink M., Latella D., Gnesi S. On testing UML statecharts. In: Journal of Logic and Algebraic Programming, vol. 69 (1-2) pp. 1 - 74. Elsevier Science, 2006.

2005

2004

2003

2002

Contribution to Book/Monograph

2013

2011

  • Elgner 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 Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg Dordrecht London NewYork: Springer, 2011.
  • Gnesi 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 Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.

2009

2008

2006

2004

  • Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols. In: Cooperative Systems Design - Scenario-Based Design of Collaborative. Frontiers in Artificial Intelligence and Applications ed. vol. 107 pp. 179 - 194. Francoise Darses, Rose Dieng, Carla Simone, and Manuel Zacklad (eds.). Amsterdam: IOS Press, 2004.

Proceedings

2012

  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A compositional framework to derive product line behavioural descriptions. In: ISoLA 2012 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 5th International Symposium (Heraklion, Crete, Greece, 15-18 October 2012). Proceedings, pp. 146 - 161. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 7609 (Part I)). Springer-Verlag, 2012.
  • Fantechi A., Flammini F., Gnesi S. Formal methods for intelligent transportation systems. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium (Heraclion, Crete, 15-18 October 2012). Proceedings, pp. 187 - 189. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.
  • Ferrari A., Fantechi A., Gnesi S. Lessons learnt from the adoption of formal model-based development. In: NFM 2012 - NASA Formal Methods Symposium. 4th International Symposium (Norfolk, VA, USA, 3-5 April 2012). Proceedings, pp. 24 - 38. Alwyn E. Goodloe, Suzette Person (eds.). (Lecture Notes in Computer Science, vol. 7226). Springer, 2012.
  • Gnesi S., Petrocchi M. Towards an executable algebra for product lines. In: SPLC '12 - 16th International Software Product Line Conference (Salvador, Brazil, 2-7 September 2012). Proceedings, vol. 2 pp. 66 - 73. Eduardo Santana de Almeida, Christa Schwanninger, David Benavides (eds.). ACM, 2012.
  • Ter Beek M. H., Gnesi S., Fantechi A., Fiadeiro J. L. Variability and Rigour in Service Computing Engineering. In: SEW 2011 - 34th IEEE Software Engineering Workshop (SEW'11) (Limerick, Ireland, 20-21 June 2011). Proceedings, pp. 122 - 127. IEEE Computer Society, Los Alamitos, CA, 2012.

2011

  • Asirelli 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.
  • Fantechi 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.
  • Njima 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.
  • Ter 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.

2010

  • Asirelli P., Ter Beek M. H., Gnesi S., Fantechi A. A deontic logical framework for modelling product families. In: VaMoS 2010 - Fourth International Workshop on Variability Modelling of Software-Intensive Systems (Linz, Austria, 27-29 January 2010). Proceedings, pp. 37 - 44. D. Benavides, D. Batory, P. Grunbacher (eds.). (ICB Research Report, vol. 37). Universitat Duisburg-Essen, 2010.
  • Asirelli P., Ter Beek M., Fantechi A., Gnesi S. A logical framework to deal with variability. In: IFM 2010 - Integrated Formal Methods. 8th International Conference (Nancy, France, 11-14 Ottobre 2010). Proceedings, pp. 43 - 58. D. Mery, S. Merz (eds.). (Lecture Notes in Computer Science, vol. 6396). Springer, 2010.
  • Biscoglio I., Coco A., Fusani M., Gnesi S., Trentanni G. An approach to ambiguity analysis in safety-related standards. In: QUATIC 2010 - 7th International Conference on the Quality of Information and Communications Technology (Oporto, Portugal, 29 September - 2 October 2010). Proceedings, pp. 461 - 466. Faculty of Engineering, Porto University (eds.). IEEE, 2010.
  • Ter Beek M. H., Fantechi A., Gnesi S., Zavattaro G. Modelling variability, evolvability, and adaptability in service computing. In: ACoTA 2010 - First International Workshop on Automated Configuration and Tailoring of Applications (Antwerp, Belgium, 20 Settembre 2010). Proceedings, pp. 14 - 19. Deepak Dhungana, Rick Rabiser, Norbert Seyff, Goetz Botterweck (eds.). (CEUR Workshop Proceedings, vol. 688). CEUR-WS.org, 2010.

2009

  • Abreu J., Mazzanti F., Fiadeiro L. J., Gnesi S. A model-checking approach for service component architectures. In: FMOODS/FORTE 2009 - Formal Techniques for Distributed Systems. Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 (Lisboa, Portugal, 9-12 June 2009). Proceedings, pp. 219 - 224. David Lee, Antonia Lopes, Arnd Poetzsch-Heffter (eds.). (Lecture Notes in Computer Science, vol. 5522). Springer, 2009.
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Deontic logics for modeling behavioural variability. In: VaMoS 2009 - Third International Workshop on Variability Modelling of Software-Intensive Systems (Siviglia, Spagna, 28-30 Gennaio 2009). Proceedings, pp. 71 - 76. D. Benavides, A. Metzger, U. Eisenecker (eds.). (ICB Research Report, vol. 29). Universitat Duisburg‐Essen, 2009.
  • Wirsing M., Holzl M., Acciai L., Banti F., Clark A., Fantechi A., Gilmore S., Gnesi S., Gonczy L., Koch N., Lapadula A., Mayer P., Mazzanti F., Pugliese R., Schroeder A., Tiezzi F., Tribastone M., Varro D. SensoriaPatterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: ISoLA 2008 - Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium (Porto Sani, Greece, October 13-15 2008). Proceedings, pp. 170 - 190. Tiziana Margaria, Bernhard Steffen (eds.). (Communications in Computer and Information Science, vol. 17). Springer, 2009.

2008

  • Gnesi S., Fantechi A., Mazzanti F., Pugliese R., La Padula A., Tiezzi F. A model checking approach for verifying COWS specifications. In: FASE 2008 - Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 (Budapest, March 29-April 6 2008). Proceedings, pp. 230 - 245. Jose Luiz Fiadeiro, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 4961). Springer, 2008.

2007

  • Banci M., Gnesi S. Automatic instantiation for railway interlocking systems. In: FORMS/FORMAT 2007 - 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (Braunschweig, Germany, 25-26 January 2007). Proceedings, pp. 389 - 398. GZVB e.V, 2007.
  • Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development and code generation: an automotive case study. In: SDL 2007: Design for Dependable Systems. 13th International SDL Forum (Paris, France, 18-21 September 2007). Proceedings, pp. 19 - 34. Emmanuel Gaudin, Elie Najm and Rick Reed (eds.). (Lecture Notes in Computer Science, vol. 4745). Springer, 2007.
  • Fantechi A., Gnesi S. A behavioural model for product families. In: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. ESEC/FSE 2007 (Dubrovnich, September 03 - 07 2007). Proceedings, pp. 525 - 528. ACM Press, 2007.
  • Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: 3rd South-East European Workshop on Formal Methods. SEEFM'07 (Thessaloniki, Greece, 30 Novembre - 1 Dicembre 2007). Proceedings, pp. 65 - 78. D. Dranidis, I. Sakellariou (eds.). South-East European Research Centre, Thessaloniki, Greece, 2007.

2006

  • Berry D. M., Bucchiarone A., Gnesi S., Lami G., Trentanni G. A new quality model for natural language requirements specifications. In: 12th International Working Conference on Requirements Engineering: Foundation for Software Quality REFSQ'06 (Luxembourg, Grand-Duchy of Luxembourg, 5-6 June 2006). Proceedings, pp. 115 - 128. Essener Informatik Beitrage, 2006.

2005

  • Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An architecture-centric approach for producing quality systems. In: First International Conference on the Quality of Software (Erfurt, Germany, 20-22 September 2005). Proceedings, pp. 21 - 37. R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J (eds.). (Lecture Notes in Computer Science, vol. 3712). Springer, 2005.
  • Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. A Formal Security Analysis of an OSA/Parlay Authentication Interface. In: IFIP Conference on Formal Methods for Open Object-based Distributed (Athens, Greece, June 15-17, 2005). Proceedings, vol. LNCS 3535 pp. 131 - 146. M. Steffen and G. Zavattaro (Eds.) (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.

2004

  • Bertolino A., Gnesi S. PLUTO: A Test Methodology for Product Families. In: Software Product-Family Engineering: 5th International Workshop, PFE 2003 (Siena, Italy, November 4-6, 2003). Proceedings, pp. 181 - 197. Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 3014). Springer-Verlag, 2004.
  • Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. Security Analysis of Parlay/OSA Framework. In: 9th International Conference on Intelligence in service delivery Networks (ICIN2004) (Bordeaux, France, 18-21/ 10/ 2004). Proceedings, ADERA, 2004.
  • Fantechi A., Gnesi S., John I., Lami G., Dorr J. Elicitation of Use Cases for Product Lines. In: International Workshop on Product Family Engineering PFE-5 (Siena, Italy, November 4-6, 2003). Proceedings, pp. 152 - 167. Frank van der Linden (Ed.) (ed.). (Lecture Notes in Computer Science, vol. 3014). Springer Verlag, 2004.
  • Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verication On The Web Of Mobile Systems. In: 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) Systems (Porto, Portugal, 14-17, April 2004). Proceedings, 2004.
  • Gnesi S., Latella D., Massink M. Formal Test-case Generation for UML STatecharts. In: IEEE International Conference on Engineering of Complex Computer (Florence, Italy, 1-14 April 2004). Proceedings, pp. 75 - 84. Bellini, P., Bohner, S. and Steffen, B. (eds.). IEEE Computer Society Press, 2004.
  • Meolic R., Fantechi A., Gnesi S. Witness and Counterexample Automata for ACTL. In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, September 27-30, 2004). Proceedings, pp. 259 - 275. David de Frutos-Escrig, Manuel Nunez (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer, 2004.

2003

  • Bertolino A., Gnesi S. Use Case-based Testing of Product Lines. In: 9th European Software Engineering Conference and 11th SIGSOFT (Helsinki, Finland, 1-5 September 2003). Proceedings, pp. 355 - 358. Paola Inverardi (ed.). ACM Press, 2003.
  • Fantechi A., Gnesi S., Lami G. A Relation-based Approach to Use Case Analysis. In: International Workshop on Requirements Engineering: Foundation for (Velden, Austria, 16-17 June 2003). Proceedings, vol. 8 pp. 81 - 89. Camille Salinesi, Bijorn Regnell, Erik Kamsties (eds.). Essner Informatik Beitrage, 2003.
  • Gnesi S., Latella D., Massink M., Mazzanti F., Andrade L., Baldan P., Baumeister H., Bruni R., Corradini A., De Nicola R., Fiadeiro J. L., Gadducci F., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Lopes A., Lo Reti M., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. AGILE: Software Architecture for Mobility. In: 16th International Workshop on Algebraic Development Techniques (Frauenchiemsee, Germany, 24-27 September 2002). Proceedings, pp. 1 - 33. Wirsing, M. and Pattinson, D. and Hennicker, R (eds.). (Lecture Notes in Computer Science, vol. 2755). Springer-Verlag, 2003.
  • Lenzini G., Gnesi S., Latella D. SpiDer: a Security Model Checker. In: International Workshop on Formal Aspects in Security and Trust FAST (Pisa, Italy, 8-9 September 2003). Proceedings, pp. 163 - 180. Dimitrakos Theo, Martinelli Fabio (eds.). 2003.

2002

  • Bertolino A., Fantechi A., Gnesi S., Lami G., Maccari A. Use case description of requirements for product lines. In: International Workshop on Requirements Engineering for Product Lines. REPL'02 (Essen, Germany, 9 September 2002). Proceedings, pp. 12 - 18. Birgit geppert, Klaus Schmid (eds.). (Lecture Notes in Computer Science, vol. 2485). 2002.

Editorials

2012

  • Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. iFM&ABZ; 2012. Springer, 2012.

2010

  • Fiadeiro J., Gnesi S., Maggiolo Schettini A., (eds.) .. Preface of SEFM 2010. pp. viii - ix. IEEE, 2010.

2006

2003

  • Garavel H., Gnesi S., Schieferdecker I. Preface. In: Science of Computer Programming. Editorial, vol. 46 pp. 145 - 146. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Berlin, April 3-4, 2000). Selected papers. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker (eds.). Elsevier, 2003.
  • Gnesi S., Araki K., Mandrioli D. Editorial activity - FME 2003. In: Lecture Notes in Computer Science 2805. Editorial, vol. 2805 p. -. FME 2003: Formal Methods. International Symposium of Formal Methods Europe (Pisa, Italy, September 8-14, 2003). Stefania Gnesi, Keijiro Araki, Dino Mandrioli (eds.). Springer, 2003.

Technical reports

2011

2009

2008

2007

2006

  • Gnesi S., Ter Beek M. H., Baumeister H., Hoelzl M., Moiso C., Koch N., Zobel A., Alessandrini M. SENSORIA - Case studies scenario description. Software Engineering for Service-Oriented Overlay Computers. Deliverable D8.0, 2006.

2005

  • Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture-centric Approach for producing Quality Systems. Technical report, 2005.
  • Massink M., Latella D., Gnesi S. Testing UML Statecharts. The document has been submitted to Journal: Journal of Logic and Algebraic Programming (Elsevier), Technical report, 2005.

2004

  • Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Model Checking Publish/Subscribe Notification for thinkteam. The document has been submitted to other: Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Technical report, 2004.

2003

  • Ferrari G., Gnesi S., Montanari U., Pistore M. A model checking verification environment for mobile systems. The document has been submitted to Journal: ACM TOSEM, Technical report, 2003.
  • Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols. The document has been submitted to Conference: 6th International Conference on the Design of Cooperative Systems (COOP'04), Technical report, 2003.

2002

  • Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verification on the WEB. Technical report, 2002.

Abstracts

2008

  • Bucchiarone A., Fantechi A., Gnesi S., Lami G., Trentanni G. QuARS express, an automatic analyzer of natural language requirements. In: ASE 2008 - Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on Automated Software Engineering (L'Aquila, Italy, 15-19 September 2008). Abstract, pp. 473 - 474. IEEE/ACM, 2008.

2005

2004

2003

2002

  • Gnesi S., Latella D., Lenzini G. A BRUTUS logic for the Spi-Calculus. In: ACM SIGPLAN and IFIP WG 1.7. WITS'02 Workshop on Issues in the Theory of Security (Portland, Oregon, 14-15 January 2002).
  • Gnesi S. Application of Linguistic Techniques for Requirements Analysis. 2002.