Alessio Ferrari
Orcid: 0000-0002-0636-5663Affiliations:
- CNR-ISTI, Pisa, Italy
According to our database1,
Alessio Ferrari
authored at least 140 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., July, 2024
Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews.
ACM Trans. Softw. Eng. Methodol., May, 2024
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Preface: 7th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE'24).
Proceedings of the Joint Proceedings of REFSQ-2024 Workshops, 2024
Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the Eight International Workshop on Cultures of Participation in the Digital Age: Differentiating and Deepening the Concept of "End User" in the Digital Age co-located with the International Conference on Advanced Visual Interfaces (AVI 2024), 2024
2023
Inf. Softw. Technol., July, 2023
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.
Dataset, June, 2023
Requir. Eng., March, 2023
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material.
Dataset, February, 2023
CoRR, 2023
ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments.
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
Artificial Intelligence in Engineering and Society: Blue Skies, Black Holes, and the Job of Requirements Engineers (Keynote).
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Requirements Classification for Smart Allocation: A Case Study in the Railway Industry.
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2022
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
IEEE Trans. Software Eng., 2022
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
Int. J. Softw. Tools Technol. Transf., 2022
CaRE: a refinement calculus for requirements engineering based on argumentation theory.
Softw. Syst. Model., 2022
How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis.
Requir. Eng., 2022
Correction to: On the relationship between similar requirements and similar software.
Requir. Eng., 2022
Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts.
Inf. Softw. Technol., 2022
Natural Language Processing for Requirements Engineering: A Systematic Mapping Study.
ACM Comput. Surv., 2022
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.
CoRR, 2022
Classification of Natural Language Processing Techniques for Requirements Engineering.
CoRR, 2022
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022
AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering.
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, November, 2021
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction.
Dataset, July, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Inf. Softw. Technol., 2021
Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts.
CoRR, 2021
Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews.
CoRR, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.
CoRR, 2021
SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021
Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021).
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021
Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021
From Ideas to Expressed Needs: an Empirical Study on the Evolution of Requirements during Elicitation.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
2020
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).
Dataset, October, 2020
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.
Dataset, May, 2020
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.
Dataset, May, 2020
SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal.
Requir. Eng., 2020
Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study.
CoRR, 2020
Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
The Way it Makes you Feel Predicting Users' Engagement during Interviews with Biofeedback and Supervised Learning.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the 2020 Global Internet of Things Summit, 2020
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020
2019
IEEE Softw., 2019
Teaching requirements elicitation interviews: an empirical study of learning from mistakes.
Requir. Eng., 2019
Autom. Softw. Eng., 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019
Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Towards formal methods diversity in railways: an experience report with seven frameworks.
Int. J. Softw. Tools Technol. Transf., 2018
IEEE Softw., 2018
J. Softw. Evol. Process., 2018
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.
Empir. Softw. Eng., 2018
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
Improving the quality of business process descriptions of public administrations: Resources and research challenges.
Bus. Process. Manag. J., 2018
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018
Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018
Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018
Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
2017
ERCIM News, 2017
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
2016
Requir. Eng., 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Ensuring Action: Identifying Unclear Actor Specifications in Textual Business Process Descriptions.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 3: KMIS, Porto - Portugal, November 9, 2016
2015
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Proceedings of the Requirements Engineering in the Big Data Era, 2015
2014
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
2013
IEEE Softw., 2013
Proceedings of the 17th International Software Product Line Conference, 2013
Using Clustering to Improve the Structure of Natural Language Requirements Documents.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013
2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer.
Int. J. Embed. Real Time Commun. Syst., 2011
2010
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the FORMS/FORMAT 2010, 2010
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
2009
Modeling Guidelines for Code Generation in the Railway Signaling Context.
Proceedings of the First NASA Formal Methods Symposium, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008