Vincenzo Gervasi

92 papers A* 2A 9B 8C 6Misc 2Journal 36Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Deep learning framework for cardiorespiratory disease detection using smartphone IMU sensors. Comput. Biol. Medicine Lorenzo Simone, Luca Miglior, Vincenzo Gervasi, Luca Moroni, Emanuele Vignali, Emanuele Gasparotti, Simona Celi
2025	J	`jnl`	ECG synthesis for cardiac arrhythmias: Integrating self-supervised learning and generative adversarial networks. Artif. Intell. Medicine Lorenzo Simone, Davide Bacciu, Vincenzo Gervasi
2025	J	`jnl`	Evaluating LLM-Based Mobile App Recommendations: An Empirical Study. CoRR Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco
2025	—	`conf`	Interpretable Early Detection of Parkinson's Disease Through Speech Analysis. AIME (2) Lorenzo Simone, Mauro Giuseppe Camporeale, Vito Marco Rubino, Vincenzo Gervasi, Giovanni Dimauro
2025	J	`jnl`	Interpretable Early Detection of Parkinson's Disease through Speech Analysis. CoRR Lorenzo Simone, Mauro Giuseppe Camporeale, Vito Marco Rubino, Vincenzo Gervasi, Giovanni Dimauro
2024	C	`conf`	A Lean Reflective Abstract State Machine Definition. ABZ Egon Börger, Vincenzo Gervasi
2024	—	`conf`	A Vision for Operationalising Diversity and Inclusion in AI. RAIE@ICSE Muneera Bano, Didar Zowghi, Vincenzo Gervasi
2024	J	`jnl`	On the effectiveness of smartphone IMU sensors and Deep Learning in the detection of cardiorespiratory conditions. CoRR Lorenzo Simone, Luca Miglior, Vincenzo Gervasi, Luca Moroni, Emanuele Vignali, Emanuele Gasparotti, Simona Celi
2024	—	`conf`	Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-Based Models and Clinical Text. AIME (2) Lorenzo Simone, Davide Bacciu, Vincenzo Gervasi
2024	J	`jnl`	Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023). ACM SIGSOFT Softw. Eng. Notes Vincenzo Gervasi, Alessandro Marchetto, Maya Daneva
2024	—	`book`	Structures of Computing - A Guide to Practice-Oriented Theory Egon Börger, Vincenzo Gervasi
2024	B	`conf`	Unveiling Competition Dynamics in Mobile App Markets Through User Reviews. REFSQ Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco
2024	—	`conf`	Welcome to the 9th International Workshop on Empirical Requirements Engineering (EmpiRE 2024). RE Workshops Maya Daneva, Vincenzo Gervasi, Alessandro Marchetto, Davide Fucci, Smitha Ghaisas, Eric Knauss
2023	J	`jnl`	A Vision for Operationalising Diversity and Inclusion in AI. CoRR Muneera Bano, Didar Zowghi, Vincenzo Gervasi
2023	J	`jnl`	AI for All: Operationalising Diversity and Inclusion Requirements for AI Systems. CoRR Muneera Bano, Didar Zowghi, Vincenzo Gervasi, Rifat Ara Shams
2023	—	`conf`	An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG. ICDH Lorenzo Simone, Mauro Giuseppe Camporeale, Nunzia Lomonte, Giovanni Dimauro, Vincenzo Gervasi
2023	J	`jnl`	Introduction to the Special Section on the Best Papers from REFSQ 2022. Inf. Softw. Technol. Vincenzo Gervasi, Andreas Vogelsang
2023	J	`jnl`	Unveiling Competition Dynamics in Mobile App Markets through User Reviews. CoRR Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco
2023	—	`conf`	Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023). REW Alessandro Marchetto, Vincenzo Gervasi, Maya Daneva
2022	B	`ed.`	Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings REFSQ Vincenzo Gervasi, Andreas Vogelsang
2020	—	`ed.`	Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020. REFSQ Workshops Mehrdad Sabetzadeh, Andreas Vogelsang, Sallam Abualhaija, Markus Borg, Fabiano Dalpiaz, Maya Daneva, Nelly Condori-Fernández, Xavier Franch, Davide Fucci, Vincenzo Gervasi, Eduard C. Groen, Renata S. S. Guizzardi, Andrea Herrmann, Jennifer Horkoff, Luisa Mich, Anna Perini, Angelo Susi
2020	—	`conf`	Preface: REFSQ 2020 Doctoral Symposium. REFSQ Workshops Maya Daneva, Vincenzo Gervasi
2019	—	`conf`	Ambiguity in Requirements Engineering: Towards a Unifying Framework. From Software Engineering to Formal Methods and Tools, and Back Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
2019	—	`conf`	Requirements Philology. REFSQ Workshops Vincenzo Gervasi
2019	A*	`conf`	Supporting analysts by dynamic extraction and classification of requirements-related knowledge. ICSE Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far
2018	A	`conf`	Dynamic Visual Analytics for Elicitation Meetings with ELICA. RE Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker
2018	J	`jnl`	Dynamic Visual Analytics for Elicitation Meetings with ELICA. CoRR Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker
2018	—	`conf`	ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. AIRE@RE Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker
2018	J	`jnl`	ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. CoRR Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker
2017	J	`jnl`	Natural Language Requirements Processing: A 4D Vision. IEEE Softw. Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi
2016	J	`jnl`	Introduction to the special issue of best papers from RE2015 conference. Requir. Eng. Didar Zowghi, Vincenzo Gervasi
2016	Misc	`conf`	LOL: An Investigation into Cybernetic Humor, or: Can Machines Laugh?. FUN Davide Bacciu, Vincenzo Gervasi, Giuseppe Prencipe
2015	A	`ed.`	23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015 RE Didar Zowghi, Vincenzo Gervasi, Daniel Amyot
2015	—	`conf`	Automated Service Selection Using Natural Language Processing. APRES Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi
2014	J	`jnl`	Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2014	—	`ed.`	Joint Proceedings of REFSQ-2014 Workshops, Doctoral Symposium, Empirical Track, and Posters, co-located with the 20th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014), Essen, Germany, April 7-10, 2014. REFSQ Workshops Birgit Penzenstadler, Anne Persson, Andrea Herrmann, Maya Daneva, Jörg Dörr, Anne Hoffmann, Kurt Schneider, Axel Kalenborn, Marcus Trapp, Roel J. Wieringa, Daniel M. Berry, Xavier Franch, Jolita Ralyté, Krzysztof Wnuk, Vincenzo Gervasi
2014	J	`jnl`	Modeling web applications infrastructure with ASMs. Sci. Comput. Program. Vincenzo Gervasi, Egon Börger, Antonio Cisternino
2014	A	`conf`	Supporting traceability through affinity mining. RE Vincenzo Gervasi, Didar Zowghi
2014	—	`conf`	Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts. APRES Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi
2014	C	`conf`	WebASM: An Abstract State Machine Execution Environment for the Web. ABZ Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani
2014	Misc	`conf`	Zombie Swarms: An Investigation on the Behaviour of Your Undead Relatives. FUN Vincenzo Gervasi, Giuseppe Prencipe, Valerio Volpi
2013	C	`conf`	Conflict characterization and Analysis of Non Functional Requirements: An experimental approach. SoMeT Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi
2013	—	`ch.`	Unpacking Tacit Knowledge for Requirements Engineering. Managing Requirements Knowledge 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
2012	J	`jnl`	Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	C	`conf`	An ASM Model of Concurrency in a Web Browser. ABZ Vincenzo Gervasi
2012	C	`conf`	Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	B	`conf`	Contribution to a Rigorous Analysis of Web Application Frameworks. IFM Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	A	`conf`	Speculative requirements: Automatic detection of uncertainty in natural language requirements. RE Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
2011	J	`jnl`	Analysing anaphoric ambiguity in natural language requirements. Requir. Eng. Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
2011	B	`conf`	Mining Requirements Links. REFSQ Vincenzo Gervasi, Didar Zowghi
2011	J	`jnl`	Relevance-based abstraction identification: technique and evaluation. Requir. Eng. Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi
2011	A	`conf`	Unknown knowns: Tacit knowledge in requirements engineering. RE Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh
2010	A	`conf`	Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. RE Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh
2010	—	`conf`	Idea: Enforcing Consumer-Specified Security Properties for Modular Software. ESSoS Giacomo A. Galilei, Vincenzo Gervasi
2010	A	`conf`	On the Effectiveness of Abstraction Identification in Requirements Engineering. RE Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi
2010	B	`conf`	On the Role of Ambiguity in RE. REFSQ Vincenzo Gervasi, Didar Zowghi
2010	A	`conf`	Who Framed Roger User? Problem Frames as a User Interaction Design Tool. RE Vincenzo Gervasi
2009	—	`conf`	CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma
2009	—	`conf`	JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis Vincenzo Gervasi, Roozbeh Farahbod
2008	J	`jnl`	Editors' Introduction. Inf. Softw. Technol. Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties
2008	J	`jnl`	Special Section on Natural Language in Software Engineering. IET Softw. Peter Sawyer, Vincenzo Gervasi
2007	J	`jnl`	CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2007	B	`conf`	Optimal-Constraint Lexicons for Requirements Specifications. REFSQ Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
2007	—	`conf`	Software Manipulation with Annotations in Java. Lipari Summer School Vincenzo Gervasi, Giacomo A. Galilei
2006	J	`jnl`	On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. Vincenzo Ambriola, Vincenzo Gervasi
2005	J	`jnl`	A Linguistic-Engineering Approach to Large-Scale Requirements Management. IEEE Softw. Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell
2005	J	`jnl`	A high-level modular definition of the semantics of C#. Theor. Comput. Sci. Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
2005	—	`conf`	CoreASM: An Extensible ASM Execution Engine. Abstract State Machines Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
2005	J	`jnl`	Editorial. Comput. Syst. Sci. Eng. Didar Zowghi, Vincenzo Gervasi
2005	J	`jnl`	Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004). Requir. Eng. Björn Regnell, Erik Kamsties, Vincenzo Gervasi
2005	J	`jnl`	Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. Vincenzo Gervasi, Didar Zowghi
2004	J	`jnl`	Coordination without communication: the case of the flocking problem. Discret. Appl. Math. Vincenzo Gervasi, Giuseppe Prencipe
2004	J	`jnl`	Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Inf. Softw. Technol. Didar Zowghi, Vincenzo Gervasi
2004	J	`jnl`	Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009]. Inf. Softw. Technol. Didar Zowghi, Vincenzo Gervasi
2004	J	`jnl`	Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". Inf. Softw. Technol. Didar Zowghi, Vincenzo Gervasi
2004	J	`jnl`	Report on the First International Workshop on Comparative Evaluation in Requirements Engineering. ACM SIGSOFT Softw. Eng. Notes Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim
2004	A	`conf`	Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering. RE Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell
2003	J	`jnl`	On the interplay between consistency, completeness, and correctness in requirements evolution. Inf. Softw. Technol. Didar Zowghi, Vincenzo Gervasi
2003	B	`conf`	Robotic cops: the intruder problem. SMC Vincenzo Gervasi, Giuseppe Prencipe
2002	J	`jnl`	Lightweight validation of natural language requirements. Softw. Pract. Exp. Vincenzo Gervasi, Bashar Nuseibeh
2001	C	`conf`	Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC Didar Zowghi, Vincenzo Gervasi, Andrew McRae
2000	J	`jnl`	A Logical Approach to Cooperative Information Systems. J. Log. Program. Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
2000	—	`conf`	Lightweight Validation of Natural Language Requirements: A Case Study. ICRE Vincenzo Gervasi, Bashar Nuseibeh
2000	—	`conf`	Process Metrics for Requirements Analysis. EWSPT Vincenzo Ambriola, Vincenzo Gervasi
1998	—	`conf`	Active-U-Datalog: Integrating Active Rules in a Logical Update Language. Transactions and Change in Logic Databases Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
1998	B	`conf`	On Linguistic Quality of Natural Language Requirements. REFSQ Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri
1998	—	`conf`	Representing structural requirements in software architecture. Systems Implementation 2000 Vincenzo Ambriola, Vincenzo Gervasi
1998	—	`conf`	The Case for Cooperative Requirement Writing. ECOOP Workshops Vincenzo Ambriola, Vincenzo Gervasi
1997	—	`conf`	An environment for cooperative construction of natural-language requirement bases. SEE Vincenzo Ambriola, Vincenzo Gervasi
1997	—	`conf`	Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE Vincenzo Gervasi, Alessandra Raffaetà
1997	A*	`conf`	Processing Natural Language Requirements. ASE Vincenzo Ambriola, Vincenzo Gervasi
1994	—	`conf`	Applying a Metric Framework to the Software Process: an Experiment. EWSPT Vincenzo Ambriola, R. di Meglio, Vincenzo Gervasi, B. Mercurio