| 2025 | RE | Combining Established and Emerging Techniques to Detect Inconsistencies in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2025 | REFSQ | Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs. | Xavier Franch, Stefania Gnesi, Federico Paccosi, Carme Quer, Laura Semini |
| 2024 | ISoLA | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi |
| 2024 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2024 | REFSQ | Exploring LLMs' Ability to Detect Variability in Requirements. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2023 | FMICS | The 4SECURail Case Study on Rigorous Standard Interface Specifications. | Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi |
| 2023 | RE | Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. | Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini |
| 2023 | REFSQ | Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2022 | ISoLA | Future Train Control Systems: Challenges for Dependability Assessment. | Alessandro Fantechi, Stefania Gnesi, Gloria Gori |
| 2022 | ISoLA | Formal Methods for Distributed Control Systems of Future Railways. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2021 | SPLC | A spaCy-based tool for extracting variability from NL requirements. | Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini |
| 2020 | ISoLA | Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | ISoLA | Formal Methods for Distributed Computing in Future Railway Systems. | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
| 2020 | QUATIC | An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2020 | REFSQ | A comparison of NLP Tools for RE to extract Variation Points. | Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | FM | Adopting Formal Methods in an Industrial Setting: The Railways Case. | Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti |
| 2019 | IFM | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | REFSQ | From Generic Requirements to Variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2019 | REFSQ | QuARS: A NLP Tool for Requirements Analysis. | Stefania Gnesi, Gianluca Trentanni |
| 2019 | SPLC | Applying the QuARS tool to detect variability. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2018 | IFM | On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari |
| 2018 | RE | Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini |
| 2018 | RE | Identification of Cross-Domain Ambiguity with Language Models. | Alessio Ferrari, Andrea Esuli, Stefania Gnesi |
| 2018 | REFSQ | Research on NLP for RE at CNR-ISTI: a Report. | Stefania Gnesi, Alessio Ferrari |
| 2018 | REFSQ | Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. | Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi |
| 2018 | SPLC | Modelling and analysis with featured modal contract automata. | Davide Basile, Maurice H. ter Beek, Stefania Gnesi |
| 2018 | SPLC | Product line models of large cyber-physical systems: the case of ERTMS/ETCS. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2017 | BPM | Checking Business Process Modeling Guidelines in Apromore. | Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo |
| 2017 | FMICS | Optimizing Feature Interaction Detection. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2017 | ICSE | 5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). | Stefania Gnesi, Nico Plat, Hernn C. Melgratti |
| 2017 | MODELSWARD | Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | RE | Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. | Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh |
| 2017 | RE | Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. | Alessio Ferrari, Beatrice Donati, Stefania Gnesi |
| 2017 | RE | Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. | Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi |
| 2017 | RE | PURE: A Dataset of Public Requirements Documents. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2017 | SAC | Statistical model checking of an energy-saving cyber-physical system in the railway domain. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | REFSQ | Common Mistakes of Student Analysts in Requirements Elicitation Interviews. | Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2017 | REFSQ | Towards a Dataset for Natural Language Requirements Processing. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2017 | REFSQ | Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. | Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini |
| 2017 | SEFM | A Refinement Approach to Analyse Critical Cyber-Physical Systems. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi |
| 2017 | SPLC | FMCAT: Supporting Dynamic Service-based Product Lines. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | IC3K | Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. | Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi |
| 2016 | ISoLA | Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. | Davide Basile, Felicita Di Giandomenico, Stefania Gnesi |
| 2016 | ISoLA | Variability-Based Design of Services for Smart Transportation Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2016 | ISoLA | Formal Methods and Safety Certification: Challenges in the Railways Domain. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi |
| 2016 | RE | Ambiguity Cues in Requirements Elicitation Interviews. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2016 | SAC | Collaborative requirements elicitation in a european research project. | Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini |
| 2015 | ICSE | 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). | Stefania Gnesi, Nico Plat |
| 2015 | RE | Ambiguity as a resource to disclose tacit knowledge. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2015 | SEFM | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2015 | SEFM | Towards Automatic Decision Support for Bike-Sharing System Design. | Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink |
| 2015 | SPLC | Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2015 | SPLC | Using FMC for family-based analysis of software product lines. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2015 | SPLC | CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta |
| 2014 | ISoLA | Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2014 | RE | Pragmatic ambiguity detection in natural language requirements. | Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2014 | RE | Context transformations for goal models. | Paola Spoletini, Alessio Ferrari, Stefania Gnesi |
| 2014 | SAC | Research challenges in business process adaptability. | Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re |
| 2014 | REFSQ | Measuring and Improving the Completeness of Natural Language Requirements. | Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2013 | ICSE | 1st FME workshop on formal methods in software engineering (FormaliSE 2013). | Stefania Gnesi, Nico Plat |
| 2013 | REFSQ | Using Clustering to Improve the Structure of Natural Language Requirements Documents. | Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei |
| 2012 | ISoLA | A Compositional Framework to Derive Product Line Behavioural Descriptions. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2012 | ISoLA | Formal Methods for Intelligent Transportation Systems. | Alessandro Fantechi, Francesco Flammini, Stefania Gnesi |
| 2012 | RE | Using collective intelligence to detect pragmatic ambiguities. | Alessio Ferrari, Stefania Gnesi |
| 2012 | SAC | A clustering-based approach for discovering flaws in requirements specifications. | Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei |
| 2012 | SPLC | Demonstration of a model checker for the analysis of product variability. | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti |
| 2012 | SPLC | Towards an executable algebra for product lines. | Stefania Gnesi, Marinella Petrocchi |
| 2011 | FORTE | A Model-Checking Tool for Families of Services. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | ICSE | Design and validation of variability in product lines. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2011 | SAFECOMP | On the Adoption of Model Checking in Safety-Related Software Industry. | Alessandro Fantechi, Stefania Gnesi |
| 2011 | SEW | Variability and Rigour in Service Computing Engineering. | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Jos Luiz Fiadeiro |
| 2011 | SPLC | Formal Description of Variability in Product Families. | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
| 2010 | IFM | A Logical Framework to Deal with Variability. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2010 | QUATIC | An Approach to Ambiguity Analysis in Safety-Related Standards. | Isabella Biscoglio, Alessandro Coco, Mario Fusani, Stefania Gnesi, Gianluca Trentanni |
| 2010 | SAC | An experience in using a tool for evaluating a large set of natural language requirements. | Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni |
| 2009 | FORTE | A Model-Checking Approach for Service Component Architectures. | Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi |
| 2009 | SAC | CMC-UMC: a framework for the verification of abstract service-oriented properties. | Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | ICSE | Formal verification of an automotive scenario in service-oriented computing. | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
| 2008 | ICSE | A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2008 | SPLC | Formal Modeling for Product Families Engineering. | Alessandro Fantechi, Stefania Gnesi |
| 2007 | FMICS | An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2007 | ICIW | Web Service Composition Approaches: From Industrial Standards to Formal Methods. | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
| 2007 | ICSEA | Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach. | Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami |
| 2005 | ICSE | A case study on the automated verification of groupware protocols. | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
| 2005 | RE | Quality Analysis of NL Requirements: An Industrial Case Study. | Antonio Bucchiarone, Stefania Gnesi, Pierluigi Pierini |
| 2004 | FORTE | Witness and Counterexample Automata for ACTL. | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
| 2004 | ICECCS | Formal Test-Case Generation for UML Statecharts. | Stefania Gnesi, Diego Latella, Mieke Massink |
| 2004 | SPLC | A Methodology for the Derivation and Verification of Use Cases for Product Lines. | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti |
| 2002 | RE | Application of Linguistic Techniques for Use Case Analysis. | Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari |
| 2000 | DSN | An Automatic SPIN Validation of a Safety Critical Railway Control System. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
| 2000 | TACAS | A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
| 1999 | PDPTA | On the Fly Verification of Network of Automata. | Stefania Gnesi, Franco Mazzanti |
| 1999 | PDPTA | Implementation of Coordination Primitives in a Mobile Architecture. | Stefania Gnesi, Laura Semini |
| 1999 | SAFECOMP | Formal Validation of the GUARDS Inter-Consistency Mechanism. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1998 | CAV | Verifying Mobile Processes in the HAL Environment. | Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1998 | FM | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
| 1998 | REFSQ | On Linguistic Quality of Natural Language Requirements. | Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri |
| 1997 | TACAS | An Automated Based Verification Environment for Mobile Processes. | Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori |
| 1996 | CONCUR | Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. | Alessandro Fantechi, Stefania Gnesi, Diego Latella |
| 1996 | EDCC | Proving Safety Properties for Embedded Control Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
| 1996 | SAFECOMP | Formal Verification of Safety Requirements on Complex Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1996 | SOFSEM | A Deductive Database Support to the Specification of Concurrent Systems. | Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi |
| 1995 | SAFECOMP | An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. | A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |
| 1995 | TACAS | Model Checking of Non-Finite State Processes by Finite Approximations. | Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi |
| 1994 | FORTE | Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |
| 1993 | MFCS | An Expressive Logic for Basic Process Algebra. | Alessandro Fantechi, Stefania Gnesi, V. Perticaroli |
| 1991 | CAV | An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. | Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
| 1990 | FORTE | How Expressive Are LOTOS Behaviour Expressions? | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
| 1989 | FORTE | An Expressive Temporal Logic for Basic LOTOS. | Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve |
| 1988 | CONCUR | A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. | Stefania Gnesi, Paola Inverardi, Monica Nesi |