Alessio Ferrari

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Zero-shot learning for requirements classification: An exploratory study.

[BibT_eX]

[DOI]

Waad Alhoshan

Liping Zhao

Inf. Softw. Technol., July, 2023

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, June, 2023

On the relationship between similar requirements and similar software.

[BibT_eX]

[DOI]

Requir. Eng., March, 2023

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, February, 2023

Formal Methods in Railways: A Systematic Mapping Study.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2023

Replication and Verifiability in Requirements Engineering: the NLP for RE Case.

[BibT_eX]

[DOI]

CoRR, 2023

ModeLLer - A Prototype to Support Requirements Elicitation in Co-Design Environments.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

Eliciting the Double-edged Impact of Digitalisation: a Case Study in Rural Areas.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Requirements Classification for Smart Allocation: A Case Study in the Railway Industry.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Davide Basile

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

CaRE: a refinement calculus for requirements engineering based on argumentation theory.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

How do requirements evolve during elicitation? An empirical study combining interviews and app store analysis.

[BibT_eX]

[DOI]

Sourav Debnath

Requir. Eng., 2022

Correction to: On the relationship between similar requirements and similar software.

[BibT_eX]

[DOI]

Requir. Eng., 2022

Drivers, barriers and impacts of digitalisation in rural areas from the viewpoint of experts.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

Empirical Software Engineering and Formal Methods for IoT Systems.

[BibT_eX]

[DOI]

ERCIM News, 2022

Rethinking Requirements Engineering for Sustainability.

[BibT_eX]

[DOI]

Riza Theresa Batista-Navarro

Manlio Bacco

ERCIM News, 2022

Natural Language Processing for Requirements Engineering: A Systematic Mapping Study.

[BibT_eX]

[DOI]

Erol-Valeriu Chioasca

ACM Comput. Surv., 2022

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.

[BibT_eX]

[DOI]

CoRR, 2022

Classification of Natural Language Processing Techniques for Requirements Engineering.

[BibT_eX]

[DOI]

CoRR, 2022

Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.

[BibT_eX]

[DOI]

Himaja Cherukuri

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering.

[BibT_eX]

[DOI]

Hans-Martin Heyn

Mehrdad Sabetzadeh

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dataset, November, 2021

Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction.

[BibT_eX]

[DOI]

Dataset, July, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

[BibT_eX]

[DOI]

Dataset, April, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

[BibT_eX]

[DOI]

Dataset, April, 2021

Requirements engineering: Foundation for software quality (REFSQ2020).

[BibT_eX]

[DOI]

Nazim H. Madhavji

Liliana Pasquale

Inf. Softw. Technol., 2021

Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts.

[BibT_eX]

[DOI]

CoRR, 2021

Using Voice and Biofeedback to Predict User Engagement during Requirements Interviews.

[BibT_eX]

[DOI]

CoRR, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.

[BibT_eX]

[DOI]

CoRR, 2021

SaPeer Approach for Training Requirements Analysts: An Application Tailored to a Low-resource Context.

[BibT_eX]

[DOI]

Jéssyka Vilela

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

Preface: 4th Workshop on Natural Language Processing for Requirements Engineering (NLP4RE 2021).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sourav Debnath

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

The Rise and Fall of COVID-19 Contact-Tracing Apps: when NFRs Collide with Pandemic.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies.

[BibT_eX]

[DOI]

Riza Theresa Batista-Navarro

Liping Zhao

Waad Alhoshan

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).

[BibT_eX]

[DOI]

Dataset, October, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

SaPeer and ReverseSaPeer: teaching requirements elicitation interviews with role-playing and role reversal.

[BibT_eX]

[DOI]

Requir. Eng., 2020

Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study.

[BibT_eX]

[DOI]

Erol-Valeriu Chioasca

CoRR, 2020

Using NLP to Support Terminology Extraction and Domain Scoping: Report on the H2020 DESIRA Project.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Inspectors Academy : Pedagogical Design for Requirements Inspection Training.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Comparing formal tools for system design: a judgment study.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

IoT as a Digital Game Changer in Rural Areas: the DESIRA Conceptual Approach.

[BibT_eX]

[DOI]

Proceedings of the 2020 Global Internet of Things Summit, 2020

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Message from the Organizers.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Artificial Intelligence for Requirements Engineering, 2020

2019

Requirements Engineering (RE) for Social Good: RE Cares [Requirements].

[BibT_eX]

[DOI]

IEEE Softw., 2019

Teaching requirements elicitation interviews: an empirical study of learning from mistakes.

[BibT_eX]

[DOI]

Requir. Eng., 2019

An NLP approach for cross-domain ambiguity detection in requirements engineering.

[BibT_eX]

[DOI]

Andrea Esuli

Autom. Softw. Eng., 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Requirements Philology (keynote).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Learning Requirements Elicitation Interviews with Role-Playing, Self-Assessment and Peer-Review.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Adopting Formal Methods in an Industrial Setting: The Railways Case.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Ambiguity in Requirements Engineering: Towards a Unifying Framework.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions.

[BibT_eX]

[DOI]

Antonella Fiscella

Guido Parente

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

Natural Language Processing for Requirements Engineering: The Best Is Yet to Come.

