Applying a Metric Framework to the Software Process: an Experiment. - Vincenzo Ambriola; R. di Meglio; Vincenzo Gervasi; B. Mercurio (EWSPT, 1994)

Integrating Active Rules in U-Datalog. - Vincenzo Gervasi; Alessandra Raffaetà (APPIA-GULP-PRODE, 1997)

Processing Natural Language Requirements. - Vincenzo Ambriola; Vincenzo Gervasi (ASE, 1997)

An environment for cooperative construction of natural-language requirement bases. - Vincenzo Ambriola; Vincenzo Gervasi (SEE, 1997)

Active-U-Datalog: Integrating Active Rules in a Logical Update Language. - Elisa Bertino; Barbara Catania; Vincenzo Gervasi; Alessandra Raffaetà (Transactions and Change in Logic Databases, 1998)

The Case for Cooperative Requirement Writing. - Vincenzo Ambriola; Vincenzo Gervasi (ECOOP Workshops, 1998)

Representing structural requirements in software architecture. - Vincenzo Ambriola; Vincenzo Gervasi (Systems Implementation 2000, 1998)

On Linguistic Quality of Natural Language Requirements. - Fabrizio Fabbrini; Mario Fusani; Vincenzo Gervasi; Stefania Gnesi; Salvatore Ruggieri (REFSQ, 1998)

Process Metrics for Requirements Analysis. - Vincenzo Ambriola; Vincenzo Gervasi (EWSPT, 2000)

Lightweight Validation of Natural Language Requirements: A Case Study. - Vincenzo Gervasi; Bashar Nuseibeh (ICRE, 2000)

A Logical Approach to Cooperative Information Systems. - Elisa Bertino; Barbara Catania; Vincenzo Gervasi; Alessandra Raffaetà (J. Log. Program., 2000)

Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. - Didar Zowghi; Vincenzo Gervasi; Andrew McRae (APSEC, 2001)

Lightweight validation of natural language requirements. - Vincenzo Gervasi; Bashar Nuseibeh (Softw. Pract. Exp., 2002)

Robotic cops: the intruder problem. - Vincenzo Gervasi; Giuseppe Prencipe (SMC, 2003)

On the interplay between consistency, completeness, and correctness in requirements evolution. - Didar Zowghi; Vincenzo Gervasi (Inf. Softw. Technol., 2003)

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 (RE, 2004)

Coordination without communication: the case of the flocking problem. - Vincenzo Gervasi; Giuseppe Prencipe (Discret. Appl. Math., 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)

Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". - Didar Zowghi; Vincenzo Gervasi (Inf. Softw. Technol., 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)

Editorial. - Didar Zowghi; Vincenzo Gervasi (Comput. Syst. Sci. Eng., 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)

A Linguistic-Engineering Approach to Large-Scale Requirements Management. - Johan Natt och Dag; Vincenzo Gervasi; Sjaak Brinkkemper; Björn Regnell (IEEE Softw., 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)

Reasoning about inconsistencies in natural language requirements. - Vincenzo Gervasi; Didar Zowghi (ACM Trans. Softw. Eng. Methodol., 2005)

On the Systematic Analysis of Natural Language Requirements with C. - Vincenzo Ambriola; Vincenzo Gervasi (Autom. Softw. Eng., 2006)

Software Manipulation with Annotations in Java. - Vincenzo Gervasi; Giacomo A. Galilei (Lipari Summer School, 2007)

Optimal-Constraint Lexicons for Requirements Specifications. - Stephen Boyd 001; Didar Zowghi; Vincenzo Gervasi (REFSQ, 2007)

CoreASM: An Extensible ASM Execution Engine. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Fundam. Informaticae, 2007)

Special Section on Natural Language in Software Engineering. - Peter Sawyer; Vincenzo Gervasi (IET Softw., 2008)

Editors' Introduction. - Vincenzo Gervasi; Peter Sawyer; Barbara Paech; Erik Kamsties (Inf. Softw. Technol., 2008)

CoreASM Plug-In Architecture. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer; George Ma (Rigorous Methods for Software Construction and Analysis, 2009)

