default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincenzo Gervasi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[b1]Egon Börger, Vincenzo Gervasi
:
Structures of Computing - A Guide to Practice-Oriented Theory. Springer 2024, ISBN 978-3-031-54357-9, pp. 1-281- [j26]Vincenzo Gervasi, Alessandro Marchetto, Maya Daneva:
Report of the 8th Workshop on Empirical RequirementsEngineering (EmpiRE 2023). ACM SIGSOFT Softw. Eng. Notes 49(1): 27-29 (2024) - [c49]Lorenzo Simone, Davide Bacciu, Vincenzo Gervasi:
Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-Based Models and Clinical Text. AIME (2) 2024: 249-253 - [c48]Muneera Bano, Didar Zowghi, Vincenzo Gervasi:
A Vision for Operationalising Diversity and Inclusion in AI. RAIE@ICSE 2024: 36-43 - [c47]Maya Daneva, Vincenzo Gervasi, Alessandro Marchetto, Davide Fucci, Smitha Ghaisas, Eric Knauss:
Welcome to the 9th International Workshop on Empirical Requirements Engineering (EmpiRE 2024). RE Workshops 2024: 108-109 - [c46]Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco:
Unveiling Competition Dynamics in Mobile App Markets Through User Reviews. REFSQ 2024: 251-266 - [c45]Egon Börger, Vincenzo Gervasi:
A Lean Reflective Abstract State Machine Definition. ABZ 2024: 99-104 - [i6]Lorenzo Simone, Luca Miglior, Vincenzo Gervasi, Luca Moroni, Emanuele Vignali, Emanuele Gasparotti, Simona Celi:
On the effectiveness of smartphone IMU sensors and Deep Learning in the detection of cardiorespiratory conditions. CoRR abs/2408.15357 (2024) - 2023
- [j25]Vincenzo Gervasi, Andreas Vogelsang:
Introduction to the Special Section on the Best Papers from REFSQ 2022. Inf. Softw. Technol. 161: 107262 (2023) - [c44]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: 234-239 - [c43]Alessandro Marchetto, Vincenzo Gervasi, Maya Daneva:
Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023). REW 2023: 136-137 - [i5]Muneera Bano, Didar Zowghi, Vincenzo Gervasi, Rifat Ara Shams:
AI for All: Operationalising Diversity and Inclusion Requirements for AI Systems. CoRR abs/2311.14695 (2023) - [i4]Quim Motger, Xavier Franch, Vincenzo Gervasi, Jordi Marco:
Unveiling Competition Dynamics in Mobile App Markets through User Reviews. CoRR abs/2312.01981 (2023) - [i3]Muneera Bano, Didar Zowghi, Vincenzo Gervasi:
A Vision for Operationalising Diversity and Inclusion in AI. CoRR abs/2312.06074 (2023) - 2022
- [e4]Vincenzo Gervasi, Andreas Vogelsang:
Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings. Lecture Notes in Computer Science 13216, Springer 2022, ISBN 978-3-030-98463-2 [contents] - 2020
- [c42]Maya Daneva, Vincenzo Gervasi:
Preface: REFSQ 2020 Doctoral Symposium. REFSQ Workshops 2020 - [e3]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:
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. CEUR Workshop Proceedings 2584, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [c41]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: 191-210 - [c40]Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Behrouz H. Far:
Supporting analysts by dynamic extraction and classification of requirements-related knowledge. ICSE 2019: 442-453 - [c39]Vincenzo Gervasi:
Requirements Philology. REFSQ Workshops 2019 - 2018
- [c38]Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker:
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. AIRE@RE 2018: 8-14 - [c37]Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker:
Dynamic Visual Analytics for Elicitation Meetings with ELICA. RE 2018: 492-493 - [i2]Zahra Shakeri Hossein Abad, Munib Rahman, Abdullah Cheema, Vincenzo Gervasi, Didar Zowghi, Ken Barker:
Dynamic Visual Analytics for Elicitation Meetings with ELICA. CoRR abs/1807.06076 (2018) - [i1]Zahra Shakeri Hossein Abad, Vincenzo Gervasi, Didar Zowghi, Ken Barker:
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information. CoRR abs/1808.05857 (2018) - 2017
- [j24]Alessio Ferrari, Felice Dell'Orletta, Andrea Esuli, Vincenzo Gervasi, Stefania Gnesi:
Natural Language Requirements Processing: A 4D Vision. IEEE Softw. 34(6): 28-35 (2017) - 2016
- [j23]Didar Zowghi, Vincenzo Gervasi:
Introduction to the special issue of best papers from RE2015 conference. Requir. Eng. 21(3): 309-310 (2016) - [c36]Davide Bacciu, Vincenzo Gervasi, Giuseppe Prencipe:
LOL: An Investigation into Cybernetic Humor, or: Can Machines Laugh?. FUN 2016: 3:1-3:15 - 2015
- [c35]Muneera Bano, Alessio Ferrari, Didar Zowghi, Vincenzo Gervasi, Stefania Gnesi:
Automated Service Selection Using Natural Language Processing. APRES 2015: 3-17 - [e2]Didar Zowghi, Vincenzo Gervasi, Daniel Amyot:
23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-6905-3 [contents] - 2014
- [j22]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
Executable formal specifications of complex distributed systems with CoreASM. Sci. Comput. Program. 79: 23-38 (2014) - [j21]Vincenzo Gervasi, Egon Börger, Antonio Cisternino:
Modeling web applications infrastructure with ASMs. Sci. Comput. Program. 94: 69-92 (2014) - [c34]Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi:
Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts. APRES 2014: 31-44 - [c33]Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani:
WebASM: An Abstract State Machine Execution Environment for the Web. ABZ 2014: 216-221 - [c32]Vincenzo Gervasi, Giuseppe Prencipe, Valerio Volpi:
Zombie Swarms: An Investigation on the Behaviour of Your Undead Relatives. FUN 2014: 206-217 - [c31]Vincenzo Gervasi, Didar Zowghi:
Supporting traceability through affinity mining. RE 2014: 143-152 - [e1]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:
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. CEUR Workshop Proceedings 1138, CEUR-WS.org 2014 [contents] - 2013
- [c30]Dewi Mairiza, Didar Zowghi, Vincenzo Gervasi:
Conflict characterization and Analysis of Non Functional Requirements: An experimental approach. SoMeT 2013: 83-91 - [p1]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:
Unpacking Tacit Knowledge for Requirements Engineering. Managing Requirements Knowledge 2013: 23-47 - 2012
- [j20]Egon Börger, Antonio Cisternino, Vincenzo Gervasi:
Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78(3): 939-959 (2012) - [c29]Egon Börger, Antonio Cisternino, Vincenzo Gervasi:
Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ 2012: 1-20 - [c28]Vincenzo Gervasi:
An ASM Model of Concurrency in a Web Browser. ABZ 2012: 79-93 - [c27]Egon Börger, Antonio Cisternino, Vincenzo Gervasi:
Contribution to a Rigorous Analysis of Web Application Frameworks. IFM 2012: 1-20 - [c26]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh:
Speculative requirements: Automatic detection of uncertainty in natural language requirements. RE 2012: 11-20 - 2011
- [j19]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh:
Analysing anaphoric ambiguity in natural language requirements. Requir. Eng. 16(3): 163-189 (2011) - [j18]Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi:
Relevance-based abstraction identification: technique and evaluation. Requir. Eng. 16(3): 251-265 (2011) - [c25]Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh:
Unknown knowns: Tacit knowledge in requirements engineering. RE 2011: 329 - [c24]Vincenzo Gervasi, Didar Zowghi:
Mining Requirements Links. REFSQ 2011: 196-201 - 2010
- [c23]Giacomo A. Galilei, Vincenzo Gervasi:
Idea: Enforcing Consumer-Specified Security Properties for Modular Software. ESSoS 2010: 182-191 - [c22]Ricardo Gacitúa, Peter Sawyer, Vincenzo Gervasi:
On the Effectiveness of Abstraction Identification in Requirements Engineering. RE 2010: 5-14 - [c21]Hui Yang, Anne N. De Roeck, Vincenzo Gervasi, Alistair Willis, Bashar Nuseibeh:
Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements. RE 2010: 25-34 - [c20]Vincenzo Gervasi:
Who Framed Roger User? Problem Frames as a User Interaction Design Tool. RE 2010: 377-378 - [c19]Vincenzo Gervasi, Didar Zowghi:
On the Role of Ambiguity in RE. REFSQ 2010: 248-254
2000 – 2009
- 2009
- [c18]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma:
CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169 - [c17]Vincenzo Gervasi, Roozbeh Farahbod:
JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis 2009: 170-186 - 2008
- [j17]Peter Sawyer, Vincenzo Gervasi:
Special Section on Natural Language in Software Engineering. IET Softw. 2(1): 1-2 (2008) - [j16]Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties:
Editors' Introduction. Inf. Softw. Technol. 50(1-2): 51-52 (2008) - 2007
- [j15]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine. Fundam. Informaticae 77(1-2): 71-103 (2007) - [c16]Vincenzo Gervasi, Giacomo A. Galilei:
Software Manipulation with Annotations in Java. Lipari Summer School 2007: 161-184 - [c15]Stephen Boyd, Didar Zowghi, Vincenzo Gervasi:
Optimal-Constraint Lexicons for Requirements Specifications. REFSQ 2007: 203-217 - 2006
- [j14]Vincenzo Ambriola, Vincenzo Gervasi:
On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006) - 2005
- [j13]Didar Zowghi, Vincenzo Gervasi:
Editorial. Comput. Syst. Sci. Eng. 20(1) (2005) - [j12]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): 243-246 (2005) - [j11]Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell:
A Linguistic-Engineering Approach to Large-Scale Requirements Management. IEEE Softw. 22(1): 32-39 (2005) - [j10]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): 235-284 (2005) - [j9]Vincenzo Gervasi, Didar Zowghi:
Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14(3): 277-330 (2005) - [c14]Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166 - 2004
- [j8]Vincenzo Gervasi, Giuseppe Prencipe:
Coordination without communication: the case of the flocking problem. Discret. Appl. Math. 144(3): 324-344 (2004) - [j7]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): 75 (2004) - [j6]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): 761 (2004) - [j5]Didar Zowghi, Vincenzo Gervasi:
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". Inf. Softw. Technol. 46(11): 763-779 (2004) - [j4]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): 1-4 (2004) - [c13]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: 283-294 - 2003
- [j3]Didar Zowghi, Vincenzo Gervasi:
On the interplay between consistency, completeness, and correctness in requirements evolution. Inf. Softw. Technol. 45(14): 993-1009 (2003) - [c12]Vincenzo Gervasi, Giuseppe Prencipe:
Robotic cops: the intruder problem. SMC 2003: 2284-2289 - 2002
- [j2]Vincenzo Gervasi, Bashar Nuseibeh:
Lightweight validation of natural language requirements. Softw. Pract. Exp. 32(2): 113-133 (2002) - 2001
- [c11]Didar Zowghi, Vincenzo Gervasi, Andrew McRae:
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133- - 2000
- [j1]Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà:
A Logical Approach to Cooperative Information Systems. J. Log. Program. 43(1): 15-48 (2000) - [c10]Vincenzo Ambriola, Vincenzo Gervasi:
Process Metrics for Requirements Analysis. EWSPT 2000: 90-95 - [c9]Vincenzo Gervasi, Bashar Nuseibeh:
Lightweight Validation of Natural Language Requirements: A Case Study. ICRE 2000: 140-149
1990 – 1999
- 1998
- [c8]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: 107-133 - [c7]Vincenzo Ambriola, Vincenzo Gervasi:
The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479 - [c6]Vincenzo Ambriola, Vincenzo Gervasi:
Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127 - [c5]Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri:
On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62 - 1997
- [c4]Vincenzo Gervasi, Alessandra Raffaetà:
Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE 1997: 117-128 - [c3]Vincenzo Ambriola, Vincenzo Gervasi:
Processing Natural Language Requirements. ASE 1997: 36-45 - [c2]Vincenzo Ambriola, Vincenzo Gervasi:
An environment for cooperative construction of natural-language requirement bases. SEE 1997: 124-130 - 1994
- [c1]Vincenzo Ambriola, R. di Meglio, Vincenzo Gervasi, B. Mercurio:
Applying a Metric Framework to the Software Process: an Experiment. EWSPT 1994: 207-226
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