[BibT_eX]

[DOI]

IEEE Softw., 2018

Requirements elicitation and refinement in collaborative research projects.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Formal Methods for the Railway Sector.

[BibT_eX]

[DOI]

ERCIM News, 2018

A Guidelines framework for understandable BPMN models.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2018

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hans Friedrich Witschel

Bus. Process. Manag. J., 2018

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2018

Research on NLP for RE at CNR-ISTI: a Report.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018

Identification of Cross-Domain Ambiguity with Language Models.

[BibT_eX]

[DOI]

Andrea Esuli

Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018

Requirement Engineering of Software Product Lines: Extracting Variability Using NLP.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.

[BibT_eX]

[DOI]

Yehia Elrakaiby

John Mylopoulos

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Learning from Mistakes: An Empirical Study of Elicitation Interviews Performed by Novices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Natural language requirements processing: from research to practice.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Natural Language Requirements Processing: A 4D Vision.

[BibT_eX]

[DOI]

IEEE Softw., 2017

The KandISTI/UMC Online Open-Access Verification Framework.

[BibT_eX]

[DOI]

ERCIM News, 2017

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles.

[BibT_eX]

[DOI]

ERCIM News, 2017

Are Standards an Ambiguity-Free Reference for Product Validation?

[BibT_eX]

[DOI]

Mario Fusani

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.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Towards a Dataset for Natural Language Requirements Processing.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Common Mistakes of Student Analysts in Requirements Elicitation Interviews.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Requirements Elicitation: A Look at the Future Through the Lenses of the Past.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

PURE: A Dataset of Public Requirements Documents.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Interview Review: Detecting Latent Ambiguities to Improve the Requirements Elicitation Process.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Detecting Domain-Specific Ambiguities: An NLP Approach Based on Wikipedia Crawling and Word Embeddings.

[BibT_eX]

[DOI]

Beatrice Donati

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2016

Ambiguity and tacit knowledge in requirements elicitation interviews.

[BibT_eX]

[DOI]

Requir. Eng., 2016

Collaborative requirements elicitation in a european research project.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Empowering Requirements Elicitation Interviews with Vocal and Biofeedback Analysis.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Ambiguity Cues in Requirements Elicitation Interviews.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Formal Methods and Safety Certification: Challenges in the Railways Domain.

[BibT_eX]

[DOI]

Alessandro Fantechi

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.

[BibT_eX]

[DOI]

Ulf Sanne

Hans Friedrich Witschel

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.

[BibT_eX]

[DOI]

Felice Dell'Orletta

Proceedings of the 19th International Conference on Software Product Line, 2015

Ambiguity as a resource to disclose tacit knowledge.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Automated Service Selection Using Natural Language Processing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giacomo Martelli

Simone Menabeni

Int. J. Softw. Tools Technol. Transf., 2014

Measuring and Improving the Completeness of Natural Language Requirements.

[BibT_eX]

[DOI]

Felice Dell'Orletta

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Context transformations for goal models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

Pragmatic ambiguity detection in natural language requirements.

[BibT_eX]

[DOI]

Giuseppe Lipari

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Deadlock Avoidance in Train Scheduling: A Model Checking Approach.

[BibT_eX]

[DOI]

Simone Della Longa

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Model-Based Development and Formal Methods in the Railway Industry.

[BibT_eX]

[DOI]

IEEE Softw., 2013

The Metrô Rio case study.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Mining commonalities and variabilities from natural language documents.

[BibT_eX]

[DOI]

Felice Dell'Orletta

Proceedings of the 17th International Software Product Line Conference, 2013

Using Clustering to Improve the Structure of Natural Language Requirements Documents.

[BibT_eX]

[DOI]

Gabriele Tolomei

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

2012

Model-Based Evaluation of the Availability of a CBTC System.

[BibT_eX]

[DOI]

Massimiliano Leone Itria

Silvano Chiaradonna

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

A clustering-based approach for discovering flaws in requirements specifications.

[BibT_eX]

[DOI]

Gabriele Tolomei

Proceedings of the ACM Symposium on Applied Computing, 2012

Automatic Analysis of Multimodal Requirements: A Research Preview.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Using collective intelligence to detect pragmatic ambiguities.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Lessons Learnt from the Adoption of Formal Model-Based Development.

[BibT_eX]

[DOI]

Alessandro Fantechi

Proceedings of the NASA Formal Methods, 2012

Product Line Engineering Applied to CBTC Systems Development.

[BibT_eX]

[DOI]

Giacomo Martelli

Simone Menabeni

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.

[BibT_eX]

[DOI]

Int. J. Embed. Real Time Commun. Syst., 2011

2010

An industrial application of formal model based development: the Metrô Rio ATP case.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Model Based Testing and Abstract Interpretation in the Railway Signaling Context.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Model Checking Interlocking Control Tables.

[BibT_eX]

[DOI]

Proceedings of the FORMS/FORMAT 2010, 2010

The Metrô Rio ATP Case Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

Modeling Guidelines for Code Generation in the Railway Signaling Context.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Formal Development for Railway Signaling Using Commercial Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Panel Discussion on Formal Methods in Commercial Software Development Tools.

[BibT_eX]

[DOI]

Alessandro Fantechi