Panel Discussion on Formal Methods in Commercial Software Development Tools. - Alessandro Fantechi; Alessio Ferrari 001 (FMICS, 2008)

Formal Development for Railway Signaling Using Commercial Tools. - Alessio Ferrari 001; Alessandro Fantechi; Stefano Bacherini; Niccolò Zingoni (FMICS, 2009)

Modeling Guidelines for Code Generation in the Railway Signaling Context. - Alessio Ferrari 001; Alessandro Fantechi; Stefano Bacherini; Niccolò Zingoni (NASA Formal Methods, 2009)

The Metrô Rio ATP Case Study. - Alessio Ferrari 001; Daniele Grasso; Gianluca Magnani; Alessandro Fantechi; Matteo Tempestini (FMICS, 2010)

Model Checking Interlocking Control Tables. - Alessio Ferrari 001; Gianluca Magnani; Daniele Grasso; Alessandro Fantechi (FORMS/FORMAT, 2010)

Model Based Testing and Abstract Interpretation in the Railway Signaling Context. - Daniele Grasso; Alessandro Fantechi; Alessio Ferrari 001; Carlo Becheri; Stefano Bacherini (ICST, 2010)

An industrial application of formal model based development: the Metrô Rio ATP case. - Alessio Ferrari 001; Mario Papini; Alessandro Fantechi; Daniele Grasso (SERENE, 2010)

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. - Alessio Ferrari 001; Gianluca Magnani; Daniele Grasso; Alessandro Fantechi; Matteo Tempestini (Int. J. Embed. Real Time Commun. Syst., 2011)

Product Line Engineering Applied to CBTC Systems Development. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni (ISoLA (2), 2012)

Lessons Learnt from the Adoption of Formal Model-Based Development. - Alessio Ferrari 001; Alessandro Fantechi; Stefania Gnesi (NASA Formal Methods, 2012)

Using collective intelligence to detect pragmatic ambiguities. - Alessio Ferrari 001; Stefania Gnesi (RE, 2012)

Automatic Analysis of Multimodal Requirements: A Research Preview. - Elia Bruni; Alessio Ferrari 001; Norbert Seyff; Gabriele Tolomei (REFSQ, 2012)

A clustering-based approach for discovering flaws in requirements specifications. - Alessio Ferrari 001; Stefania Gnesi; Gabriele Tolomei (SAC, 2012)

Model-Based Evaluation of the Availability of a CBTC System. - Alessio Ferrari 001; Massimiliano Leone Itria; Silvano Chiaradonna; Giorgio Oronzo Spagnolo (SERENE, 2012)

Using Clustering to Improve the Structure of Natural Language Requirements Documents. - Alessio Ferrari 001; Stefania Gnesi; Gabriele Tolomei (REFSQ, 2013)

Mining commonalities and variabilities from natural language documents. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Felice Dell'Orletta (SPLC, 2013)

The Metrô Rio case study. - Alessio Ferrari 001; Alessandro Fantechi; Gianluca Magnani; Daniele Grasso; Matteo Tempestini (Sci. Comput. Program., 2013)

Model-Based Development and Formal Methods in the Railway Industry. - Alessio Ferrari 001; Alessandro Fantechi; Stefania Gnesi; Gianluca Magnani (IEEE Softw., 2013)

Deadlock Avoidance in Train Scheduling: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Simone Della Longa; Alessio Ferrari 001 (FMICS, 2014)

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Alessio Ferrari 001 (NASA Formal Methods, 2014)

Pragmatic ambiguity detection in natural language requirements. - Alessio Ferrari 001; Giuseppe Lipari; Stefania Gnesi; Giorgio Oronzo Spagnolo (AIRE, 2014)

Context transformations for goal models. - Paola Spoletini; Alessio Ferrari 001; Stefania Gnesi (MoDRE, 2014)

