| 2026 | AVI | Designing Adaptive AI Assistance for Block-Based Modelling: a Wizard of Oz Study with Domain Experts. | Chiara Mannari, Tommaso Turchi, Manlio Bacco, Alessio Ferrari, Cristina Conati, Alessio Malizia |
| 2026 | REFSQ | Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes. | Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari |
| 2026 | REFSQ | From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks. | Manjeshwar Aniruddh Mallya, Alessio Ferrari, Mohammad Amin Zadenoori, Jacek Dabrowski |
| 2026 | REFSQ | RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback. | Manjeshwar Aniruddh Mallya, Alessio Ferrari, Mohammad Amin Zadenoori, Jacek Dabrowski |
| 2026 | SEAMS | Software Self-Extension with SelfEvolve: an Agentic Architecture for Runtime Code Generation. | Md Asif Iqbal Fahim, Oluwadamilola Adebayo, Alessio Ferrari |
| 2025 | IPIN | LLM-Guided Indoor Navigation with Multimodal Map Understanding. | Alberto Coffrini, Paolo Barsocchi, Francesco Furfari, Antonino Crivello, Alessio Ferrari |
| 2025 | ICSE | On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability. | Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora |
| 2025 | REFSQ | 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 |
| 2025 | REFSQ | 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 |
| 2025 | REFSQ | Automatic Prompt Engineering: The Case of Requirements Classification. | Mohammad Amin Zadenoori, Liping Zhao, Waad Alhoshan, Alessio Ferrari |
| 2025 | SANER | Language Models to Support Multi-Label Classification of Industrial Data. | Waleed Abdeen, Michael Unterkalmsteiner, Krzysztof Wnuk, Alessio Ferrari, Panagiota Chatzipetrou |
| 2024 | AVI | ModeLLer - Enabling End-Users to Model Systems: a Case Study in Digital Agriculture. | Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia |
| 2024 | RE | Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. | Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari |
| 2024 | RE | Model Generation with LLMs: From Requirements to UML Sequence Diagrams. | Alessio Ferrari, Sallam Abualhaija, Chetan Arora |
| 2024 | RE | Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. | Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari |
| 2024 | REFSQ | Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24). | Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati |
| 2024 | REFSQ | 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 |
| 2024 | REFSQ | The Return of Formal Requirements Engineering in the Era of Large Language Models. | Paola Spoletini, Alessio Ferrari |
| 2023 | FMICS | Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. | Davide Basile, Franco Mazzanti, Alessio Ferrari |
| 2023 | ICSE | Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. | Alessio Ferrari, Paola Spoletini |
| 2023 | RE | Requirements Classification for Smart Allocation: A Case Study in the Railway Industry. | Sarmad Bashir, Muhammad Abbas, Alessio Ferrari, Mehrdad Saadatmand, Pernilla Lindberg |
| 2023 | RE | Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote). | Alessio Ferrari |
| 2023 | RE | Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. | Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori |
| 2023 | RE | ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments. | Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia |
| 2022 | ISoLA | Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. | 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 | RE | AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering. | Alessio Ferrari, Hans-Martin Heyn, Mehrdad Sabetzadeh |
| 2022 | REFSQ | A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study. | Waad Alhoshan, Liping Zhao, Alessio Ferrari, Keletso J. Letsholo |
| 2022 | REFSQ | Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. | Himaja Cherukuri, Alessio Ferrari, Paola Spoletini |
| 2021 | ICSE | NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies. | Alessio Ferrari, Liping Zhao, Waad Alhoshan |
| 2021 | RE | The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic. | Muneera Bano, Chetan Arora, Didar Zowghi, Alessio Ferrari |
| 2021 | RE | From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. | Sourav Debnath, Paola Spoletini, Alessio Ferrari |
| 2021 | REFSQ | Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry. | Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Paul Enoiu, Mehrdad Saadatmand |
| 2021 | REFSQ | Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021). | Sallam Abualhaija, Fatma Basak Aydemir, Alessio Ferrari, Jin Guo |
| 2021 | REFSQ | SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context. | Jssyka Vilela, Alessio Ferrari |
| 2020 | ER | A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. | Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos |
| 2020 | GLOBECOM | Autonomous Raman Amplifiers in Software-Defined Optical Transport Networks. | Giacomo Borraccini, Stefano Straullu, Alessio Ferrari, Stefano Piciaccia, Gabriele Galimberti, Alberto Tanzi, Vittorio Curri |
| 2020 | ICSE | Comparing formal tools for system design: a judgment study. | Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi |
| 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 | NetSoft | The GNPy Open Source Library of Applications for Software Abstraction of WDM Data Transport in Open Optical Networks. | Alessio Ferrari, Jan Kundrt, Esther Le Rouzic, Mark Filer, Andrea Campanella, Andrea D'Amico, Karthikeyan Balasubramanian, Yawei Yin, Ondrej Havlis, Michal Hazlinsky, Josef Vojtech, Jean-Luc Aug, Gert Grammel, Gabriele Galimberti, Vittorio Curri |
| 2020 | RE | Inspectors Academy : Pedagogical Design for Requirements Inspection Training. | Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini |
| 2020 | RE | The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. | Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa |
| 2020 | REFSQ | Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project. | Manlio Bacco, Gianluca Brunori, Felice Dell'Orletta, Alessio Ferrari |
| 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 | FMICS | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | RE | Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. | Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi |
| 2019 | REFSQ | Requirements Philology (keynote). | Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Sarah Gregory, Frank Houdek, Cristina Palomares |
| 2018 | ICSE | Natural language requirements processing: from research to practice. | Alessio Ferrari |
| 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 | Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. | Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati |
| 2018 | RE | CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. | Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos |
| 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 |
| 2017 | RE | Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. | Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi |
| 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 | RE | Requirements Elicitation: A Look at the Future Through the Lenses of the Past. | Paola Spoletini, Alessio Ferrari |
| 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 |
| 2016 | IC3K | Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions. | Ulf Sanne, Hans Friedrich Witschel, Alessio Ferrari, Stefania Gnesi |
| 2016 | ISoLA | Formal Methods and Safety Certification: Challenges in the Railways Domain. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi |
| 2016 | ISoLA | Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. | Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo |
| 2016 | RE | Ambiguity Cues in Requirements Elicitation Interviews. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 2016 | RE | Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis. | Paola Spoletini, Casey Brock, Rahat Shahwar, Alessio Ferrari |
| 2016 | SAC | Collaborative requirements elicitation in a european research project. | Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini |
| 2015 | RE | Ambiguity as a resource to disclose tacit knowledge. | Alessio Ferrari, Paola Spoletini, Stefania Gnesi |
| 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 | FMICS | Deadlock Avoidance in Train Scheduling: A Model Checking Approach. | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari |
| 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 | REFSQ | Measuring and Improving the Completeness of Natural Language Requirements. | Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2013 | REFSQ | Using Clustering to Improve the Structure of Natural Language Requirements Documents. | Alessio Ferrari, Stefania Gnesi, Gabriele Tolomei |
| 2013 | SPLC | Mining commonalities and variabilities from natural language documents. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta |
| 2012 | ISoLA | Product Line Engineering Applied to CBTC Systems Development. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni |
| 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 | REFSQ | Automatic Analysis of Multimodal Requirements: A Research Preview. | Elia Bruni, Alessio Ferrari, Norbert Seyff, Gabriele Tolomei |
| 2010 | FMICS | The Metr Rio ATP Case Study. | Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |
| 2010 | ICST | Model Based Testing and Abstract Interpretation in the Railway Signaling Context. | Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini |
| 2009 | FMICS | Formal Development for Railway Signaling Using Commercial Tools. | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccol Zingoni |
| 2008 | FMICS | Panel Discussion on Formal Methods in Commercial Software Development Tools. | Alessandro Fantechi, Alessio Ferrari |
| 2003 | IGARSS | Exploiting spectral and spatial information for classifying hyperspectral data in urban areas. | Fabio Dell'Acqua, Paolo Gamba, Alessio Ferrari |