Alessio Ferrari

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