Stefania Gnesi

265 papers A* 6A 15B 37C 15Misc 11Journal 60Unranked 97

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements. RE Alessandro Fantechi, Stefania Gnesi, Laura Semini
2025	—	`conf`	Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications. The Combined Power of Research, Education, and Dissemination Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2025	B	`conf`	Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. REFSQ Xavier Franch, Stefania Gnesi, Federico Paccosi, Carme Quer, Laura Semini
2025	—	`conf`	Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. RSSRail Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025	J	`jnl`	Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. IEEE Trans. Intell. Transp. Syst. Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2024	—	`conf`	Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi
2024	J	`jnl`	Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2024	B	`conf`	Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ Alessandro Fantechi, Stefania Gnesi, Laura Semini
2024	—	`conf`	Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (5) Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2024	—	`ed.`	Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024 FormaliSE@ICSE Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes
2023	A	`conf`	Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (A) Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023	—	`conf`	Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops Alessandro Fantechi, Stefania Gnesi, Laura Semini
2023	C	`conf`	The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
2023	J	`jnl`	VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. Alessandro Fantechi, Stefania Gnesi, Laura Semini
2022	—	`ed.`	10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022 FormaliSE@ICSE Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat
2022	—	`conf`	Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2022	—	`conf`	Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2021	—	`ed.`	9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021 FormaliSE@ICSE Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini
2021	—	`conf`	A spaCy-based tool for extracting variability from NL requirements. SPLC (B) Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
2021	—	`conf`	Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods Alessandro Fantechi, Stefania Gnesi, Laura Semini
2021	C	`conf`	Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	—	`conf`	30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
2020	—	`conf`	A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020	Misc	`conf`	An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020	J	`jnl`	Controller synthesis of service contracts with variability. Sci. Comput. Program. Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	—	`conf`	Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
2020	—	`conf`	Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
2020	—	`ed.`	FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 FormaliSE@ICSE Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat
2020	—	`ch.`	Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2020	B	`ed.`	Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings [REFSQ 2020 was postponed]. REFSQ Nazim H. Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi
2019	B	`conf`	Adopting Formal Methods in an Industrial Setting: The Railways Case. FM Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
2019	—	`conf`	Applying the QuARS tool to detect variability. SPLC (B) Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019	J	`jnl`	Editorial. Formal Aspects Comput. Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
2019	—	`conf`	From Generic Requirements to Variability. REFSQ Workshops Alessandro Fantechi, Stefania Gnesi, Laura Semini
2019	—	`conf`	From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming Stefania Gnesi, Maurice H. ter Beek
2019	J	`jnl`	On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019	—	`ed.`	Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. FormaliSE@ICSE Stefania Gnesi, Nico Plat, Nancy A. Day, Matteo Rossi
2019	—	`conf`	QuARS: A NLP Tool for Requirements Analysis. REFSQ Workshops Stefania Gnesi, Gianluca Trentanni
2019	J	`jnl`	Smart Services for Railways. ERCIM News Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
2019	B	`conf`	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019	—	`conf`	Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
2018	J	`jnl`	A Guidelines framework for understandable BPMN models. Data Knowl. Eng. Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
2018	J	`jnl`	Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
2018	J	`jnl`	Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
2018	J	`jnl`	Formal Methods for the Railway Sector. ERCIM News Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
2018	J	`jnl`	Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018	J	`jnl`	Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2018	—	`conf`	Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2018	—	`conf`	Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE Alessio Ferrari, Andrea Esuli, Stefania Gnesi
2018	J	`jnl`	Improving the quality of business process descriptions of public administrations: Resources and research challenges. Bus. Process. Manag. J. Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi
2018	B	`conf`	Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi
2018	—	`conf`	Modelling and analysis with featured modal contract automata. SPLC (2) Davide Basile, Maurice H. ter Beek, Stefania Gnesi
2018	B	`conf`	On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
2018	—	`ed.`	Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 FormaliSE@ICSE Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione
2018	B	`conf`	Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2018	A	`conf`	Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
2018	J	`jnl`	Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
2018	—	`conf`	Research on NLP for RE at CNR-ISTI: a Report. REFSQ Workshops Stefania Gnesi, Alessio Ferrari
2018	—	`conf`	States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2017	—	`conf`	5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE Stefania Gnesi, Nico Plat, Hernán C. Melgratti
2017	—	`conf`	A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017	—	`conf`	Ambiguity defects as variation points in requirements. VaMoS Alessandro Fantechi, Stefania Gnesi, Laura Semini
2017	J	`jnl`	An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
2017	—	`conf`	Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail Alessio Ferrari, Mario Fusani, Stefania Gnesi
2017	—	`conf`	Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
2017	B	`conf`	Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2017	—	`conf`	Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017	—	`conf`	Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. RE Workshops Alessio Ferrari, Beatrice Donati, Stefania Gnesi
2017	C	`conf`	Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017	—	`conf`	FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017	A	`conf`	Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi
2017	J	`jnl`	Natural Language Requirements Processing: A 4D Vision. IEEE Softw. Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi
2017	—	`conf`	Optimizing Feature Interaction Detection. FMICS-AVoCS Alessandro Fantechi, Stefania Gnesi, Laura Semini
2017	—	`conf`	Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
2017	A	`conf`	PURE: A Dataset of Public Requirements Documents. RE Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
2017	—	`conf`	Specifying variability in service contracts. VaMoS Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari
2017	Misc	`conf`	Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017	—	`conf`	Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
2017	A	`conf`	Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
2017	B	`conf`	Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
2016	J	`jnl`	A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
2016	J	`jnl`	Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. ERCIM News Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
2016	A	`conf`	Ambiguity Cues in Requirements Elicitation Interviews. RE Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2016	J	`jnl`	Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2016	—	`conf`	An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. SWQD Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi
2016	Misc	`conf`	Collaborative requirements elicitation in a european research project. SAC Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
2016	—	`ed.`	Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings FMICS-AVoCS Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
2016	—	`conf`	Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. KMIS Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi
2016	B	`ed.`	FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings FM John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou
2016	—	`conf`	Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
2016	J	`jnl`	Modelling and Validating an Import/Export Shipping Process. ERCIM News Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi
2016	J	`jnl`	Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2016	—	`ch.`	Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems Alessandro Fantechi, Stefania Gnesi
2016	—	`conf`	Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2016	—	`conf`	Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
2015	—	`conf`	3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) Stefania Gnesi, Nico Plat
2015	—	`ed.`	3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015 FormaliSE Stefania Gnesi, Nico Plat
2015	A	`conf`	Ambiguity as a resource to disclose tacit knowledge. RE Alessio Ferrari, Paola Spoletini, Stefania Gnesi
2015	B	`conf`	Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2015	—	`conf`	Automated Service Selection Using Natural Language Processing. APRES Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi
2015	B	`conf`	CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. SPLC Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta
2015	—	`conf`	From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2015	B	`conf`	From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2015	—	`ed.`	Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. FMSPLE@ETAPS Joanne M. Atlee, Stefania Gnesi
2015	J	`jnl`	Special section on the 17th International Software Product Line Conference. Int. J. Softw. Tools Technol. Transf. Stefania Gnesi, Stan Jarzabek
2015	—	`conf`	Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
2015	—	`conf`	Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
2015	B	`conf`	Using FMC for family-based analysis of software product lines. SPLC Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2015	—	`conf`	Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV Davide Bacciu, Stefania Gnesi, Laura Semini
2014	B	`ed.`	18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 SPLC Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana
2014	—	`ed.`	18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014 SPLC Workshops Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker
2014	J	`jnl`	A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014	—	`conf`	Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2014	—	`conf`	Context transformations for goal models. MoDRE Paola Spoletini, Alessio Ferrari, Stefania Gnesi
2014	J	`jnl`	Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
2014	B	`ed.`	Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings FASE Stefania Gnesi, Arend Rensink
2014	J	`jnl`	KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2014	B	`conf`	Measuring and Improving the Completeness of Natural Language Requirements. REFSQ Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi
2014	—	`conf`	Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2014	—	`conf`	My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi
2014	—	`conf`	Pragmatic ambiguity detection in natural language requirements. AIRE Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo
2014	—	`ed.`	Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014 FormaliSE Stefania Gnesi, Nico Plat
2014	Misc	`conf`	Research challenges in business process adaptability. SAC Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
2013	B	`ed.`	17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 SPLC Tomoji Kishi, Stan Jarzabek, Stefania Gnesi
2013	A*	`conf`	1st FME workshop on formal methods in software engineering (FormaliSE 2013). ICSE Stefania Gnesi, Nico Plat
2013	—	`ch.`	Families of software systems: a model checking approach. Engineering Dependable Software Systems Stefania Gnesi
2013	J	`jnl`	Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani
2013	—	`conf`	Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
2013	—	`ed.`	The Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013 VaMoS Stefania Gnesi, Philippe Collet, Klaus Schmid
2013	B	`conf`	Using Clustering to Improve the Structure of Natural Language Requirements Documents. REFSQ Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei
2013	J	`jnl`	VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2012	—	`conf`	A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2012	Misc	`conf`	A clustering-based approach for discovering flaws in requirements specifications. SAC Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei
2012	J	`jnl`	A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2012	C	`ed.`	Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ABZ John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
2012	—	`conf`	Demonstration of a model checker for the analysis of product variability. SPLC (2) Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
2012	—	`conf`	Formal Methods for Intelligent Transportation Systems. ISoLA (2) Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
2012	B	`ed.`	Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings IFM John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
2012	—	`conf`	Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi
2012	—	`ed.`	Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012 FormSERA@ICSE Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe
2012	—	`ed.`	Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings VaMoS Ulrich W. Eisenecker, Sven Apel, Stefania Gnesi
2012	—	`conf`	Towards an executable algebra for product lines. SPLC (2) Stefania Gnesi, Marinella Petrocchi
2012	A	`conf`	Using collective intelligence to detect pragmatic ambiguities. RE Alessio Ferrari, Stefania Gnesi
2011	—	`conf`	A Model-Checking Tool for Families of Services. FMOODS/FORTE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2011	J	`jnl`	A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011	—	`ch.`	An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. Results of the SENSORIA Project Stefania Gnesi, Franco Mazzanti
2011	—	`conf`	Design and validation of variability in product lines. PLEASE@ICSE Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2011	B	`conf`	Formal Description of Variability in Product Families. SPLC Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2011	—	`ch.`	Introduction to the Sensoria Case Studies. Results of the SENSORIA Project Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer
2011	B	`conf`	On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP Alessandro Fantechi, Stefania Gnesi
2011	—	`conf`	Product Lines for Service Oriented Applications - PL for SOA WWV Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima
2011	—	`ch.`	Specification and Implementation of Demonstrators for the Case Studies. Results of the SENSORIA Project Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer
2011	—	`ch.`	The Sensoria Approach Applied to the Finance Case Study. Results of the SENSORIA Project Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi
2011	C	`conf`	Variability and Rigour in Service Computing Engineering. SEW Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro
2010	B	`ed.`	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 SEFM José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini
2010	—	`conf`	A Deontic Logical Framework for Modelling Product Families. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2010	B	`conf`	A Logical Framework to Deal with Variability. IFM Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
2010	Misc	`conf`	An Approach to Ambiguity Analysis in Safety-Related Standards. QUATIC Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni
2010	Misc	`conf`	An experience in using a tool for evaluating a large set of natural language requirements. SAC Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni
2010	—	`conf`	Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro
2009	—	`conf`	A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
2009	J	`jnl`	Assisting the design of a groupware system. J. Log. Algebraic Methods Program. Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2009	Misc	`conf`	CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi
2009	—	`conf`	Deontic Logics for Modeling Behavioural Variability. VaMoS Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi
2009	—	`conf`	Detecting policy conflicts by model checking UML state machines. ICFI Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini
2009	—	`conf`	Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi
2008	—	`conf`	A Graph-based Design Framework for Global Computing Systems. VODCA@FOSAD Antonio Bucchiarone, Greg Dennis, Stefania Gnesi
2008	B	`conf`	A Model Checking Approach for Verifying COWS Specifications. FASE Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2008	B	`conf`	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi
2008	J	`jnl`	Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2008	J	`jnl`	Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi
2008	J	`jnl`	Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2008	B	`conf`	Formal Modeling for Product Families Engineering. SPLC Alessandro Fantechi, Stefania Gnesi
2008	A*	`conf`	Formal verification of an automotive scenario in service-oriented computing. ICSE Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
2008	—	`conf`	Graph-Based Design and Analysis of Dynamic Software Architectures. Concurrency, Graphs and Models Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente
2008	J	`jnl`	Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi
2008	A*	`conf`	QuARS Express - A Tool Demonstration. ASE Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi
2008	C	`conf`	SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
2008	—	`conf`	Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section. Concurrency, Graphs and Models Stefania Gnesi
2007	—	`conf`	A behavioural model for product families. ESEC/SIGSOFT FSE Alessandro Fantechi, Stefania Gnesi
2007	C	`conf`	An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
2007	C	`conf`	Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. ICSEA Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami
2007	—	`conf`	Experimenting with diversity in the model driven development of a railway signaling system. EFTS Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2007	J	`jnl`	Formal Modelling and Verification in Service-Oriented Computing. ERCIM News Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi
2007	—	`conf`	Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
2007	—	`conf`	Modelling Dynamic Software Architectures using Typed Graph Grammars. GT-VC@CONCUR Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti
2007	C	`conf`	Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi
2006	—	`conf`	Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book Alessandro Fantechi, Stefania Gnesi, Laura Semini
2006	—	`conf`	Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
2006	J	`jnl`	On testing UML statecharts. J. Log. Algebraic Methods Program. Mieke Massink, Diego Latella, Stefania Gnesi
2006	—	`ch.`	Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami
2006	J	`jnl`	Statecharts Composition to Model Topologically Distributed Applications. Trans. SDPS Michele Banci, Alessandro Fantechi, Stefania Gnesi
2006	J	`jnl`	The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
2005	—	`conf`	A Formal Security Analysis of an OSA/Parlay Authentication Interface. FMOODS Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
2005	A*	`conf`	A case study on the automated verification of groupware protocols. ICSE Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2005	—	`conf`	An Architecture-Centric Approach for Producing Quality Systems. QoSA/SOQUA Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini
2005	J	`jnl`	An automatic tool for the analysis of natural language requirements. Comput. Syst. Sci. Eng. Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni
2005	—	`conf`	Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005	—	`conf`	Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
2005	A	`conf`	Quality Analysis of NL Requirements: An Industrial Case Study. RE Antonio Bucchiarone, Stefania Gnesi, Pierluigi Pierini
2004	B	`conf`	A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti
2004	—	`conf`	Automatic clustering of non-functional requirements. IASTED Conf. on Software Engineering and Applications Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami
2004	—	`conf`	Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. TACoS Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore
2004	B	`conf`	Formal Test-Case Generation for UML Statecharts. ICECCS Stefania Gnesi, Diego Latella, Mieke Massink
2004	—	`conf`	Model Checking Groupware Protocols. COOP Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
2004	C	`conf`	Model Checking Publish/Subscribe Notification for thinkteam FMICS Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
2004	—	`conf`	Verication On The Web Of Mobile Systems. VVEIS Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
2004	C	`conf`	Witness and Counterexample Automata for ACTL. FORTE Robert Meolic, Alessandro Fantechi, Stefania Gnesi
2003	J	`jnl`	A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
2003	J	`jnl`	Applications of linguistic techniques for use case analysis. Requir. Eng. Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
2003	—	`conf`	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. MEFISTO Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	Elicitation of Use Cases for Product Lines. PFE Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr
2003	—	`ed.`	FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings FME Keijiro Araki, Stefania Gnesi, Dino Mandrioli
2003	C	`conf`	Formal Specification and Verification of Complex Systems. FMICS Stefania Gnesi
2003	—	`conf`	Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. SVV@ICLP Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli
2003	—	`conf`	PLUTO: A Test Methodology for Product Families. PFE Antonia Bertolino, Stefania Gnesi
2003	J	`jnl`	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. Sci. Comput. Program. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker
2003	—	`conf`	Use case-based testing of product lines. ESEC / SIGSOFT FSE Antonia Bertolino, Stefania Gnesi
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002	A	`conf`	Application of Linguistic Techniques for Use Case Analysis. RE Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari
2002	J	`jnl`	Model checking fault tolerant systems. Softw. Test. Verification Reliab. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2002	J	`jnl`	Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. J. Log. Algebraic Methods Program. Stefania Gnesi, Diego Latella, Mieke Massink
2001	J	`jnl`	Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
2001	J	`jnl`	Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
2001	J	`jnl`	Introduction: Special Issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, July 11-12, 1999 - Selected Papers. Formal Methods Syst. Des. Stefania Gnesi, Diego Latella
2000	A	`conf`	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. TACAS Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
2000	—	`conf`	A stochastic extension of a behavioural subset of UML statechart diagrams. HASE Stefania Gnesi, Diego Latella, Mieke Massink
2000	A	`conf`	An Automatic SPIN Validation of a Safety Critical Railway Control System. DSN Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
2000	J	`jnl`	Foreword. Sci. Comput. Program. Jorge Cuéllar, Stefania Gnesi, Diego Latella
1999	B	`conf`	Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1999	Misc	`conf`	Implementation of Coordination Primitives in a Mobile Architecture. PDPTA Stefania Gnesi, Laura Semini
1999	—	`conf`	Model Checking UML Statechart Diagrams Using JACK. HASE Stefania Gnesi, Diego Latella, Mieke Massink
1999	Misc	`conf`	On the Fly Verification of Network of Automata. PDPTA Stefania Gnesi, Franco Mazzanti
1998	J	`jnl`	A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
1998	—	`conf`	A Symbolic Model Checker for ACTL. FM-Trends Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
1998	J	`jnl`	Editorial. Formal Aspects Comput. Stefania Gnesi, Diego Latella
1998	B	`conf`	On Linguistic Quality of Natural Language Requirements. REFSQ Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri
1998	J	`jnl`	Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected Papers. Formal Methods Syst. Des. Stefania Gnesi, Diego Latella
1998	A*	`conf`	Verifying Mobile Processes in the HAL Environment. CAV Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	A	`conf`	An Automated Based Verification Environment for Mobile Processes. TACAS Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	J	`jnl`	An industrial application for the JACK environment. J. Syst. Softw. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1996	B	`conf`	A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi
1996	B	`conf`	Formal Verification of Safety Requirements on Complex Systems. SAFECOMP Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi
1996	Misc	`conf`	Proving Safety Properties for Embedded Control Systems. EDCC Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi
1996	B	`conf`	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR Alessandro Fantechi, Stefania Gnesi, Diego Latella
1995	B	`conf`	An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli
1995	A	`conf`	Model Checking of Non-Finite State Processes by Finite Approximations. TACAS Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
1995	—	`conf`	Verifying hardware components within JACK. CHARME Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
1994	J	`jnl`	Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods Syst. Des. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini
1994	J	`jnl`	JACK: Just Another Concurrency Kit. The intergration Projekt. Bull. EATCS Amar Bouali, Stefania Gnesi, Salvatore Larosa
1994	J	`jnl`	Model Checking for Action-Based Logics. Formal Methods Syst. Des. Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1994	C	`conf`	Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE Alessandro Fantechi, Stefania Gnesi, R. Sacchelli
1993	J	`jnl`	An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Comput. Networks ISDN Syst. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1993	B	`conf`	An Expressive Logic for Basic Process Algebra. MFCS Alessandro Fantechi, Stefania Gnesi, V. Perticaroli
1991	A*	`conf`	An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1991	J	`jnl`	Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. Alessandro Fantechi, Stefania Gnesi
1991	J	`jnl`	Executing the formal definition of Ada. ACM SIGPLAN Notices Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini
1990	—	`conf`	Compositional logic semantics and LOTOS. PSTV Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1990	C	`conf`	How Expressive Are LOTOS Behaviour Expressions? FORTE Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini
1989	C	`conf`	An Expressive Temporal Logic for Basic LOTOS. FORTE Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve
1988	—	`conf`	A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency Stefania Gnesi, Paola Inverardi, Monica Nesi
1987	—	`conf`	An Executon Environment for the Formal Definiton of Ada. ESEC Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari
1981	J	`jnl`	Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM Stefania Gnesi, Ugo Montanari, Alberto Martelli
1978	—	`conf`	Shortest Path Problems and Tree Grammars: An Algebraic Framework. Graph-Grammars and Their Application to Computer Science and Biology Alfonso Catalano, Stefania Gnesi, Ugo Montanari