Vincenzo Gervasi

According to our database, Vincenzo Gervasi authored at least 72 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023).

Vincenzo Gervasi, Alessandro Marchetto, Maya Daneva

ACM SIGSOFT Softw. Eng. Notes, January, 2024

Unveiling Competition Dynamics in Mobile App Markets Through User Reviews.

Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco

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

Structures of Computing - A Guide to Practice-Oriented Theory

Egon Börger, Vincenzo Gervasi

Springer, ISBN: 978-3-031-54357-9, 2024

2023

Introduction to the Special Section on the Best Papers from REFSQ 2022.

Vincenzo Gervasi, Andreas Vogelsang

Inf. Softw. Technol., 2023

A Vision for Operationalising Diversity and Inclusion in AI.

Muneera Bano, Didar Zowghi, Vincenzo Gervasi

CoRR, 2023

AI for All: Operationalising Diversity and Inclusion Requirements for AI Systems.

Muneera Bano, Didar Zowghi, Vincenzo Gervasi, Rifat Ara Shams

CoRR, 2023

Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023).

Alessandro Marchetto, Vincenzo Gervasi, Maya Daneva

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

An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG.

Lorenzo Simone, Mauro Giuseppe Camporeale, Nunzia Lomonte, Giovanni Dimauro, Vincenzo Gervasi

Proceedings of the IEEE International Conference on Digital Health, 2023

2020

Preface: REFSQ 2020 Doctoral Symposium.

Maya Daneva, Vincenzo Gervasi

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

2019

Requirements Philology.

Vincenzo Gervasi

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

Supporting analysts by dynamic extraction and classification of requirements-related knowledge.

Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far

Proceedings of the 41st International Conference on Software Engineering, 2019

Ambiguity in Requirements Engineering: Towards a Unifying Framework.

Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini

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

2018

Dynamic Visual Analytics for Elicitation Meetings with ELICA.

Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker

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

ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information.

Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker

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

2017

Natural Language Requirements Processing: A 4D Vision.

Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi

IEEE Softw., 2017

2016

Introduction to the special issue of best papers from RE2015 conference.

Didar Zowghi, Vincenzo Gervasi

Requir. Eng., 2016

LOL: An Investigation into Cybernetic Humor, or: Can Machines Laugh?.

Davide Bacciu, Vincenzo Gervasi, Giuseppe Prencipe

Proceedings of the 8th International Conference on Fun with Algorithms, 2016

2015

Automated Service Selection Using Natural Language Processing.

Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi

Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014

Modeling web applications infrastructure with ASMs.

Vincenzo Gervasi, Egon Börger, Antonio Cisternino

Sci. Comput. Program., 2014

Executable formal specifications of complex distributed systems with CoreASM.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer

Sci. Comput. Program., 2014

Supporting traceability through affinity mining.

Vincenzo Gervasi, Didar Zowghi

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Zombie Swarms: An Investigation on the Behaviour of Your Undead Relatives.

Vincenzo Gervasi, Giuseppe Prencipe, Valerio Volpi

Proceedings of the Fun with Algorithms - 7th International Conference, 2014

WebASM: An Abstract State Machine Execution Environment for the Web.

Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts.

Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi

Proceedings of the Requirements Engineering, 2014

2013

Conflict characterization and Analysis of Non Functional Requirements: An experimental approach.

Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Unpacking Tacit Knowledge for Requirements Engineering.

Vincenzo Gervasi, Ricardo Gacitúa, Mark Rouncefield, Peter Sawyer, Leonid Kof, Lin Ma, Paul Piwek, Anne N. De Roeck, Alistair Willis, H. Yang, Bashar Nuseibeh

Proceedings of the Managing Requirements Knowledge., 2013

2012

Ambient Abstract State Machines with applications.

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

J. Comput. Syst. Sci., 2012

Speculative requirements: Automatic detection of uncertainty in natural language requirements.

Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh

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

An ASM Model of Concurrency in a Web Browser.

Vincenzo Gervasi

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Contribution to a Rigorous Analysis of Web Application Frameworks.

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Analysing anaphoric ambiguity in natural language requirements.

Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh

Requir. Eng., 2011

Relevance-based abstraction identification: technique and evaluation.

Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi

Requir. Eng., 2011

Mining Requirements Links.

Vincenzo Gervasi, Didar Zowghi

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

Unknown knowns: Tacit knowledge in requirements engineering.

Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

2010

On the Role of Ambiguity in RE.

