Vincenzo Gervasi

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 19

Top Topics

Execution Environment

Natural Language

Requirements Engineering

Top Venues

Sci. Comput. Program.

Publications

Vincenzo Gervasi, Alessandro Marchetto, Maya Daneva
Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023). ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Muneera Bano, Didar Zowghi, Vincenzo Gervasi
A Vision for Operationalising Diversity and Inclusion in AI. CoRR (2023)
Vincenzo Gervasi, Andreas Vogelsang
Introduction to the Special Section on the Best Papers from REFSQ 2022. Inf. Softw. Technol. 161 (2023)
Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco
Unveiling Competition Dynamics in Mobile App Markets through User Reviews. CoRR (2023)
Muneera Bano, Didar Zowghi, Vincenzo Gervasi, Rifat Ara Shams
AI for All: Operationalising Diversity and Inclusion Requirements for AI Systems. CoRR (2023)
Lorenzo Simone, Mauro Giuseppe Camporeale, Nunzia Lomonte, Giovanni Dimauro, Vincenzo Gervasi
An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG. ICDH (2023)
Alessandro Marchetto, Vincenzo Gervasi, Maya Daneva
Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023). REW (2023)
Maya Daneva, Vincenzo Gervasi
Preface: REFSQ 2020 Doctoral Symposium. REFSQ Workshops (2020)
Vincenzo Gervasi
Requirements Philology. REFSQ Workshops (2019)
Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back (2019)
Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far
Supporting analysts by dynamic extraction and classification of requirements-related knowledge. ICSE (2019)
Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker
Dynamic Visual Analytics for Elicitation Meetings with ELICA. RE (2018)
Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. AIRE@RE (2018)
Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker
Dynamic Visual Analytics for Elicitation Meetings with ELICA. CoRR (2018)
Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. CoRR (2018)
Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi
Natural Language Requirements Processing: A 4D Vision. IEEE Softw. 34 (6) (2017)
Davide Bacciu, Vincenzo Gervasi, Giuseppe Prencipe
LOL: An Investigation into Cybernetic Humor, or: Can Machines Laugh?. FUN (2016)
Didar Zowghi, Vincenzo Gervasi
Introduction to the special issue of best papers from RE2015 conference. Requir. Eng. 21 (3) (2016)
Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi
Automated Service Selection Using Natural Language Processing. APRES (2015)
Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani
WebASM: An Abstract State Machine Execution Environment for the Web. ABZ (2014)
Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi
Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts. APRES (2014)
Vincenzo Gervasi, Egon Börger, Antonio Cisternino
Modeling web applications infrastructure with ASMs. Sci. Comput. Program. 94 (2014)
Vincenzo Gervasi, Giuseppe Prencipe, Valerio Volpi
Zombie Swarms: An Investigation on the Behaviour of Your Undead Relatives. FUN (2014)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. 79 (2014)
Vincenzo Gervasi, Didar Zowghi
Supporting traceability through affinity mining. RE (2014)
Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi
Conflict characterization and Analysis of Non Functional Requirements: An experimental approach. SoMeT (2013)
Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
Speculative requirements: Automatic detection of uncertainty in natural language requirements. RE (2012)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78 (3) (2012)
Vincenzo Gervasi
An ASM Model of Concurrency in a Web Browser. ABZ (2012)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ (2012)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Contribution to a Rigorous Analysis of Web Application Frameworks. IFM (2012)
Vincenzo Gervasi, Didar Zowghi
Mining Requirements Links. REFSQ (2011)
Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
Analysing anaphoric ambiguity in natural language requirements. Requir. Eng. 16 (3) (2011)
Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh
Unknown knowns: Tacit knowledge in requirements engineering. RE (2011)
Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi
Relevance-based abstraction identification: technique and evaluation. Requir. Eng. 16 (3) (2011)
Giacomo A. Galilei, Vincenzo Gervasi
Idea: Enforcing Consumer-Specified Security Properties for Modular Software. ESSoS (2010)
Vincenzo Gervasi, Didar Zowghi
On the Role of Ambiguity in RE. REFSQ (2010)
Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. RE (2010)
Vincenzo Gervasi
Who Framed Roger User? Problem Frames as a User Interaction Design Tool. RE (2010)
Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi
On the Effectiveness of Abstraction Identification in Requirements Engineering. RE (2010)
Vincenzo Gervasi, Roozbeh Farahbod
JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis (2009)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis (2009)
Peter Sawyer, Vincenzo Gervasi
Special Section on Natural Language in Software Engineering. IET Softw. 2 (1) (2008)
Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties
Editors' Introduction. Inf. Softw. Technol. 50 (1-2) (2008)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae 77 (1-2) (2007)
Vincenzo Gervasi, Giacomo A. Galilei
Software Manipulation with Annotations in Java. Lipari Summer School (2007)
Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
Optimal-Constraint Lexicons for Requirements Specifications. REFSQ (2007)
Vincenzo Ambriola, Vincenzo Gervasi
On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13 (1) (2006)
Björn Regnell, Erik Kamsties, Vincenzo Gervasi
Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004). Requir. Eng. 10 (4) (2005)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines (2005)
Didar Zowghi, Vincenzo Gervasi
Editorial. Comput. Syst. Sci. Eng. 20 (1) (2005)
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336 (2-3) (2005)
Vincenzo Gervasi, Didar Zowghi
Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14 (3) (2005)
Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell
A Linguistic-Engineering Approach to Large-Scale Requirements Management. IEEE Softw. 22 (1) (2005)
Didar Zowghi, Vincenzo Gervasi
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Inf. Softw. Technol. 46 (1) (2004)
Didar Zowghi, Vincenzo Gervasi
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Inf. Softw. Technol. 46 (11) (2004)
Didar Zowghi, Vincenzo Gervasi
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". Inf. Softw. Technol. 46 (11) (2004)
Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell
Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering. RE (2004)
Vincenzo Gervasi, Giuseppe Prencipe
Coordination without communication: the case of the flocking problem. Discret. Appl. Math. 144 (3) (2004)
Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim
Report on the First International Workshop on Comparative Evaluation in Requirements Engineering. ACM SIGSOFT Softw. Eng. Notes 29 (2) (2004)
Didar Zowghi, Vincenzo Gervasi
On the interplay between consistency, completeness, and correctness in requirements evolution. Inf. Softw. Technol. 45 (14) (2003)
Vincenzo Gervasi, Giuseppe Prencipe
Robotic cops: the intruder problem. SMC (2003)
Vincenzo Gervasi, Bashar Nuseibeh
Lightweight validation of natural language requirements. Softw. Pract. Exp. 32 (2) (2002)
Didar Zowghi, Vincenzo Gervasi, Andrew McRae
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC (2001)
Vincenzo Ambriola, Vincenzo Gervasi
Process Metrics for Requirements Analysis. EWSPT (2000)
Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
A Logical Approach to Cooperative Information Systems. J. Log. Program. 43 (1) (2000)
Vincenzo Gervasi, Bashar Nuseibeh
Lightweight Validation of Natural Language Requirements: A Case Study. ICRE (2000)
Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
Active-U-Datalog: Integrating Active Rules in a Logical Update Language. Transactions and Change in Logic Databases (1998)
Vincenzo Ambriola, Vincenzo Gervasi
Representing structural requirements in software architecture. Systems Implementation 2000 (1998)
Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri
On Linguistic Quality of Natural Language Requirements. REFSQ (1998)
Vincenzo Ambriola, Vincenzo Gervasi
The Case for Cooperative Requirement Writing. ECOOP Workshops (1998)
Vincenzo Gervasi, Alessandra Raffaetà
Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE (1997)
Vincenzo Ambriola, Vincenzo Gervasi
An environment for cooperative construction of natural-language requirement bases. SEE (1997)
Vincenzo Ambriola, Vincenzo Gervasi
Processing Natural Language Requirements. ASE (1997)
Vincenzo Ambriola, R. Di Meglio, Vincenzo Gervasi, B. Mercurio
Applying a Metric Framework to the Software Process: an Experiment. EWSPT (1994)