Alessio Ferrari

175 papers A* 2A 25B 22C 7Misc 2Journal 69Unranked 43
YearRankTypeTitle / Venue / Authors
2026 J jnl
Class Model Generation from Requirements using Large Language Models.
CoRR
Jackson Nguyen, Rui En Koe, Fanyu Wang, Chetan Arora, Alessio Ferrari
2026 J jnl
Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments.
CoRR
Giovanna Broccia, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti, Alessio Ferrari
2026 B conf
Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes.
REFSQ
Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari
2026 B conf
From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks.
REFSQ
Manjeshwar Aniruddh Mallya, Alessio Ferrari, Mohammad Amin Zadenoori, Jacek Dabrowski
2026 J jnl
RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback.
CoRR
Manjeshwar Aniruddh Mallya, Alessio Ferrari, Mohammad Amin Zadenoori, Jacek Dabrowski
2026 J jnl
The Role of Cognitive Abilities in Requirements Inspection: Comparing UML and Textual Representations.
CoRR
Giovanna Broccia, Sira Vegas, Alessio Ferrari
2025 — conf
An Experience Report on Leveraging LLMs for GUI Generation: Automating Coding to Prioritise Creativity.
REFSQ Workshops
Giovanna Broccia, Alessandro Borselli, Maria Rosaria Cefaloni, Franco Delcorno, Alessio Ferrari
2025 — conf
Assessing Computational Thinking Skills Through Artefacts: The Case of ModeLLer.
IS-EUD
Chiara Mannari, Tommaso Turchi, Caterina Frosali, Manlio Bacco, Alessio Ferrari, Cristina Conati, Alessio Malizia
2025 B conf
Automatic Prompt Engineering: The Case of Requirements Classification.
REFSQ
Mohammad Amin Zadenoori, Liping Zhao, Waad Alhoshan, Alessio Ferrari
2025 J jnl
Data Mining in Railway Diagnostic Data for Predictive Maintenance.
ERCIM News
Giulia Millitarì, Alessio Ferrari, Giorgio Oronzo Spagnolo
2025 J jnl
Does Model Size Matter? A Comparison of Small and Large Language Models for Requirements Classification.
CoRR
Mohammad Amin Zadenoori, Vincenzo De Martino, Jacek Dabrowski, Xavier Franch, Alessio Ferrari
2025 — conf
Empirical Formal Methods in Railways: Experiences and Roadmap.
RSSRail
Alessio Ferrari
2025 B conf
End-User Requirements Modelling: An Experience Report from Digital Agriculture.
REFSQ
Chiara Mannari, Mino Sportelli, Harika Meesala, Ogochukwu Felicitas Okoye, Fabio Lepore, Manlio Bacco, Gianluca Brunori, Alessio Malizia, Alessio Ferrari
2025 J jnl
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication.
Inf. Softw. Technol.
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari
2025 J jnl
Formal requirements engineering and large language models: A two-way roadmap.
Inf. Softw. Technol.
Alessio Ferrari, Paola Spoletini
2025 J jnl
From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks.
CoRR
Manjeshwar Aniruddh Mallya, Alessio Ferrari, Mohammad Amin Zadenoori, Jacek Dabrowski
2025 J jnl
Green Prompt Engineering: Investigating the Energy Impact of Prompt Design in Software Engineering.
CoRR
Vincenzo De Martino, Mohammad Amin Zadenoori, Xavier Franch, Alessio Ferrari
2025 J jnl
How Effective are Generative Large Language Models in Performing Requirements Classification?
CoRR
Waad Alhoshan, Alessio Ferrari, Liping Zhao
2025 C conf
LLM-Guided Indoor Navigation with Multimodal Map Understanding.
IPIN
Alberto Coffrini, Paolo Barsocchi, Francesco Furfari, Antonino Crivello, Alessio Ferrari
2025 A conf
Language Models to Support Multi-Label Classification of Industrial Data.
SANER
Waleed Abdeen, Michael Unterkalmsteiner, Krzysztof Wnuk, Alessio Ferrari, Panagiota Chatzipetrou
2025 J jnl
Language Models to Support Multi-Label Classification of Industrial Data.
CoRR
Waleed Abdeen, Michael Unterkalmsteiner, Krzysztof Wnuk, Alessio Ferrari, Panagiota Chatzipetrou
2025 J jnl
Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review.
CoRR
Mohammad Amin Zadenoori, Jacek Dabrowski, Waad Alhoshan, Liping Zhao, Alessio Ferrari
2025 J jnl
Model transformation and property preservation in rigorous software development: A systematic literature review.
J. Syst. Softw.
Gullelala Jadoon, Maurice H. ter Beek, Alessio Ferrari
2025 — conf
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability.
NIER@ICSE
Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora
2025 J jnl
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability.
CoRR
Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora
2025 A conf
Requirements Ambiguity Detection and Explanation with LLMS: An Industrial Study.
ICSME
Sarmad Bashir, Alessio Ferrari, Abbas Khan, Per Erik Strandberg, Zulqarnain Haider, Mehrdad Saadatmand, Markus Bohlin
2025 J jnl
Summary of the 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering (MO2RE) co-located with the 47th IEEE/ACM ICSE 2025.
ACM SIGSOFT Softw. Eng. Notes
Sallam Abualhaija, Daniel Amyot, Chetan Arora, Alessio Ferrari, Davide Fucci, Paola Spoletini
2025 J jnl
Toward a method for LLM-enabled Indoor Navigation.
CoRR
Alberto Coffrini, Mohammad Amin Zadenoori, Paolo Barsocchi, Francesco Furfari, Antonino Crivello, Alessio Ferrari
2024 B conf
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
REFSQ
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024 J jnl
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
CoRR
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
2024 J jnl
Editorial for the REFSQ'23 special issue.
Requir. Eng.
Birgit Penzenstadler, Alessio Ferrari
2024 — conf
Identifying Maintenance Needs with Machine Learning: a Case Study in Railways.
RE Workshops
Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari
2024 — ed.
Joint Proceedings of REFSQ-2024 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with the 30th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland, April 8-11, 2024.
REFSQ Workshops
Daniel Méndez, Ana Moreira, Jennifer Horkoff, Thorsten Weyer, Maya Daneva, Michael Unterkalmsteiner, Stan Bühne, Jennifer Hehn, Birgit Penzenstadler, Oscar Dieste, Nelly Condori-Fernández, Renata S. S. Guizzardi, Khan Mohammad Habibullah, Anna Perini, Angelo Susi, Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati, Fabiano Dalpiaz, Jan-Philipp Steghöfer, Alexander Rachmann, Jens Gulden, Andrea Müller, Martina Beck, Dominik Birkmeier, Andrea Herrmann, Patrick Mennig, Kurt Schneider
2024 — conf
ModeLLer - Enabling End-Users to Model Systems: a Case Study in Digital Agriculture.
CoPDA@AVI
Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia
2024 J jnl
Model Generation from Requirements with LLMs: an Exploratory Study.
CoRR
Alessio Ferrari, Sallam Abualhaija, Chetan Arora
2024 — conf
Model Generation with LLMs: From Requirements to UML Sequence Diagrams.
RE Workshops
Alessio Ferrari, Sallam Abualhaija, Chetan Arora
2024 — conf
Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24).
REFSQ Workshops
Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati
2024 J jnl
Replication in Requirements Engineering: The NLP for RE Case.
ACM Trans. Softw. Eng. Methodol.
Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci
2024 J jnl
Socio-technical Process Modelling to Foster Sustainable Digitalisation of Rural Areas.
ERCIM News
Chiara Mannari, Alessio Ferrari, Manlio Bacco
2024 J jnl
Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport.
ERCIM News
Davide Basile, Maurice H. ter Beek, Alessio Ferrari
2024 B conf
The Return of Formal Requirements Engineering in the Era of Large Language Models.
REFSQ
Paola Spoletini, Alessio Ferrari
2024 — conf
Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture.
RE Workshops
Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari
2024 J jnl
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews.
ACM Trans. Softw. Eng. Methodol.
Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
2023 — conf
Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote).
REW
Alessio Ferrari
2023 A conf
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas.
RE
Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori
2023 J jnl
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas.
CoRR
Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori
2023 A conf
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.
ICPC
Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti
2023 C conf
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.
FMICS
Davide Basile, Franco Mazzanti, Alessio Ferrari
2023 J jnl
Formal Methods in Railways: A Systematic Mapping Study.
ACM Comput. Surv.
Alessio Ferrari, Maurice H. ter Beek
2023 — ed.
Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023.
REFSQ Workshops
Alessio Ferrari, Birgit Penzenstadler, Irit Hadar, Shola Oyedeji, Sallam Abualhaija, Andreas Vogelsang, Gouri Deshpande, Alexander Rachmann, Jens Gulden, Andrea Wohlgemuth, Anne Hess, Samuel Fricker, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Oliver Karras, Fabiano Dalpiaz, Ana Moreira, Daniel Amyot, Paola Spoletini
2023 A conf
ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments.
RE
Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia
2023 J jnl
On the relationship between similar requirements and similar software.
Requir. Eng.
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark
2023 J jnl
Replication and Verifiability in Requirements Engineering: the NLP for RE Case.
CoRR
Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci
2023 A conf
Requirements Classification for Smart Allocation: A Case Study in the Railway Industry.
RE
Sarmad Bashir, Muhammad Abbas, Alessio Ferrari, Mehrdad Saadatmand, Pernilla Lindberg
2023 B ed.
Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
REFSQ
Alessio Ferrari, Birgit Penzenstadler
2023 A* conf
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation.
ICSE
Alessio Ferrari, Paola Spoletini
2023 J jnl
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation.
CoRR
Alessio Ferrari, Paola Spoletini
2023 J jnl
Zero-Shot Learning for Requirements Classification: An Exploratory Study.
CoRR
Waad Alhoshan, Alessio Ferrari, Liping Zhao
2023 J jnl
Zero-shot learning for requirements classification: An exploratory study.
Inf. Softw. Technol.
Waad Alhoshan, Alessio Ferrari, Liping Zhao
2022 B conf
A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study.
REFSQ
Waad Alhoshan, Liping Zhao, Alessio Ferrari, Keletso J. Letsholo
2022 — conf
AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering.
RE Workshops
Alessio Ferrari, Hans-Martin Heyn, Mehrdad Sabetzadeh
2022 J jnl
CaRE: a refinement calculus for requirements engineering based on argumentation theory.
Softw. Syst. Model.
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2022 J jnl
Classification of Natural Language Processing Techniques for Requirements Engineering.
CoRR
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo
2022 J jnl
Correction to: On the relationship between similar requirements and similar software.
Requir. Eng.
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark
2022 J jnl
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts.
Inf. Softw. Technol.
Alessio Ferrari, Manlio Bacco, Kirsten Gaber, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori
2022 J jnl
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.
CoRR
Maurice H. ter Beek, Alessio Ferrari
2022 J jnl
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.
Softw.
Maurice H. ter Beek, Alessio Ferrari
2022 J jnl
Empirical Software Engineering and Formal Methods for IoT Systems.
ERCIM News
Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari
2022 J jnl
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
Int. J. Softw. Tools Technol. Transf.
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2022 J jnl
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis.
CoRR
Alessio Ferrari, Paola Spoletini, Sourav Debnath
2022 J jnl
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis.
Requir. Eng.
Alessio Ferrari, Paola Spoletini, Sourav Debnath
2022 J jnl
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study.
ACM Comput. Surv.
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro
2022 J jnl
Rethinking Requirements Engineering for Sustainability.
ERCIM News
Alessio Ferrari, Manlio Bacco
2022 — conf
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
ISoLA (4)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
2022 J jnl
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
IEEE Trans. Software Eng.
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
2022 B conf
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.
REFSQ
Himaja Cherukuri, Alessio Ferrari, Paola Spoletini
2021 J jnl
Formal Methods in Railways: a Systematic Mapping Study.
CoRR
Alessio Ferrari, Maurice H. ter Beek
2021 A conf
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation.
RE
Sourav Debnath, Paola Spoletini, Alessio Ferrari
2021 B conf
Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry.
REFSQ
Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Paul Enoiu, Mehrdad Saadatmand
2021 — ed.
Joint Proceedings of REFSQ 2021 Workshops, OpenRE, Poster and Tools Track, and Doctoral Symposium co-located with the 27th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2021), Essen, Germany, April 12, 2021.
REFSQ Workshops
Fatma Basak Aydemir, Catarina Gralha, Maya Daneva, Eduard C. Groen, Andrea Herrmann, Patrick Mennig, Sallam Abualhaija, Alessio Ferrari, Jin Guo, Renata S. S. Guizzardi, Jennifer Horkoff, Anna Perini, Angelo Susi, Travis D. Breaux, Xavier Franch, Neil A. Ernst, Elda Paja, Norbert Seyff
2021 — conf
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies.
ICSE (Companion Volume)
Alessio Ferrari, Liping Zhao, Waad Alhoshan
2021 — conf
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021).
REFSQ Workshops
Sallam Abualhaija, Fatma Basak Aydemir, Alessio Ferrari, Jin Guo
2021 J jnl
Requirements engineering: Foundation for software quality (REFSQ2020).
Inf. Softw. Technol.
Alessio Ferrari, Nazim H. Madhavji, Liliana Pasquale
2021 J jnl
Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts.
CoRR
Alessio Ferrari, Manlio Bacco, Kirsten Moore, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori
2021 B conf
SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context.
REFSQ
Jéssyka Vilela, Alessio Ferrari
2021 J jnl
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.
CoRR
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek
2021 A conf
The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic.
RE
Muneera Bano, Chetan Arora, Didar Zowghi, Alessio Ferrari
2021 J jnl
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews.
CoRR
Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi
2020 A conf
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.
ER
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2020 A* conf
Comparing formal tools for system design: a judgment study.
ICSE
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi
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 A conf
Inspectors Academy : Pedagogical Design for Requirements Inspection Training.
RE
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini
2020 — conf
IoT as a Digital Game Changer in Rural Areas: the DESIRA Conceptual Approach.
GIoTS
Manlio Bacco, Gianluca Brunori, Alessio Ferrari, Panagiota Koltsida, Eleni Toli
2020 — conf
Message from the Organizers.
AIRE@RE
Nelly Bencomo, Alessio Ferrari, Fatma Basak Aydemir, Mona Rahimi
2020 J jnl
Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study.
CoRR
Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro
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
2020 J jnl
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal.
Requir. Eng.
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
2020 A conf
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning.
RE
Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa
2020 — conf
Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project.
REFSQ Workshops
Manlio Bacco, Gianluca Brunori, Felice Dell'Orletta, Alessio Ferrari
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
Ambiguity in Requirements Engineering: Towards a Unifying Framework.
From Software Engineering to Formal Methods and Tools, and Back
Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
2019 J jnl
An NLP approach for cross-domain ambiguity detection in requirements engineering.
Autom. Softw. Eng.
Alessio Ferrari, Andrea Esuli
2019 — ed.
Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019.
REFSQ Workshops
Paola Spoletini, Patrick Mäder, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Alessio Ferrari, Xavier Franch, Sarah Gregory, Eduard C. Groen, Andrea Herrmann, Anne Hess, Frank Houdek, Oliver Karras, Anne Koziolek, Kim Lauenroth, Cristina Palomares, Mehrdad Sabetzadeh, Norbert Seyff, Marcus Trapp, Andreas Vogelsang, Thorsten Weyer
2019 A conf
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review.
RE
Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi
2019 C conf
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.
FMICS
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
2019 — conf
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions.
From Software Engineering to Formal Methods and Tools, and Back
Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente
2019 J jnl
Requirements Engineering (RE) for Social Good: RE Cares [Requirements].
IEEE Softw.
Alexander Dekhtyar, Jane Huffman Hayes, Irit Hadar, Erin Combs, Alessio Ferrari, Sarah Gregory, Jennifer Horkoff, Meira Levy, Maleknaz Nayebi, Barbara Paech, Jared Payne, Matt Primrose, Paola Spoletini, Shell Clarke, Chuck Brophy, Daniel Amyot, Walid Maalej, Guenther Ruhe, Jane Cleland-Huang, Didar Zowghi
2019 — conf
Requirements Philology (keynote).
REFSQ Workshops
Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Sarah Gregory, Frank Houdek, Cristina Palomares
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
2019 J jnl
Teaching requirements elicitation interviews: an empirical study of learning from mistakes.
Requir. Eng.
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
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 A conf
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
RE
Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos
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 — 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 — ed.
Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018.
REFSQ Workshops
Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden, Anna Zamansky
2018 A conf
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices.
RE
Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati
2018 J jnl
Natural Language Processing for Requirements Engineering: The Best Is Yet to Come.
IEEE Softw.
Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Cristina Palomares
2018 — conf
Natural language requirements processing: from research to practice.
ICSE (Companion Volume)
Alessio Ferrari
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 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
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.
MARS/VPT
Franco Mazzanti, Alessio Ferrari
2018 J jnl
Towards formal methods diversity in railways: an experience report with seven frameworks.
Int. J. Softw. Tools Technol. Transf.
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
2017 — conf
Are Standards an Ambiguity-Free Reference for Product Validation?
RSSRail
Alessio Ferrari, Mario Fusani, Stefania Gnesi
2017 J jnl
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles.
ERCIM News
Franco Mazzanti, Alessio Ferrari, 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
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings.
RE Workshops
Alessio Ferrari, Beatrice Donati, 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 A conf
PURE: A Dataset of Public Requirements Documents.
RE
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
2017 A conf
Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond.
RE
Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi
2017 A conf
Requirements Elicitation: A Look at the Future Through the Lenses of the Past.
RE
Paola Spoletini, Alessio Ferrari
2017 J jnl
The KandISTI/UMC Online Open-Access Verification Framework.
ERCIM News
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
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 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 Misc conf
Collaborative requirements elicitation in a european research project.
SAC
Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini
2016 A conf
Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis.
RE
Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari
2016 — conf
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions.
KMIS
Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi
2016 — conf
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.
ISoLA (2)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
2016 — conf
Formal Methods and Safety Certification: Challenges in the Railways Domain.
ISoLA (2)
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi
2015 A conf
Ambiguity as a resource to disclose tacit knowledge.
RE
Alessio Ferrari, Paola Spoletini, 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
2014 — conf
Context transformations for goal models.
MoDRE
Paola Spoletini, Alessio Ferrari, Stefania Gnesi
2014 C conf
Deadlock Avoidance in Train Scheduling: A Model Checking Approach.
FMICS
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
2014 — conf
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.
NASA Formal Methods
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari
2014 J jnl
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.
Int. J. Softw. Tools Technol. Transf.
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
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
Pragmatic ambiguity detection in natural language requirements.
AIRE
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo
2013 B conf
Mining commonalities and variabilities from natural language documents.
SPLC
Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta
2013 J jnl
Model-Based Development and Formal Methods in the Railway Industry.
IEEE Softw.
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani
2013 J jnl
The Metrô Rio case study.
Sci. Comput. Program.
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini
2013 B conf
Using Clustering to Improve the Structure of Natural Language Requirements Documents.
REFSQ
Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei
2012 Misc conf
A clustering-based approach for discovering flaws in requirements specifications.
SAC
Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei
2012 B conf
Automatic Analysis of Multimodal Requirements: A Research Preview.
REFSQ
Elia Bruni, Alessio Ferrari, Norbert Seyff, Gabriele Tolomei
2012 — conf
Lessons Learnt from the Adoption of Formal Model-Based Development.
NASA Formal Methods
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi
2012 — conf
Model-Based Evaluation of the Availability of a CBTC System.
SERENE
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo
2012 — conf
Product Line Engineering Applied to CBTC Systems Development.
ISoLA (2)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
2012 A conf
Using collective intelligence to detect pragmatic ambiguities.
RE
Alessio Ferrari, Stefania Gnesi
2011 J jnl
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
Int. J. Embed. Real Time Commun. Syst.
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini
2010 — conf
An industrial application of formal model based development: the Metrô Rio ATP case.
SERENE
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso
2010 A conf
Model Based Testing and Abstract Interpretation in the Railway Signaling Context.
ICST
Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
2010 — conf
Model Checking Interlocking Control Tables.
FORMS/FORMAT
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
2010 C conf
The Metrô Rio ATP Case Study.
FMICS
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini
2009 C conf
Formal Development for Railway Signaling Using Commercial Tools.
FMICS
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni
2009 — conf
Modeling Guidelines for Code Generation in the Railway Signaling Context.
NASA Formal Methods
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni
2008 C conf
Panel Discussion on Formal Methods in Commercial Software Development Tools.
FMICS
Alessandro Fantechi, Alessio Ferrari