Journal articles
2013
- Ter Beek M. H., Gnesi S., Mazzanti F. VMC: a tool for the analysis of variability in software product lines. In: ERCIM News, vol. 93 pp. 50 - 51. Special issue: Mobile Computing. ERCIM, 2013.
2012
- Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. A logical verification methodology for service-oriented computing. In: ACM Transactions on Software Engineering and Methodology, vol. 21 (3) article n. 16. ACM, 2012.
2011
- Fantechi A., Gnesi S. Model Checking cos'e e come si applica. In: Mondo Digitale, vol. 38/39 pp. 29 - 38. AICA, 2011.
- Ter 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.
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.
- Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of a groupware system - Model checking usability aspects of thinkteam. In: Journal of Logic and Algebraic Programming, vol. 78 (4) pp. 191 - 232. IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir, U. Nestmann (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.
- Bucchiarone A., Gnesi S., Trentanni G., Fantechi A. Evaluation of natural language requirements in the MODCONTROL project. In: ERCIM NEWS, vol. 75 pp. 52 - 53. Special theme: Safety-Critical Software. Peter Kunz (Central Editor) (ed.). ERCIM, 2008.
- Fantechi A., Gnesi S., Lombardi G. Experimenting with diversity in the formal development of railway signalling systems. In: ERCIM NEWS, vol. 75 pp. 52 - 53. Special theme: Safety-Critical Software. ERCIM, 2008.
- Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of an industrial groupware system by model checking. In: ERCIM News, vol. 73 pp. 43 - 44. ERCIM, 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.
- Ter Beek M. H., Gnesi S., Martinelli F., Mazzanti F., Petrocchi M. Formal modelling and verification in service-oriented computing. In: ERCIM News, vol. 70 pp. 27 - 28. Service-Oriented Computing. ERCIM, 2007.
2006
- Banci M., Fantechi A., Gnesi S. Statecharts composition to model topologically distributed applications. In: Journal of Integrated Design and Process Science, vol. 10 (1) pp. 1 - 15. Society for Design and Process Science, 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.
- Tonazzini A., Bonchi F., Gnesi S., Kuruoglu E. E., Bottini S. Analysis and modelling of genomic data. In: In: Ercim News, vol. 64 pp. 59 - 60. ERCIM, 2006.
2005
- Lami G., Gnesi S., Trentanni G., Fabbrini F., Fusani M. An Automatic Tool for the Analysis of Natural Language Requirements. In: Computer Systems Science and Engineering, vol. 20 (Vol.20, N. 1) pp. 53 - 62. CRL Publishing, 2005.
- Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Model checking publish/subscribe notification for thinkteam. In: Electronic Notes in Theoretical Computer Science, vol. 133 pp. 275 - 294. J. Bicarregui; A. Butterfield; A. Arenas (ed.). Elsevier, 2005.
2004
- Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Automated verification of groupware protocols. In: Ercim News, vol. 58 pp. 33 - 35. Special Theme: Automated Software Engineering. ERCIM, 2004.
2003
- Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Case Analysis. In: Requirements Engineering Journal, vol. 8 (3) pp. 161 - 170. Springer-Verlag, 2003.
- Ferrari G., Gnesi S., Montanari U., Pistore M. A model-checking verification environment for mobile processes. In: Acm Transactions on Software Engineering and Methodology, vol. Volume 12 (Issue 4 (October 2003)) pp. 440 - 473. ACM, 2003.
- Gnesi S. Formal specification and verification of complex systems. In: Electronic Notes in Theoretical Computer Science, vol. 80 pp. 1 - 5. Thomas Arts, Wan Fokkink (eds.). Elsevier, 2003.
- Gnesi S. Model checking of embedded systems. In: Ercim News, vol. 52 pp. 37 - 38. Ercim EEIG, 2003.
2002
- Bernardeschi C., Fantechi A., Gnesi S. Model checking fault tolerant systems. In: Software Testing Verification & Reliability, vol. 12 (4) pp. 1 - 25. Wiley, 2002.
- Gnesi S., Latella D., Massink M. Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. In: Journal of Logic and Algebraic Programming, vol. 51 pp. 43 - 75. Elsevier Science Inc, 2002.
Contribution to Book/Monograph
2013
- Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam. In: Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications. pp. 179 - 203. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley, 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.
- Elgner 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 Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
- Gnesi 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 Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: 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
- Lenzini G., Martinelli F., Matteucci I., Gnesi S. A uniform approach to security and fault-tolerance specification and analysis. In: Architecting Dependable Systems VI. pp. 172 - 201. Rogerio de Lemos, Jean-Charles Fabre,Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.). (Lecture Notes in Computer Science, vol. 5835). Heidelberg: Springer, 2009.
- Ter Beek M. H., Gnesi S., Montangero C., Semini L. Detecting policy conflicts by model checking UML state machines. In: Feature Interactions in Software and Communication Systems X. vol. X pp. 59 - 74. Masahide Nakamura, Stephan Reiff-Marganiec (eds.). Amsterdam: IOS Press, 2009.
2008
- Bucchiarone A., Gnesi S., Bruni R., Lafuente A. L., Hirsch D. Graph-based design and analysis of dynamic software architectures. In: Festschrift in honor of Ugo Montanari. P. Degano et al… (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin: Springer, 2008.
- Gnesi S. Software engineering: Ugo Montanari's main contributions and introduction to the section. In: Concurrency, Graphs and Models : essays dedicated to Ugo Montanari on the occasion of his 65th Birthday. pp. 258 - 260. Pierpaolo Degano, Rocco De Nicola, Jose Meseguer (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin/Heidelberg: Springer, 2008.
2006
- Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases: scenario-based specification and testing of requirements. In: Software Product Lines : research issues in engineering and management. pp. 425 - 445. Timo Kakola et al. (eds.). Berlin: Springer-Verlag, 2006.
- Fantechi A., Gnesi S., Semini L. Achieving fault tolerance by a formally validated interaction policy. In: Rigorous Engineering of Fault-Tolerant Systems. pp. 133 - 152. M. Butler et al. (eds.). (Lecture Notes in Computer Science, vol. 4157). Heidelberg: Springer-Verlag, 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.
- Biscoglio I., Fusani M., Gnesi S. Can safety be obtained through good practices for requirement writing?. In: DESSERT 2012 - International Scientific Technical Conference on Dependable System, Services and Technologies (Sevastopol, Ukraine, 25-28 May 2012). Proceedings, pp. 252 - 257. National Aerospace University “KhAI”, 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., Gnesi S., Tolomei G. A clustering-based approach for discovering flaws in requirements specifications. In: SAC 2012 - 27th Annual ACM Symposium on Applied Computing (Riva del Garda, Trento, ITALY, 26-30 marzo 2012). Proceedings, pp. 1043 - 1050. ACM, 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.
- Ferrari A., Gnesi S. Using collective intelligence to detect pragmatic ambiguities. In: RE 2012 - 20th IEEE International Conference on Requirements Engineering (Chicago, Illinois, USA, 24 - 28 September 2012). Proceedings, pp. 191 - 200. IEEE, 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., Mazzanti F. Demonstration of a model checker for the analysis of product variability. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Grazil, 2-7 September 2012). Proceedings, vol. II pp. 242 - 245. 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.
- Asirelli 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 (Munchen, Germany, 21-26 Agosto 2011). Proceedings, pp. 130 - 139. IEEE, 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.
- Bucchiarone A., Fantechi A., Gnesi S., Trentanni G. An experience in using a tool for evaluating a large set of natural language requirements. In: SAC '10 - 2010 ACM Symposium on Applied Computing (Sierre, Svizzera, 22-26 marzo 2010). Proceedings, pp. 281 - 286. Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Michael Schumacher, Chih-Cheng Hung (eds.). ACM, 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.
- Ter Beek M., Bucchiarone A., Gnesi S. Dynamic software architecture development: towards an automated process. In: SEAA 2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications (Patras, Greece, 27-29 August 2009). Proceedings, pp. 105 - 108. IEEE Computer Society, 2009.
- Ter Beek M. H., Mazzanti F., Gnesi S. CMC-UMC: a framework for the verification of abstract service-oriented properties. In: SAC'09 - 24th Annual ACM Symposium on Applied Computing (Honolulu, Hawaii, USA, 9-12 Marzo 2009). Proceedings, pp. 2111 - 2117. ACM, 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.
- Gnesi S., Fantechi A. Formal modeling for product families engineering. In: SPLC '08 - Software Product Line Conference 2008 (Limerik Irland, 8-12 Sept 2008). Proceedings, pp. 193 - 202. IEEE Computer Society, 2008.
- Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In: 12th International Workshop on Formal Methods for Industrial Critical Systems. FMICS'07 (Berlin, Germany, 1-2 July 2007). Proceedings, pp. 133 - 148. S. Leue and P. Merino (eds.). (Lecture Notes in Computer Science, vol. 4916). Springer-Verlag, Berlin, 2008.
- Ter Beek M. H., Gnesi S., Koch N., Mazzanti F. Formal verification of an automotive scenario in service-oriented computing. In: 30th International Conference on Software Engineering (ICSE'08) (Leipzig, Germany, 10-18 May 2008). Proceedings, pp. 613 - 622. ACM Press, 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. Experimenting with diversity in the model driven development of a railway signalling system. In: 2nd Workshop on Engineering Fault Tolerant Systems. EFTS (Dubrovnich, September 03 - 07 2007). Proceedings, Nicolas Guelfi et al. (eds.). ACM Digital Library, 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.
- Fabbrini F., Fusani M., Gnesi S., Lami G. Controlling requirements evolution: a formal concept analysis-based approach. In: 2nd International Conference on Software Engineering Advances. ICSEA 2007 (Cap Esterel, French Riviera, France, 25-31 August 2007). Proceedings, pp. 68 - 73. IEEE, 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., Fantechi A., Gnesi S., Mazzanti F. An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In: 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007) (Berlino, Germania, 1-2 Luglio 2007). Proceedings, pp. 135 - 147. Stefan Leue and Pedro Merino. Universitat Konstanz / Universidad de Malaga, Germany / Spain, 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.
- ter Beek M. H., Bucchiarone A., Gnesi S. Web service composition approaches: from industrial standards to formal methods. In: 2nd International Conference on Internet and Web Applications and Services. ICIW'07 (Mauritius, 13-19 Maggio 2007). Proceedings, pp. 1 - 6. IEEE Computer Society, Los Alamitos, CA, 2007.
2006
- Banci M., Fantechi A., Gnesi S. Statecharts composition to model topologically distributed applications. In: Integrated Design and Process Technology Conference (San Diego, California, June 25-30, 2006). Proceedings, pp. 15 - 15. Society for Design and Process Science (eds.). Society for Design and Process Science, 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.
- Bucchiarone A., Gnesi S. A survey on services composition languages and models. In: International Workshop on Web Services Modeling and Testing (WSMaTe '06) (Palermo, June 9 2006). Proceedings, pp. 37 - 49. publisher information no available, 2006.
- Ter Beek M. H., Gnesi S., Mazzanti F., Moiso C. Formal modelling and verification of an asynchronous extension of SOAP. In: IEEE European Conference on Web Services (ECOWS'06) (Zurich, Switzerland, 4-6 December 2006). Proceedings, pp. 287 - 296. A. Bernstein, T. Gschwind, and W. Zimmermann (eds.). IEEE Computer Society, Los Alamitos, CA, 2006.
2005
- Amato G., Coppola M., Gnesi S., Scozzari F., Semini L. Modeling web applications by the multiple levels of integrity policy. In: 1st International Workshop on Automated Specification and (Valencia, Spain, Mar.14–15 2005). Proceedings, pp. 161 - 176. M. Alpuente, S. Escobar, M. Falaschi (eds.). Elsevier Science, 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.
- Bucchiarone A., Gnesi S., Pierini P. Quality analysis of NL requirements: an industrial case study. In: IEEE International Requirements Engineering Conference (RE05) (Paris, France, August 29 - September 2 2005). Proceedings, pp. 390 - 394. 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.
- Fantechi A., Gnesi S., Maggiore A. Enhancing test coverage by back-tracing model-checker counterexamples. In: TACoS, International Workshop onTest and Analysis of Component Based (Barcelona, Spain, March 27-28, 2004). Proceedings, vol. Electronic Notes in Computer Science Series 116 pp. Pages 199 - 211. M. Pezze (ed.). Elsevier, 2005.
- Gnesi S., Mazzanti F. A model checking verification environment for UML statecharts. In: AICA 2005 (Udine, 5-7 Ottobre 2005). Atti, 2005.
- Gnesi S., Lenzini G., Martinelli F. Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. In: International Workshop on Software Verification and Validation (SVV (Mumbai (India), December 14 2003). Proceedings, vol. 118 pp. 57 - 70. S. Etalle, S. Mukhopadhyay, A. Roychoudhury (eds.). ENTCS - Elsevier, 2005.
- Lami G., Ferguson R. W., Goldenson D., Fabbrini F., Fusani M., Gnesi S. QuARS: automated natural language analysis of requirements and specifications. In: INCOSE International Symposium (Rochester, NY, 10-15 July 2005). Proceedings, p. 10. INCOSE (ed.). 2005.
- Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. A Case Study on the Automated Verification of Groupware Protocols. In: International Conference on Software Engineering (St. Louis, MO, U.S.A, 15-21 May 2005). Proceedings, pp. 596 - 603. ACM Press, New York, NY, U.S.A, 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.
- Fabbrini F., Fusani M., Gnesi S., Lami G. Automatic Clustering of Non-Functional Requirements. In: IASTED Software Engineering and Application (Cambridge, MA (USA), November 9-11). Proceedings, pp. 672 - 677. M.H. Hamza (ed.). ACTA Press, 2004.
- Fantechi A., Gnesi S., Lami G., Nesti E. A Methodology for the Derivation and Verification of Use Cases for Product Lines. In: Software Product Lines: Third International Conference, SPLC 2004 (Boston, USA, August 30-September 2, 2004.). Proceedings, pp. 255 - 265. Robert L. Nord (ed.). (Lecture Notes in Computer Science, vol. 3154). Springer Verlag, 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., Lenzini G., Martinelli F. Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Mefisto, Final Workshop (Pisa, Italy, 06/0). Atti, vol. ENTCS 99 pp. 111 - 126. Mario Bravetti, Roberto Gorrieri (eds.). Elsevier, 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.
- Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. In: Second ACIS International Conference on Software Engineering (Los Angeles, 5-7 May 2004). Proceedings, pp. 331 - 338. Roger Lee, Chisu Wu, Walter Dosch (eds.). ACIS, 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.
- Fantechi A., Gnesi S., Lami G., Maccari A. Application of linguistic techniques for use case analysis. In: IEEE Joint International Requirements Engineering Conference (Essen, Germany, 13 September 2002). Proceedings, pp. 157 - 164. IEEE, 2002.
Editorials
2012
- Derrick J., Gnesi S., Latella D., Treharne H., (eds.) .. Integrated formal methods - 9th International Conference, IFM 2012. pp. v - vi. Springer, 2012.
- Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. iFM&ABZ; 2012. Springer, 2012.
- Eisenecker U. W., Apel S., Gnesi S., (eds.) .. Foreward - VaMoS '12. ACM, 2012.
2010
- Fiadeiro J., Gnesi S., Maggiolo Schettini A., (eds.) .. Preface of SEFM 2010. pp. viii - ix. IEEE, 2010.
2006
- Gnesi S., Maibaum T., Wassyng A. First International Workshop on Software Certification. p. -. CERTSOFT, 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
- Bucchiarone A., Gnesi S., Lami G., Trentanni G., Fantechi A. QuARS Express: A Tool for Evaluating Natural Language Requirements. Technical report, 2011.
- Fantechi A., Meolic R., Gnesi S., Trentanni G. WCS: a Witness and Counterexample Server. Technical report, 2011.
- Gnesi S., Trentanni G. The HAL-online Tool. Technical report, 2011.
2009
- Ter Beek M. H., Gnesi S., Latella D., Massink M., Trentanni G., Sebastianis M. Thinkteam with replicated data repositories: stochastic model checking in industry. Technical report, 2009.
2008
- Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of a groupware system - model checking usability aspects of thinkteam. Technical report, 2008.
- Ter Beek M. H., Gnesi S. Sensoria - Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services. Software Engineering for Service-Oriented Overlay Computers - EU FP6-IP-IST-016004. Deliverable D8.6, 2008.
2007
- Anastasio D., Gnesi S., Lami G., Trentanni G. QuARS and the natural language processing techniques: looking for a suitable syntax parser. Technical report, 2007.
- Bucchiarone A., Fantechi A., Gnesi S., Trentanni G. Evaluation of natural language requirements in an industrial case study. Technical report, 2007.
- Bucchiarone A., Gnesi S., Melgratti H., Bruni R. Modelling dynamic software architectures using typed graph grammars. Technical report, 2007.
- Moiso C., Ferrari L., Thuegaz E., Buscemi M., Montanari U., Bertoli P., Pistore M., Kazhamiakin R., Bruni R., Gnesi S., Ter Beek M. H., Petrocchi M., Mazzanti F., Fiadeiro J. L., Bocchi L. Sensoria - Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 - Software Engineering for Service-Oriented Overlay Computers. Deliverable D8.1.a, 2007.
2006
- Bucchiarone A., Gnesi S., Fantechi A., Winzen A. A Quality Evaluation Process for Collaborative Requirements: An Industrial Case Study. Technical report, 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.
- Ter Beek M. H., Bucchiarone A., Gnesi S. A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. The document has been submitted to other: 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Vienna, Austria, 8-9 September 2006, Technical report, 2006.
- Ter Beek M. H., Gnesi S., Mazzanti F., Moiso C. Formal Modelling and Verification of an Asynchronous Extension of SOAP. The document has been submitted to Conference: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, 26-29 September 2006, Technical report, 2006.
2005
- Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture-centric Approach for producing Quality Systems. Technical report, 2005.
- Bucchiarone A., Gnesi S., Pierini P. Quality Analysis of NL Requirements: An Industrial Case Study. The document has been submitted to Conference: 13th IEEE International Requirements Engineering Conference, Technical report, 2005.
- Gnesi S., Mazzanti F. Formal Verification of the MUD case study. The document will be submitted to Conference: ACM/IEEE 8th International Conference on Model Driven Engineering, 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
- Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases. Technical report, 2004.
- Fantechi A., Gnesi S., Semini L. Applications of Formal Methods for Validating an Interaction Policy. The document Journal: Formal Aspects of Computing, Technical report, 2004.
- Gnesi S., Mazzanti F. A Temporal Logic for UML Statecharts. The document Conference: FASE 2005, Technical report, 2004.
- Lami G., Gnesi S., Fabbrini F., Fusani M., Trentanni G. An Automatic Tool for the Analysis of Natural Language Requirements. The document has been submitted to Journal: International Journal of Computer Systems Science and Engineering, Technical report, 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
- Fantechi A., Gnesi S. Action-based Model Checking (and its applications to distributed, mobile, object-oriented systems). The document has been submitted to Conference: FMOODS 03, Technical report, 2003.
- Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Cases Analysis. The document has been submitted to Journal Requirements Engineering Journal, Technical report, 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.
- Gnesi S., Mazzanti F. AGILE - Modal logics for behavioural properties of mobile systems. AGILE research project. Deliverable 01, 2003.
- Gnesi S., Mazzanti F. Mu-ACTL+: A temporal logic for UML Statechart diagrams. The document has been submitted to other: AGILE logic day workshop, Pisa, October 10, 2003, Technical report, 2003.
- Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. The document has been submitted to Conference: VMCAI04-(Fifth International Conference on Verification, Model Checking and Abstract Interpretation), 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
- Fantechi A., Gnesi S., Lami G., Maccari A. Application of linguistic techniques for use case. Technical report, 2002.
- Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verification on the WEB. Technical report, 2002.
- Gnesi S., Latella D., Lenzini G. Towards model checking a spi-calculus dialect. 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
- Banci M., Fantechi A., Gnesi S. Some experiences on formal specification of railway interlocking systems using statecharts. In: TRain Workshop at SEFM 2005 (Software Engineering and Formal Methods) (Koblenz - Germany, September 5-9, 2005).
- Gnesi S., Mazzanti F. A model checking framework for (Mobile) UML statecharts. In: Foundations of Global Computing (Schloss Dagstuhl, Wadern, Germany, 20/25/02 2005).
2004
- Banci M., Fantechi A., Gnesi S. The role of formal methods in developing a distribuited railwai interlocking system. In: FORMS/FORMAT 2004 (Braunschweig, 2-3 December 2004).
- Fabbrini F., Fusani M., Gnesi S., Lami G., Trentanni G. Early Analysis of Natural Language Requirements. In: International Symposium on Empirical Software Engineering (Redondo Beach, California, USA, 19-20/08/2004 2004).
2003
- 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, 4-6 November 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.