Vincenzo Gervasi, Didar Zowghi

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

Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements.

Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Who Framed Roger User? Problem Frames as a User Interaction Design Tool.

Vincenzo Gervasi

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

On the Effectiveness of Abstraction Identification in Requirements Engineering.

Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Idea: Enforcing Consumer-Specified Security Properties for Modular Software.

Giacomo A. Galilei, Vincenzo Gervasi

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

JASMine: Accessing Java Code from CoreASM.

Vincenzo Gervasi, Roozbeh Farahbod

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

CoreASM Plug-In Architecture.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Editors' Introduction.

Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties

Inf. Softw. Technol., 2008

Special Section on Natural Language in Software Engineering.

Peter Sawyer, Vincenzo Gervasi

IET Softw., 2008

2007

CoreASM: An Extensible ASM Execution Engine.

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer

Fundam. Informaticae, 2007

Optimal-Constraint Lexicons for Requirements Specifications.

Stephen Boyd, Didar Zowghi, Vincenzo Gervasi

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

Software Manipulation with Annotations in Java.

Vincenzo Gervasi, Giacomo A. Galilei

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

2006

On the Systematic Analysis of Natural Language Requirements with C.

Vincenzo Ambriola, Vincenzo Gervasi

Autom. Softw. Eng., 2006

2005

Reasoning about inconsistencies in natural language requirements.

Vincenzo Gervasi, Didar Zowghi

ACM Trans. Softw. Eng. Methodol., 2005

A high-level modular definition of the semantics of C#.

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk

Theor. Comput. Sci., 2005

A Linguistic-Engineering Approach to Large-Scale Requirements Management.

Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell

IEEE Softw., 2005

Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004).

Björn Regnell, Erik Kamsties, Vincenzo Gervasi

Requir. Eng., 2005

Editorial.

Didar Zowghi, Vincenzo Gervasi

Comput. Syst. Sci. Eng., 2005

2004

Report on the First International Workshop on Comparative Evaluation in Requirements Engineering.

Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim

ACM SIGSOFT Softw. Eng. Notes, 2004

Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution".

Didar Zowghi, Vincenzo Gervasi

Inf. Softw. Technol., 2004

Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009].

Didar Zowghi, Vincenzo Gervasi

Inf. Softw. Technol., 2004

Coordination without communication: the case of the flocking problem.

Vincenzo Gervasi, Giuseppe Prencipe

Discret. Appl. Math., 2004

Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering.

Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003

On the interplay between consistency, completeness, and correctness in requirements evolution.

Didar Zowghi, Vincenzo Gervasi

Inf. Softw. Technol., 2003

Robotic cops: the intruder problem.

Vincenzo Gervasi, Giuseppe Prencipe

Proceedings of the IEEE International Conference on Systems, 2003

2002

Lightweight validation of natural language requirements.

Vincenzo Gervasi, Bashar Nuseibeh

Softw. Pract. Exp., 2002

2001

Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.

Didar Zowghi, Vincenzo Gervasi, Andrew McRae

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

A Logical Approach to Cooperative Information Systems.

Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà

J. Log. Program., 2000

Lightweight Validation of Natural Language Requirements: A Case Study.

Vincenzo Gervasi, Bashar Nuseibeh

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Process Metrics for Requirements Analysis.

Vincenzo Ambriola, Vincenzo Gervasi

Proceedings of the Software Process Technology, 7th European Workshop, 2000

1998

On Linguistic Quality of Natural Language Requirements.

Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri

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

Representing structural requirements in software architecture.

Vincenzo Ambriola, Vincenzo Gervasi

Proceedings of the Systems Implementation 2000, 1998

The Case for Cooperative Requirement Writing.

Vincenzo Ambriola, Vincenzo Gervasi

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

Active-U-Datalog: Integrating Active Rules in a Logical Update Language.

Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà

Proceedings of the Transactions and Change in Logic Databases, 1998

1997

An environment for cooperative construction of natural-language requirement bases.

Vincenzo Ambriola, Vincenzo Gervasi

Proceedings of the 8th Conference on Software Engineering Environments, 1997

Processing Natural Language Requirements.

Vincenzo Ambriola, Vincenzo Gervasi

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Integrating Active Rules in U-Datalog.

Vincenzo Gervasi, Alessandra Raffaetà

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1994

Applying a Metric Framework to the Software Process: an Experiment.

Vincenzo Ambriola, R. di Meglio, Vincenzo Gervasi, B. Mercurio

Proceedings of the Software Process Technology, Third European Workshop, 1994