Vincenzo Gervasi

	2012
44		Egon Börger, Antonio Cisternino, Vincenzo Gervasi: Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78(3): 939-959 (2012)
	2011
43		Pete Sawyer, Vincenzo Gervasi, Bashar Nuseibeh: Unknown knowns: Tacit knowledge in requirements engineering. RE 2011: 329
42		Vincenzo Gervasi, Didar Zowghi: Mining Requirements Links. REFSQ 2011: 196-201
41		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)
40		Ricardo Gacitua, Peter Sawyer, Vincenzo Gervasi: Relevance-based abstraction identification: technique and evaluation. Requir. Eng. 16(3): 251-265 (2011)
	2010
39		Giacomo A. Galilei, Vincenzo Gervasi: Idea: Enforcing Consumer-Specified Security Properties for Modular Software. ESSoS 2010: 182-191
38		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
37		Vincenzo Gervasi: Who Framed Roger User? Problem Frames as a User Interaction Design Tool. RE 2010: 377-378
36		Ricardo Gacitua, Peter Sawyer, Vincenzo Gervasi: On the Effectiveness of Abstraction Identification in Requirements Engineering. RE 2010: 5-14
35		Vincenzo Gervasi, Didar Zowghi: On the Role of Ambiguity in RE. REFSQ 2010: 248-254
	2009
34		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma: CoreASM Plug-In Architecture. Rigorous Methods for Software Construction and Analysis 2009: 147-169
33		Vincenzo Gervasi, Roozbeh Farahbod: JASMine: Accessing Java Code from CoreASM. Rigorous Methods for Software Construction and Analysis 2009: 170-186
	2008
32		Peter Sawyer, Vincenzo Gervasi: Special Section on Natural Language in Software Engineering. IET Software 2(1): 1-2 (2008)
31		Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties: Editors' Introduction. Information & Software Technology 50(1-2): 51-52 (2008)
	2007
30		Vincenzo Gervasi, Giacomo A. Galilei: Software Manipulation with Annotations in Java. Lipari Summer School 2007: 161-184
29		Stephen Boyd, Didar Zowghi, Vincenzo Gervasi: Optimal-Constraint Lexicons for Requirements Specifications. REFSQ 2007: 203-217
28		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
	2006
27		Vincenzo Ambriola, Vincenzo Gervasi: On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006)
	2005
26		Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
25		Vincenzo Gervasi, Didar Zowghi: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14(3): 277-330 (2005)
24		Didar Zowghi, Vincenzo Gervasi: Editorial. Comput. Syst. Sci. Eng. 20(1): (2005)
23		Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell: A Linguistic-Engineering Approach to Large-Scale Requirements Management. IEEE Software 22(1): 32-39 (2005)
22		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)
21		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)
	2004
20		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
19		Vincenzo Gervasi, Didar Zowghi, Steve M. Easterbrook, Susan Elliott Sim: Report on the First International Workshop on Comparative Evaluation in Requirements Engineering. ACM SIGSOFT Software Engineering Notes 29(2): 1-4 (2004)
18		Vincenzo Gervasi, Giuseppe Prencipe: Coordination without communication: the case of the flocking problem. Discrete Applied Mathematics 144(3): 324-344 (2004)
17		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]. Information & Software Technology 46(1): 75 (2004)
16		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]. Information & Software Technology 46(11): 761 (2004)
15		Didar Zowghi, Vincenzo Gervasi: Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution". Information & Software Technology 46(11): 763-779 (2004)
	2003
14		Didar Zowghi, Vincenzo Gervasi: On the interplay between consistency, completeness, and correctness in requirements evolution. Information & Software Technology 45(14): 993-1009 (2003)
	2002
13		Vincenzo Gervasi, Bashar Nuseibeh: Lightweight validation of natural language requirements. Softw., Pract. Exper. 32(2): 113-133 (2002)
	2001
12		Didar Zowghi, Vincenzo Gervasi, Andrew McRae: Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133-
	2000
11		Vincenzo Ambriola, Vincenzo Gervasi: Process Metrics for Requirements Analysis. EWSPT 2000: 90-95
10		Vincenzo Gervasi, Bashar Nuseibeh: Lightweight Validation of Natural Language Requirements: A Case Study. ICRE 2000: 140-149
9		Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà: A Logical Approach to Cooperative Information Systems. J. Log. Program. 43(1): 15-48 (2000)
	1998
8		Vincenzo Ambriola, Vincenzo Gervasi: The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479
7		Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri: On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62
6		Vincenzo Ambriola, Vincenzo Gervasi: Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127
5		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
	1997
4		Vincenzo Gervasi, Alessandra Raffaetà: Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE 1997: 117-128
3		Vincenzo Ambriola, Vincenzo Gervasi: Processing Natural Language Requirements. ASE 1997: 36-45
2		Vincenzo Ambriola, Vincenzo Gervasi: An environment for cooperative construction of natural-language requirement bases. SEE 1997: 124-130
	1994
1		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

1	Vincenzo Ambriola	[1] [2] [3] [6] [8] [11] [27]
2	Elisa Bertino	[5] [9]
3	Egon Börger	[21] [44]
4	Stephen Boyd	[29]
5	Sjaak Brinkkemper	[20] [23]
6	Barbara Catania	[5] [9]
7	Antonio Cisternino	[44]
8	Johan Natt och Dag	[20] [23]
9	Steve M. Easterbrook	[19]
10	Fabrizio Fabbrini	[7]
11	Roozbeh Farahbod	[26] [28] [33] [34]
12	Nicu G. Fruja	[21]
13	Mario Fusani	[7]
14	Ricardo Gacitua	[36] [40]
15	Giacomo A. Galilei	[30] [39]
16	Uwe Glässer	[26] [28] [34]
17	Stefania Gnesi	[7]
18	Erik Kamsties	[22] [31]
19	George Ma	[34]
20	Andrew McRae	[12]
21	R. Di Meglio	[1]
22	B. Mercurio	[1]
23	Bashar Nuseibeh	[10] [13] [38] [41] [43]
24	Barbara Paech	[31]
25	Giuseppe Prencipe	[18]
26	Alessandra Raffaetà	[4] [5] [9]
27	Björn Regnell	[20] [22] [23]
28	Anne N. De Roeck	[38] [41]
29	Salvatore Ruggieri	[7]
30	Peter Sawyer (Pete Sawyer)	[31] [32] [36] [40] [43]
31	Susan Elliott Sim	[19]
32	Robert F. Stärk	[21]
33	Alistair Willis	[38] [41]
34	Hui Yang	[38] [41]
35	Didar Zowghi	[12] [14] [15] [16] [17] [19] [24] [25] [29] [35] [42]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page