Measuring and Improving the Completeness of Natural Language Requirements. - Alessio Ferrari 001; Felice Dell'Orletta; Giorgio Oronzo Spagnolo; Stefania Gnesi (REFSQ, 2014)

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni (Int. J. Softw. Tools Technol. Transf., 2014)

Automated Service Selection Using Natural Language Processing. - Muneera Bano; Alessio Ferrari 001; Didar Zowghi; Vincenzo Gervasi; Stefania Gnesi (APRES, 2015)

Ambiguity as a resource to disclose tacit knowledge. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (RE, 2015)

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi; Felice Dell'Orletta (SPLC, 2015)

Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. - Ulf Sanne; Hans Friedrich Witschel; Alessio Ferrari 001; Stefania Gnesi (KMIS, 2016)

Formal Methods and Safety Certification: Challenges in the Railways Domain. - Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi (ISoLA (2), 2016)

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ISoLA (2), 2016)

Ambiguity Cues in Requirements Elicitation Interviews. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (RE, 2016)

Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. - Paola Spoletini; Casey Brock; Rahat Shahwar; Alessio Ferrari 001 (RE, 2016)

Collaborative requirements elicitation in a european research project. - Guglielmo De Angelis; Alessio Ferrari 001; Stefania Gnesi; Andrea Polini (SAC, 2016)

Ambiguity and tacit knowledge in requirements elicitation interviews. - Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (Requir. Eng., 2016)

Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. - Daniel M. Berry; Jane Cleland-Huang; Alessio Ferrari 001; Walid Maalej; John Mylopoulos; Didar Zowghi (RE, 2017)

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. - Yehia Elrakaiby; Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi; Bashar Nuseibeh (RE, 2017)

Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings. - Alessio Ferrari 001; Beatrice Donati; Stefania Gnesi (RE Workshops, 2017)

Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process. - Alessio Ferrari 001; Paola Spoletini; Beatrice Donati; Didar Zowghi; Stefania Gnesi (RE, 2017)

PURE: A Dataset of Public Requirements Documents. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi (RE, 2017)

Requirements Elicitation: A Look at the Future Through the Lenses of the Past. - Paola Spoletini; Alessio Ferrari 001 (RE, 2017)

Common Mistakes of Student Analysts in Requirements Elicitation Interviews. - Beatrice Donati; Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi (REFSQ, 2017)

Towards a Dataset for Natural Language Requirements Processing. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi (REFSQ Workshops, 2017)

Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. - Benedetta Rosadini; Alessio Ferrari 001; Gloria Gori; Alessandro Fantechi; Stefania Gnesi; Iacopo Trotta; Stefano Bacherini (REFSQ, 2017)

Are Standards an Ambiguity-Free Reference for Product Validation? - Alessio Ferrari 001; Mario Fusani; Stefania Gnesi (RSSRail, 2017)

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

The KandISTI/UMC Online Open-Access Verification Framework. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

Natural Language Requirements Processing: A 4D Vision. - Alessio Ferrari 001; Felice Dell'Orletta; Andrea Esuli; Vincenzo Gervasi; Stefania Gnesi (IEEE Softw., 2017)

Natural language requirements processing: from research to practice. - Alessio Ferrari 001 (ICSE (Companion Volume), 2018)

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti; Andrea Piattino; Daniele Trentini; Alessio Ferrari 001 (IFM, 2018)

Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini; Beatrice Donati (RE, 2018)

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. - Yehia Elrakaiby; Alessio Ferrari 001; John Mylopoulos (RE, 2018)

Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. - Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Semini (RE, 2018)

Identification of Cross-Domain Ambiguity with Language Models. - Alessio Ferrari 001; Andrea Esuli; Stefania Gnesi (AIRE@RE, 2018)

Research on NLP for RE at CNR-ISTI: a Report. - Stefania Gnesi; Alessio Ferrari 001 (REFSQ Workshops, 2018)

Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews. - Paola Spoletini; Alessio Ferrari 001; Muneera Bano; Didar Zowghi; Stefania Gnesi (REFSQ, 2018)

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. - Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Semini (VaMoS, 2018)