JASMine: Accessing Java Code from CoreASM. - Vincenzo Gervasi; Roozbeh Farahbod (Rigorous Methods for Software Construction and Analysis, 2009)

Idea: Enforcing Consumer-Specified Security Properties for Modular Software. - Giacomo A. Galilei; Vincenzo Gervasi (ESSoS, 2010)

On the Effectiveness of Abstraction Identification in Requirements Engineering. - Ricardo Gacitúa; Peter Sawyer; Vincenzo Gervasi (RE, 2010)

Who Framed Roger User? Problem Frames as a User Interaction Design Tool. - Vincenzo Gervasi (RE, 2010)

Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. - Hui Yang 004; Anne N. De Roeck; Vincenzo Gervasi; Alistair Willis; Bashar Nuseibeh (RE, 2010)

On the Role of Ambiguity in RE. - Vincenzo Gervasi; Didar Zowghi (REFSQ, 2010)

Unknown knowns: Tacit knowledge in requirements engineering. - Pete Sawyer; Vincenzo Gervasi; Bashar Nuseibeh (RE, 2011)

Mining Requirements Links. - Vincenzo Gervasi; Didar Zowghi (REFSQ, 2011)

Relevance-based abstraction identification: technique and evaluation. - Ricardo Gacitúa; Peter Sawyer; Vincenzo Gervasi (Requir. Eng., 2011)

Analysing anaphoric ambiguity in natural language requirements. - Hui Yang 004; Anne N. De Roeck; Vincenzo Gervasi; Alistair Willis; Bashar Nuseibeh (Requir. Eng., 2011)

An ASM Model of Concurrency in a Web Browser. - Vincenzo Gervasi (ABZ, 2012)

Contribution to a Rigorous Analysis of Web Application Frameworks. - Egon Börger; Antonio Cisternino; Vincenzo Gervasi (IFM, 2012)

Speculative requirements: Automatic detection of uncertainty in natural language requirements. - Hui Yang 004; Anne N. De Roeck; Vincenzo Gervasi; Alistair Willis; Bashar Nuseibeh (RE, 2012)

Ambient Abstract State Machines with applications. - Egon Börger; Antonio Cisternino; Vincenzo Gervasi (J. Comput. Syst. Sci., 2012)

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 (Managing Requirements Knowledge, 2013)

Conflict characterization and Analysis of Non Functional Requirements: An experimental approach. - Dewi Mairiza; Didar Zowghi; Vincenzo Gervasi (SoMeT, 2013)

Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts. - Dewi Mairiza; Didar Zowghi; Vincenzo Gervasi (APRES, 2014)

WebASM: An Abstract State Machine Execution Environment for the Web. - Simone Zenzaro; Vincenzo Gervasi; Jacopo Soldani (ABZ, 2014)

Zombie Swarms: An Investigation on the Behaviour of Your Undead Relatives. - Vincenzo Gervasi; Giuseppe Prencipe; Valerio Volpi (FUN, 2014)

Supporting traceability through affinity mining. - Vincenzo Gervasi; Didar Zowghi (RE, 2014)

Executable formal specifications of complex distributed systems with CoreASM. - Roozbeh Farahbod; Vincenzo Gervasi; Uwe Glässer (Sci. Comput. Program., 2014)

Modeling web applications infrastructure with ASMs. - Vincenzo Gervasi; Egon Börger; Antonio Cisternino (Sci. Comput. Program., 2014)

Automated Service Selection Using Natural Language Processing. - Muneera Bano; Alessio Ferrari 001; Didar Zowghi; Vincenzo Gervasi; Stefania Gnesi (APRES, 2015)

LOL: An Investigation into Cybernetic Humor, or: Can Machines Laugh?. - Davide Bacciu; Vincenzo Gervasi; Giuseppe Prencipe (FUN, 2016)

Introduction to the special issue of best papers from RE2015 conference. - Didar Zowghi; Vincenzo Gervasi (Requir. Eng., 2016)

