Stefania Gnesi

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 77

Top Venues

REFSQ Workshops

ERCIM News

REFSQ

Publications

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138 (2024)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ (2024)
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195 (2023)
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS (2023)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops (2023)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) (2022)
Alessandro Fantechi, Stefania Gnesi, Gloria Gori
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) (2022)
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) (2021)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) (2020)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC (2020)
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) (2020)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops (2020)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187 (2020)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169 (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
From Generic Requirements to Variability. REFSQ Workshops (2019)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Applying the QuARS tool to detect variability. SPLC (B) (2019)
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM (2019)
Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer
Editorial. Formal Aspects Comput. 31 (2) (2019)
Stefania Gnesi, Maurice H. ter Beek
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
Smart Services for Railways. ERCIM News 2019 (117) (2019)
Stefania Gnesi, Gianluca Trentanni
QuARS: A NLP Tool for Requirements Analysis. REFSQ Workshops (2019)
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM (2019)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS (2018)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Business process flexibility - a systematic literature review with a software systems perspective. Inf. Syst. Frontiers 20 (2) (2018)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM (2018)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE (2018)
Alessio Ferrari, Andrea Esuli, Stefania Gnesi
Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC (2018)
Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi
Improving the quality of business process descriptions of public administrations: Resources and research challenges. Bus. Process. Manag. J. 24 (1) (2018)
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. 30 (12) (2018)
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113 (2018)
Stefania Gnesi, Alessio Ferrari
Research on NLP for RE at CNR-ISTI: a Report. REFSQ Workshops (2018)
Paola Spoletini, Alessio Ferrari, Muneera Bano, Didar Zowghi, Stefania Gnesi
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. REFSQ (2018)
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23 (6) (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Davide Basile, Maurice H. ter Beek, Stefania Gnesi
Modelling and analysis with featured modal contract automata. SPLC (2) (2018)
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Formal Methods for the Railway Sector. ERCIM News 2018 (112) (2018)
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta (2018)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Optimizing Feature Interaction Detection. FMICS-AVoCS (2017)
Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE (2017)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) (2017)
Alessio Ferrari, Paola Spoletini, Beatrice Donati, Didar Zowghi, Stefania Gnesi
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. RE (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Ambiguity defects as variation points in requirements. VaMoS (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC (2017)
Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi
Natural Language Requirements Processing: A 4D Vision. IEEE Softw. 34 (6) (2017)
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
An experience in using machine learning for short-term predictions in smart transportation systems. J. Log. Algebraic Methods Program. 87 (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian Luigi Ferrari
Specifying variability in service contracts. VaMoS (2017)
Alessio Ferrari, Beatrice Donati, Stefania Gnesi
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. RE Workshops (2017)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
PURE: A Dataset of Public Requirements Documents. RE (2017)
Beatrice Donati, Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Common Mistakes of Student Analysts in Requirements Elicitation Interviews. REFSQ (2017)
Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) (2017)
Alessio Ferrari, Mario Fusani, Stefania Gnesi
Are Standards an Ambiguity-Free Reference for Product Validation? RSSRail (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) (2017)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD (2017)
Stefania Gnesi, Nico Plat, Hernán C. Melgratti
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). FormaliSE@ICSE (2017)
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ (2017)
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016 (105) (2016)
Davide Bacciu, Antonio Carta, Stefania Gnesi, Laura Semini
Adopting a Machine Learning Approach in the Design of Smart Transportation Systems. ERCIM News 2016 (105) (2016)
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
Collaborative requirements elicitation in a european research project. SAC (2016)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity and tacit knowledge in requirements elicitation interviews. Requir. Eng. 21 (3) (2016)
Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. KMIS (2016)
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. SWQD (2016)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6 (2) (2016)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) (2016)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85 (2) (2016)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) (2016)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity Cues in Requirements Elicitation Interviews. RE (2016)
Davide Bacciu, Stefania Gnesi, Laura Semini
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. WWV (2015)
Stefania Gnesi, Nico Plat
3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). ICSE (2) (2015)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
Using FMC for family-based analysis of software product lines. SPLC (2015)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. SPLC (2015)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems (2015)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC (2015)
Alessio Ferrari, Paola Spoletini, Stefania Gnesi
Ambiguity as a resource to disclose tacit knowledge. RE (2015)
Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi
Automated Service Selection Using Natural Language Processing. APRES (2015)
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops (2015)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM (2015)
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE (2015)
Stefania Gnesi, Stan Jarzabek
Special section on the 17th International Software Product Line Conference. Int. J. Softw. Tools Technol. Transf. 17 (5) (2015)
Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ (2014)
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014 (98) (2014)
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo
Pragmatic ambiguity detection in natural language requirements. AIRE (2014)
Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data. APF (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News 2014 (99) (2014)
Paola Spoletini, Alessio Ferrari, Stefania Gnesi
Context transformations for goal models. MoDRE (2014)
Riccardo Cognini, Flavio Corradini, Stefania Gnesi, Andrea Polini, Barbara Re
Research challenges in business process adaptability. SAC (2014)
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference (2014)
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News 2013 (93) (2013)

Stefania Gnesi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefania Gnesi