Improving the quality of business process descriptions of public administrations: Resources and research challenges. - Alessio Ferrari 001; Hans Friedrich Witschel; Giorgio Oronzo Spagnolo; Stefania Gnesi (Bus. Process. Manag. J., 2018)

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. - Franco Mazzanti; Alessio Ferrari 001 (MARS/VPT@ETAPS, 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

Formal Methods for the Railway Sector. - Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Riccardo Scopigno (ERCIM News, 2018)

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. - Alessio Ferrari 001; Gloria Gori; Benedetta Rosadini; Iacopo Trotta; Stefano Bacherini; Alessandro Fantechi; Stefania Gnesi (Empir. Softw. Eng., 2018)

Requirements elicitation and refinement in collaborative research projects. - Guglielmo De Angelis; Alessio Ferrari 001; Stefania Gnesi; Andrea Polini (J. Softw. Evol. Process., 2018)

Natural Language Processing for Requirements Engineering: The Best Is Yet to Come. - Fabiano Dalpiaz; Alessio Ferrari 001; Xavier Franch; Cristina Palomares (IEEE Softw., 2018)

Towards formal methods diversity in railways: an experience report with seven frameworks. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (Int. J. Softw. Tools Technol. Transf., 2018)

QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Antonella Fiscella; Guido Parente (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Ambiguity in Requirements Engineering: Towards a Unifying Framework. - Vincenzo Gervasi; Alessio Ferrari 001; Didar Zowghi; Paola Spoletini (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Adopting Formal Methods in an Industrial Setting: The Railways Case. - Maurice H. ter Beek; Arne Borälv; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Christer Löfving; Franco Mazzanti (FM, 2019)

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. - Davide Basile 001; Maurice H. ter Beek; Alessio Ferrari 001; Axel Legay (FMICS, 2019)

Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. - Alessio Ferrari 001; Paola Spoletini; Muneera Bano; Didar Zowghi (RE, 2019)

Requirements Philology (keynote). - Fabiano Dalpiaz; Alessio Ferrari 001; Xavier Franch; Sarah Gregory; Frank Houdek; Cristina Palomares (REFSQ Workshops, 2019)

Survey on Formal Methods and Tools in Railways: The ASTRail Approach. - Alessio Ferrari 001; Maurice H. ter Beek; Franco Mazzanti; Davide Basile 001; Alessandro Fantechi; Stefania Gnesi; Andrea Piattino; Daniele Trentini (RSSRail, 2019)

An NLP approach for cross-domain ambiguity detection in requirements engineering. - Alessio Ferrari 001; Andrea Esuli (Autom. Softw. Eng., 2019)

Teaching requirements elicitation interviews: an empirical study of learning from mistakes. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini; Beatrice Donati (Requir. Eng., 2019)

Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. - Alexander Dekhtyar; Jane Huffman Hayes; Irit Hadar; Erin Combs; Alessio Ferrari 001; Sarah Gregory; Jennifer Horkoff; Meira Levy; Maleknaz Nayebi; Barbara Paech; Jared Payne; Matt Primrose; et al. (IEEE Softw., 2019)

Message from the Organizers. - Nelly Bencomo; Alessio Ferrari 001; Fatma Basak Aydemir; Mona Rahimi (AIRE@RE, 2020)

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (ER, 2020)

IoT as a Digital Game Changer in Rural Areas: the DESIRA Conceptual Approach. - Manlio Bacco; Gianluca Brunori; Alessio Ferrari 001; Panagiota Koltsida; Eleni Toli (GIoTS, 2020)

Comparing formal tools for system design: a judgment study. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi (ICSE, 2020)

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Andrea Piattino; Daniele Trentini (ISoLA (3), 2020)

Inspectors Academy : Pedagogical Design for Requirements Inspection Training. - Muneera Bano; Didar Zowghi; Alessio Ferrari 001; Paola Spoletini (RE, 2020)

The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. - Daniela Girardi; Alessio Ferrari 001; Nicole Novielli; Paola Spoletini; Davide Fucci; Thaide Huichapa (RE, 2020)

Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project. - Manlio Bacco; Gianluca Brunori; Felice Dell'Orletta; Alessio Ferrari 001 (REFSQ Workshops, 2020)

Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study. - Liping Zhao 001; Waad Alhoshan; Alessio Ferrari 001; Keletso J. Letsholo; Muideen A. Ajagbe; Erol-Valeriu Chioasca; Riza Theresa Batista-Navarro (CoRR, 2020)

SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. - Alessio Ferrari 001; Paola Spoletini; Muneera Bano; Didar Zowghi (Requir. Eng., 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies. - Alessio Ferrari 001; Liping Zhao 001; Waad Alhoshan (ICSE (Companion Volume), 2021)

The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic. - Muneera Bano; Chetan Arora 002; Didar Zowghi; Alessio Ferrari 001 (RE, 2021)

From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. - Sourav Debnath; Paola Spoletini; Alessio Ferrari 001 (RE, 2021)

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Paul Enoiu; Mehrdad Saadatmand (REFSQ, 2021)

Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021). - Sallam Abualhaija; Fatma Basak Aydemir; Alessio Ferrari 001; Jin Guo 004 (REFSQ Workshops, 2021)

SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context. - Jéssyka Vilela; Alessio Ferrari 001 (REFSQ, 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek (CoRR, 2021)

Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. - Alessio Ferrari 001; Thaide Huichapa; Paola Spoletini; Nicole Novielli; Davide Fucci; Daniela Girardi (CoRR, 2021)

Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts. - Alessio Ferrari 001; Manlio Bacco; Kirsten Moore; Andreas Jedlitschka; Steffen Hess; Jouni Kaipainen; Panagiota Koltsida; Eleni Toli; Gianluca Brunori (CoRR, 2021)

Requirements engineering: Foundation for software quality (REFSQ2020). - Alessio Ferrari 001; Nazim H. Madhavji; Liliana Pasquale (Inf. Softw. Technol., 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction. - Alessio Ferrari 001; Maurice H. ter Beek (Zenodo, 2021)

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. - Franco Mazzanti; Alessio Ferrari 001; Davide Basile 001; Maurice H. ter Beek (Zenodo, 2021)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari 001; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer 001 (ISoLA (4), 2022)

AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering. - Alessio Ferrari 001; Hans-Martin Heyn; Mehrdad Sabetzadeh (RE Workshops, 2022)

A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study. - Waad Alhoshan; Liping Zhao 001; Alessio Ferrari 001; Keletso J. Letsholo (REFSQ, 2022)

Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. - Himaja Cherukuri; Alessio Ferrari 001; Paola Spoletini (REFSQ, 2022)

Classification of Natural Language Processing Techniques for Requirements Engineering. - Liping Zhao 001; Waad Alhoshan; Alessio Ferrari 001; Keletso J. Letsholo (CoRR, 2022)

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. - Maurice H. ter Beek; Alessio Ferrari 001 (CoRR, 2022)

Natural Language Processing for Requirements Engineering: A Systematic Mapping Study. - Liping Zhao 001; Waad Alhoshan; Alessio Ferrari 001; Keletso J. Letsholo; Muideen A. Ajagbe; Erol-Valeriu Chioasca; Riza Theresa Batista-Navarro (ACM Comput. Surv., 2022)

Rethinking Requirements Engineering for Sustainability. - Alessio Ferrari 001; Manlio Bacco (ERCIM News, 2022)

Empirical Software Engineering and Formal Methods for IoT Systems. - Davide Basile 001; Maurice H. ter Beek; Giovanna Broccia; Alessio Ferrari 001 (ERCIM News, 2022)

Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts. - Alessio Ferrari 001; Manlio Bacco; Kirsten Gaber; Andreas Jedlitschka; Steffen Hess; Jouni Kaipainen; Panagiota Koltsida; Eleni Toli; Gianluca Brunori (Inf. Softw. Technol., 2022)

Correction to: On the relationship between similar requirements and similar software. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Enoiu; Mehrdad Saadatmand; Daniel Sundmark (Requir. Eng., 2022)

How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. - Alessio Ferrari 001; Paola Spoletini; Sourav Debnath (Requir. Eng., 2022)

CaRE: a refinement calculus for requirements engineering based on argumentation theory. - Yehia Elrakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Softw. Syst. Model., 2022)

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. - Davide Basile 001; Maurice H. ter Beek; Alessio Ferrari 001; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2022)

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. - Alessio Ferrari 001; Franco Mazzanti; Davide Basile 001; Maurice H. ter Beek (IEEE Trans. Software Eng., 2022)

Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. - Davide Basile 001; Franco Mazzanti; Alessio Ferrari 001 (FMICS, 2023)

Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. - Alessio Ferrari 001; Paola Spoletini (ICSE, 2023)

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Walter Cazzola; Luca Favalli; Francesco Bertolotti (ICPC, 2023)

Requirements Classification for Smart Allocation: A Case Study in the Railway Industry. - Sarmad Bashir; Muhammad Abbas 002; Alessio Ferrari 001; Mehrdad Saadatmand; Pernilla Lindberg (RE, 2023)

Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote). - Alessio Ferrari 001 (REW, 2023)

Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. - Alessio Ferrari 001; Fabio Lepore; Livia Ortolani; Gianluca Brunori (RE, 2023)

ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments. - Chiara Mannari; Elisa Anichini; Manlio Bacco; Alessio Ferrari 001; Tommaso Turchi; Alessio Malizia (RE, 2023)

Replication and Verifiability in Requirements Engineering: the NLP for RE Case. - Sallam Abualhaija; Fatma Basak Aydemir; Fabiano Dalpiaz; Davide Dell'Anna; Alessio Ferrari 001; Xavier Franch; Davide Fucci (CoRR, 2023)

Formal Methods in Railways: A Systematic Mapping Study. - Alessio Ferrari 001; Maurice H. ter Beek (ACM Comput. Surv., 2023)

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Walter Cazzola; Luca Favalli; Francesco Bertolotti (Zenodo, 2023)

On the relationship between similar requirements and similar software. - Muhammad Abbas 002; Alessio Ferrari 001; Anas Shatnawi; Eduard Enoiu; Mehrdad Saadatmand; Daniel Sundmark (Requir. Eng., 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

Zero-shot learning for requirements classification: An exploratory study. - Waad Alhoshan; Alessio Ferrari 001; Liping Zhao 001 (Inf. Softw. Technol., 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (Zenodo, 2023)

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. - Giovanna Broccia; Alessio Ferrari 001; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini (Zenodo, 2023)

ModeLLer - Enabling End-Users to Model Systems: a Case Study in Digital Agriculture. - Chiara Mannari; Elisa Anichini; Manlio Bacco; Alessio Ferrari 001; Tommaso Turchi; Alessio Malizia (CoPDA@AVI, 2024)

Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. - Raihana Ferdous; Giorgio Oronzo Spagnolo; Alessandro Borselli; Lucio Rota; Alessio Ferrari 001 (RE Workshops, 2024)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams. - Alessio Ferrari 001; Sallam Abualhaija; Chetan Arora 002 (RE Workshops, 2024)

Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. - Chiara Mannari; Manlio Bacco; Giorgio Oronzo Spagnolo; Alessio Malizia; Alessio Ferrari 001 (RE Workshops, 2024)

Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24). - Sallam Abualhaija; Chetan Arora 002; Davide Dell'Anna; Alessio Ferrari 001; Sepideh Ghanavati (REFSQ Workshops, 2024)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessio Ferrari 001 (REFSQ, 2024)

The Return of Formal Requirements Engineering in the Era of Large Language Models. - Paola Spoletini; Alessio Ferrari 001 (REFSQ, 2024)

Model Generation from Requirements with LLMs: an Exploratory Study. - Alessio Ferrari 001; Sallam Abualhaija; Chetan Arora 002 (CoRR, 2024)

Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. - Davide Basile 001; Maurice H. ter Beek; Alessio Ferrari 001 (ERCIM News, 2024)

Socio-technical Process Modelling to Foster Sustainable Digitalisation of Rural Areas. - Chiara Mannari; Alessio Ferrari 001; Manlio Bacco (ERCIM News, 2024)

Editorial for the REFSQ'23 special issue. - Birgit Penzenstadler; Alessio Ferrari 001 (Requir. Eng., 2024)

Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. - Alessio Ferrari 001; Thaide Huichapa; Paola Spoletini; Nicole Novielli; Davide Fucci; Daniela Girardi (ACM Trans. Softw. Eng. Methodol., 2024)

Replication in Requirements Engineering: The NLP for RE Case. - Sallam Abualhaija; Fatma Basak Aydemir; Fabiano Dalpiaz; Davide Dell'Anna; Alessio Ferrari 001; Xavier Franch; Davide Fucci (ACM Trans. Softw. Eng. Methodol., 2024)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability. - Andreas Vogelsang; Alexander Korn; Giovanna Broccia; Alessio Ferrari 001; Jannik Fischbach; Chetan Arora 002 (NIER@ICSE, 2025)

Assessing Computational Thinking Skills Through Artefacts: The Case of ModeLLer. - Chiara Mannari; Tommaso Turchi; Caterina Frosali; Manlio Bacco; Alessio Ferrari 001; Cristina Conati; Alessio Malizia (IS-EUD, 2025)

An Experience Report on Leveraging LLMs for GUI Generation: Automating Coding to Prioritise Creativity. - Giovanna Broccia; Alessandro Borselli; Maria Rosaria Cefaloni; Franco Delcorno; Alessio Ferrari 001 (REFSQ Workshops, 2025)

End-User Requirements Modelling: An Experience Report from Digital Agriculture. - Chiara Mannari; Mino Sportelli; Harika Meesala; Ogochukwu Felicitas Okoye; Fabio Lepore; Manlio Bacco; Gianluca Brunori; Alessio Malizia; Alessio Ferrari 001 (REFSQ, 2025)

Automatic Prompt Engineering: The Case of Requirements Classification. - Mohammad Amin Zadenoori; Liping Zhao 001; Waad Alhoshan; Alessio Ferrari 001 (REFSQ, 2025)

Language Models to Support Multi-Label Classification of Industrial Data. - Waleed Abdeen; Michael Unterkalmsteiner; Krzysztof Wnuk; Alessio Ferrari 001; Panagiota Chatzipetrou (SANER, 2025)

Data Mining in Railway Diagnostic Data for Predictive Maintenance. - Giulia Millitarì; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2025)

Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. - Giovanna Broccia; Maurice H. ter Beek; Alberto Lluch-Lafuente; Paola Spoletini; Alessandro Fantechi; Alessio Ferrari 001 (Inf. Softw. Technol., 2025)

Formal requirements engineering and large language models: A two-way roadmap. - Alessio Ferrari 001; Paola Spoletini (Inf. Softw. Technol., 2025)

Model transformation and property preservation in rigorous software development: A systematic literature review. - Gullelala Jadoon; Maurice H. ter Beek; Alessio Ferrari 001 (J. Syst. Softw., 2025)

Toward a method for LLM-enabled Indoor Navigation. - Alberto Coffrini; Mohammad Amin Zadenoori; Paolo Barsocchi; Francesco Furfari; Antonino Crivello; Alessio Ferrari 001 (CoRR, 2025)

How Effective are Generative Large Language Models in Performing Requirements Classification? - Waad Alhoshan; Alessio Ferrari 001; Liping Zhao 001 (CoRR, 2025)