default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessio Ferrari 0001
Person information
- affiliation: CNR-ISTI, Pisa, Italy
Other persons with the same name
- Alessio Ferrari 0002
![[0000-0001-9483-3975]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-9483-3975")
— Politecnico di Torino, Torino, Italy - Alessio Ferrari 0003 — University of Pavia, Department of Electronics, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j31]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessandro Fantechi, Alessio Ferrari:
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Inf. Softw. Technol. 178: 107624 (2025)- 2024
- [j30]Birgit Penzenstadler, Alessio Ferrari:
Editorial for the REFSQ'23 special issue. Requir. Eng. 29(1): 1-2 (2024) - [j29]Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi:
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews. ACM Trans. Softw. Eng. Methodol. 33(4): 87:1-87:36 (2024) - [j28]Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci:
Replication in Requirements Engineering: The NLP for RE Case. ACM Trans. Softw. Eng. Methodol. 33(6): 151 (2024) - [c88]Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia:
ModeLLer - Enabling End-Users to Model Systems: a Case Study in Digital Agriculture. CoPDA@AVI 2024 - [c87]Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari:
Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. RE Workshops 2024: 22-25 - [c86]Alessio Ferrari, Sallam Abualhaija, Chetan Arora:
Model Generation with LLMs: From Requirements to UML Sequence Diagrams. RE Workshops 2024: 291-300 - [c85]Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari:
Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. RE Workshops 2024: 306-315 - [c84]Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati:
Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24). REFSQ Workshops 2024 - [c83]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56 - [c82]Paola Spoletini, Alessio Ferrari:
The Return of Formal Requirements Engineering in the Era of Large Language Models. REFSQ 2024: 344-353 - [e7]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:
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. CEUR Workshop Proceedings 3672, CEUR-WS.org 2024 [contents] - [i21]Alessio Ferrari, Sallam Abualhaija, Chetan Arora:
Model Generation from Requirements with LLMs: an Exploratory Study. CoRR abs/2404.06371 (2024) - [i20]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024) - [i19]Davide Basile, Maurice H. ter Beek, Alessio Ferrari:
Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News 2024(138) (2024) - [i18]Chiara Mannari, Alessio Ferrari, Manlio Bacco:
Socio-technical Process Modelling to Foster Sustainable Digitalisation of Rural Areas. ERCIM News 2024(138) (2024) - 2023
- [j27]Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55(4): 69:1-69:37 (2023) - [j26]Waad Alhoshan, Alessio Ferrari, Liping Zhao:
Zero-shot learning for requirements classification: An exploratory study. Inf. Softw. Technol. 159: 107202 (2023) - [j25]Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark:
On the relationship between similar requirements and similar software. Requir. Eng. 28(1): 23-47 (2023) - [c81]Davide Basile, Franco Mazzanti, Alessio Ferrari:
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS 2023: 1-21 - [c80]Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. ICSE 2023: 1290-1302 - [c79]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC 2023: 54-58 - [c78]Alessio Ferrari:
Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote). REW 2023: 67 - [c77]Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori:
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. RE 2023: 157-168 - [c76]Sarmad Bashir, Muhammad Abbas, Alessio Ferrari, Mehrdad Saadatmand, Pernilla Lindberg:
Requirements Classification for Smart Allocation: A Case Study in the Railway Industry. RE 2023: 201-211 - [c75]Chiara Mannari, Elisa Anichini, Manlio Bacco, Alessio Ferrari, Tommaso Turchi, Alessio Malizia:
ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments. RE 2023: 367-368 - [e6]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:
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. CEUR Workshop Proceedings 3378, CEUR-WS.org 2023 [contents] - [e5]Alessio Ferrari, Birgit Penzenstadler:
Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings. Lecture Notes in Computer Science 13975, Springer 2023, ISBN 978-3-031-29785-4 [contents] - [d13]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 1. Zenodo, 2023 [all versions]
- [d12]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 2. Zenodo, 2023 [all versions] - [d11]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 3. Zenodo, 2023 [all versions] - [d10]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli, Francesco Bertolotti:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material. Zenodo, 2023 - [d9]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 1.0. Zenodo, 2023 [all versions] - [d8]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 3. Zenodo, 2023 [all versions] - [i17]Alessio Ferrari, Paola Spoletini:
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. CoRR abs/2301.12090 (2023) - [i16]Waad Alhoshan, Alessio Ferrari, Liping Zhao:
Zero-Shot Learning for Requirements Classification: An Exploratory Study. CoRR abs/2302.04723 (2023) - [i15]Sallam Abualhaija, Fatma Basak Aydemir, Fabiano Dalpiaz, Davide Dell'Anna, Alessio Ferrari, Xavier Franch, Davide Fucci:
Replication and Verifiability in Requirements Engineering: the NLP for RE Case. CoRR abs/2304.10265 (2023) - [i14]Alessio Ferrari, Fabio Lepore, Livia Ortolani, Gianluca Brunori:
Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas. CoRR abs/2306.05078 (2023) - 2022
- [j24]Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro:
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study. ACM Comput. Surv. 54(3): 55:1-55:41 (2022) - [j23]Alessio Ferrari, Manlio Bacco, Kirsten Gaber, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori:
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts. Inf. Softw. Technol. 145: 106816 (2022) - [j22]Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Enoiu, Mehrdad Saadatmand, Daniel Sundmark:
Correction to: On the relationship between similar requirements and similar software. Requir. Eng. 27(3): 399 (2022) - [j21]Alessio Ferrari, Paola Spoletini, Sourav Debnath:
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis. Requir. Eng. 27(4): 489-519 (2022) - [j20]Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21(6): 2113-2132 (2022) - [j19]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022) - [j18]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48(11): 4675-4691 (2022) - [c74]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:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - [c73]Alessio Ferrari, Hans-Martin Heyn, Mehrdad Sabetzadeh:
AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering. RE Workshops 2022: 139-140 - [c72]Waad Alhoshan, Liping Zhao, Alessio Ferrari, Keletso J. Letsholo:
A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study. REFSQ 2022: 52-59 - [c71]Himaja Cherukuri, Alessio Ferrari, Paola Spoletini:
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. REFSQ 2022: 79-86 - [i13]Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo:
Classification of Natural Language Processing Techniques for Requirements Engineering. CoRR abs/2204.04282 (2022) - [i12]Alessio Ferrari, Paola Spoletini, Sourav Debnath:
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis. CoRR abs/2208.00825 (2022) - [i11]Maurice H. ter Beek, Alessio Ferrari:
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR abs/2208.05266 (2022) - [i10]Alessio Ferrari, Manlio Bacco:
Rethinking Requirements Engineering for Sustainability. ERCIM News 2022(131) (2022) - [i9]Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari:
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022(131) (2022) - 2021
- [j17]Alessio Ferrari, Nazim H. Madhavji, Liliana Pasquale:
Requirements engineering: Foundation for software quality (REFSQ2020). Inf. Softw. Technol. 137: 106636 (2021) - [c70]Alessio Ferrari, Liping Zhao, Waad Alhoshan:
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies. ICSE (Companion Volume) 2021: 322-323 - [c69]Muneera Bano, Chetan Arora, Didar Zowghi, Alessio Ferrari:
The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic. RE 2021: 106-116 - [c68]Sourav Debnath, Paola Spoletini, Alessio Ferrari:
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation. RE 2021: 233-244 - [c67]Muhammad Abbas, Alessio Ferrari, Anas Shatnawi, Eduard Paul Enoiu, Mehrdad Saadatmand:
Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry. REFSQ 2021: 3-18 - [c66]Sallam Abualhaija, Fatma Basak Aydemir, Alessio Ferrari, Jin Guo:
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021). REFSQ Workshops 2021 - [c65]Jéssyka Vilela, Alessio Ferrari:
SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context. REFSQ 2021: 191-207 - [e4]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:
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. CEUR Workshop Proceedings 2857, CEUR-WS.org 2021 [contents] - [d7]Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction. Zenodo, 2021 - [d6]Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 1.0. Zenodo, 2021 [all versions] - [d5]Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 2.0. Zenodo, 2021 [all versions] - [d4]Franco Mazzanti, Alessio Ferrari, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 3.0. Zenodo, 2021 [all versions] - [i8]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR abs/2101.11303 (2021) - [i7]Alessio Ferrari, Thaide Huichapa, Paola Spoletini, Nicole Novielli, Davide Fucci, Daniela Girardi:
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews. CoRR abs/2104.02410 (2021) - [i6]Alessio Ferrari, Manlio Bacco, Kirsten Moore, Andreas Jedlitschka, Steffen Hess, Jouni Kaipainen, Panagiota Koltsida, Eleni Toli, Gianluca Brunori:
Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts. CoRR abs/2105.02848 (2021) - [i5]Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study. CoRR abs/2107.05413 (2021) - 2020
- [j16]Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi:
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal. Requir. Eng. 25(4): 417-438 (2020) - [c64]Nelly Bencomo, Alessio Ferrari, Fatma Basak Aydemir, Mona Rahimi:
Message from the Organizers. AIRE@RE 2020: vii - [c63]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER 2020: 3-18 - [c62]Manlio Bacco, Gianluca Brunori, Alessio Ferrari, Panagiota Koltsida, Eleni Toli:
IoT as a Digital Game Changer in Rural Areas: the DESIRA Conceptual Approach. GIoTS 2020: 1-6 - [c61]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74 - [c60]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: 467-485 - [c59]Daniela Girardi, Alessio Ferrari, Nicole Novielli, Paola Spoletini, Davide Fucci, Thaide Huichapa:
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning. RE 2020: 32-43 - [c58]Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini:
Inspectors Academy : Pedagogical Design for Requirements Inspection Training. RE 2020: 215-226 - [c57]Manlio Bacco, Gianluca Brunori, Felice Dell'Orletta, Alessio Ferrari:
Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project. REFSQ Workshops 2020 - [e3]Nazim H. Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi:
Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings [REFSQ 2020 was postponed]. Lecture Notes in Computer Science 12045, Springer 2020, ISBN 978-3-030-44428-0 [contents] - [d3]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). Zenodo, 2020 - [d2]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 2.0. Zenodo, 2020 [all versions] - [d1]Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos:
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. Version 1.0. Zenodo, 2020 [all versions] - [i4]Liping Zhao, Waad Alhoshan, Alessio Ferrari, Keletso J. Letsholo, Muideen A. Ajagbe, Erol-Valeriu Chioasca, Riza Theresa Batista-Navarro:
Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study. CoRR abs/2004.01099 (2020)
2010 – 2019
- 2019
- [j15]Alessio Ferrari, Andrea Esuli:
An NLP approach for cross-domain ambiguity detection in requirements engineering. Autom. Softw. Eng. 26(3): 559-598 (2019) - [j14]Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati:
Teaching requirements elicitation interviews: an empirical study of learning from mistakes. Requir. Eng. 24(3): 259-289 (2019) - [j13]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:
Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 36(1): 86-94 (2019) - [c56]Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini:
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back 2019: 191-210 - [c55]Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente:
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. From Software Engineering to Formal Methods and Tools, and Back 2019: 267-281 - [c54]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: 762-772 - [c53]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS 2019: 1-21 - [c52]Alessio Ferrari, Paola Spoletini, Muneera Bano, Didar Zowghi:
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review. RE 2019: 28-39 - [c51]Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Sarah Gregory, Frank Houdek, Cristina Palomares:
Requirements Philology (keynote). REFSQ Workshops 2019 - [c50]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: 226-241 - [e2]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:
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. CEUR Workshop Proceedings 2376, CEUR-WS.org 2019 [contents] - 2018
- [j12]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): 49-66 (2018) - [j11]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: 129-154 (2018) - [j10]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): 3684-3733 (2018) - [j9]Guglielmo De Angelis, Alessio Ferrari, Stefania Gnesi, Andrea Polini:
Requirements elicitation and refinement in collaborative research projects. J. Softw. Evol. Process. 30(12) (2018) - [j8]Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Cristina Palomares:
Natural Language Processing for Requirements Engineering: The Best Is Yet to Come. IEEE Softw. 35(5): 115-119 (2018) - [j7]Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20(3): 263-288 (2018) - [c49]Alessio Ferrari:
Natural language requirements processing: from research to practice. ICSE (Companion Volume) 2018: 536-537 - [c48]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: 20-29 - [c47]Alessio Ferrari, Andrea Esuli, Stefania Gnesi:
Identification of Cross-Domain Ambiguity with Language Models. AIRE@RE 2018: 31-38 - [c46]Muneera Bano, Didar Zowghi, Alessio Ferrari, Paola Spoletini, Beatrice Donati:
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices. RE 2018: 182-193 - [c45]