Natural Language Requirements Processing: A 4D Vision. - Alessio Ferrari 001; Felice Dell'Orletta; Andrea Esuli; Vincenzo Gervasi; Stefania Gnesi (IEEE Softw., 2017)

ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. - Zahra Shakeri Hossein Abad; Vincenzo Gervasi; Didar Zowghi; Ken Barker 001 (AIRE@RE, 2018)

Dynamic Visual Analytics for Elicitation Meetings with ELICA. - Zahra Shakeri Hossein Abad; Munib Rahman; Abdullah Cheema; Vincenzo Gervasi; Didar Zowghi; Ken Barker 001 (RE, 2018)

Ambiguity in Requirements Engineering: Towards a Unifying Framework. - Vincenzo Gervasi; Alessio Ferrari 001; Didar Zowghi; Paola Spoletini (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Supporting analysts by dynamic extraction and classification of requirements-related knowledge. - Zahra Shakeri Hossein Abad; Vincenzo Gervasi; Didar Zowghi; Behrouz H. Far (ICSE, 2019)

Requirements Philology. - Vincenzo Gervasi (REFSQ Workshops, 2019)

Preface: REFSQ 2020 Doctoral Symposium. - Maya Daneva; Vincenzo Gervasi (REFSQ Workshops, 2020)

An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG. - Lorenzo Simone; Mauro Giuseppe Camporeale; Nunzia Lomonte; Giovanni Dimauro; Vincenzo Gervasi (ICDH, 2023)

Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023). - Alessandro Marchetto 001; Vincenzo Gervasi; Maya Daneva (REW, 2023)

AI for All: Operationalising Diversity and Inclusion Requirements for AI Systems. - Muneera Bano; Didar Zowghi; Vincenzo Gervasi; Rifat Ara Shams (CoRR, 2023)

Introduction to the Special Section on the Best Papers from REFSQ 2022. - Vincenzo Gervasi; Andreas Vogelsang (Inf. Softw. Technol., 2023)

Structures of Computing - A Guide to Practice-Oriented Theory - Egon Börger; Vincenzo Gervasi (Springer, 2024)

Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-Based Models and Clinical Text. - Lorenzo Simone; Davide Bacciu; Vincenzo Gervasi (AIME (2), 2024)

A Vision for Operationalising Diversity and Inclusion in AI. - Muneera Bano; Didar Zowghi; Vincenzo Gervasi (RAIE@ICSE, 2024)

Welcome to the 9th International Workshop on Empirical Requirements Engineering (EmpiRE 2024). - Maya Daneva; Vincenzo Gervasi; Alessandro Marchetto 001; Davide Fucci; Smitha Ghaisas; Eric Knauss (RE Workshops, 2024)

Unveiling Competition Dynamics in Mobile App Markets Through User Reviews. - Quim Motger; Xavier Franch; Vincenzo Gervasi; Jordi Marco (REFSQ, 2024)

A Lean Reflective Abstract State Machine Definition. - Egon Börger; Vincenzo Gervasi (ABZ, 2024)

On the effectiveness of smartphone IMU sensors and Deep Learning in the detection of cardiorespiratory conditions. - Lorenzo Simone; Luca Miglior; Vincenzo Gervasi; Luca Moroni; Emanuele Vignali; Emanuele Gasparotti; Simona Celi (CoRR, 2024)

Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023). - Vincenzo Gervasi; Alessandro Marchetto 001; Maya Daneva (ACM SIGSOFT Softw. Eng. Notes, 2024)

Interpretable Early Detection of Parkinson's Disease Through Speech Analysis. - Lorenzo Simone; Mauro Giuseppe Camporeale; Vito Marco Rubino; Vincenzo Gervasi; Giovanni Dimauro (AIME (2), 2025)

ECG synthesis for cardiac arrhythmias: Integrating self-supervised learning and generative adversarial networks. - Lorenzo Simone; Davide Bacciu; Vincenzo Gervasi (Artif. Intell. Medicine, 2025)

Deep learning framework for cardiorespiratory disease detection using smartphone IMU sensors. - Lorenzo Simone; Luca Miglior; Vincenzo Gervasi; Luca Moroni; Emanuele Vignali; Emanuele Gasparotti; Simona Celi (Comput. Biol. Medicine, 2025)