Vincenzo Gervasi

2008
29	EE	Vincenzo Gervasi, Peter Sawyer, Barbara Paech, Erik Kamsties: Editors' Introduction. Information & Software Technology 50(1-2): 51-52 (2008)
2007
28	EE	Vincenzo Gervasi, Giacomo A. Galilei: Software Manipulation with Annotations in Java. Lipari Summer School 2007: 161-184
27	EE	Stephen Boyd, Didar Zowghi, Vincenzo Gervasi: Optimal-Constraint Lexicons for Requirements Specifications. REFSQ 2007: 203-217
26	EE	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77(1-2): 71-103 (2007)
2006
25	EE	Vincenzo Ambriola, Vincenzo Gervasi: On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006)
2005
24	EE	Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer: CoreASM: An Extensible ASM Execution Engine. Abstract State Machines 2005: 153-166
23	EE	Vincenzo Gervasi, Didar Zowghi: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14(3): 277-330 (2005)
22		Didar Zowghi, Vincenzo Gervasi: Editorial. Comput. Syst. Sci. Eng. 20(1): (2005)
21	EE	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)
20	EE	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)
19	EE	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
18	EE	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
17	EE	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)
16	EE	Vincenzo Gervasi, Giuseppe Prencipe: Coordination without communication: the case of the flocking problem. Discrete Applied Mathematics 144(3): 324-344 (2004)
15	EE	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)
14	EE	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)
13	EE	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
12	EE	Didar Zowghi, Vincenzo Gervasi: On the interplay between consistency, completeness, and correctness in requirements evolution. Information & Software Technology 45(14): 993-1009 (2003)
2002
11		Vincenzo Gervasi, Bashar Nuseibeh: Lightweight validation of natural language requirements. Softw., Pract. Exper. 32(2): 113-133 (2002)
2001
10	EE	Didar Zowghi, Vincenzo Gervasi, Andrew McRae: Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. APSEC 2001: 133-
2000
9		Vincenzo Ambriola, Vincenzo Gervasi: Process Metrics for Requirements Analysis. EWSPT 2000: 90-95
8	EE	Vincenzo Gervasi, Bashar Nuseibeh: Lightweight Validation of Natural Language Requirements: A Case Study. ICRE 2000: 140-149
7		Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà: A Logical Approach to Cooperative Information Systems. J. Log. Program. 43(1): 15-48 (2000)
1998
6	EE	Vincenzo Ambriola, Vincenzo Gervasi: The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479
5		Vincenzo Ambriola, Vincenzo Gervasi: Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127
4	EE	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
3		Vincenzo Gervasi, Alessandra Raffaetà: Integrating Active Rules in U-Datalog. APPIA-GULP-PRODE 1997: 117-128
2	EE	Vincenzo Ambriola, Vincenzo Gervasi: Processing Natural Language Requirements. ASE 1997: 36-45
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] [5] [6] [9] [25]
2	Elisa Bertino	[4] [7]
3	Egon Börger	[19]
4	Stephen Boyd	[27]
5	Sjaak Brinkkemper	[18] [21]
6	Barbara Catania	[4] [7]
7	Johan Natt och Dag	[18] [21]
8	Steve M. Easterbrook	[17]
9	Roozbeh Farahbod	[24] [26]
10	Nicu G. Fruja	[19]
11	Giacomo A. Galilei	[28]
12	Uwe Glässer	[24] [26]
13	Erik Kamsties	[20] [29]
14	Andrew McRae	[10]
15	R. Di Meglio	[1]
16	B. Mercurio	[1]
17	Bashar Nuseibeh	[8] [11]
18	Barbara Paech	[29]
19	Giuseppe Prencipe	[16]
20	Alessandra Raffaetà	[3] [4] [7]
21	Björn Regnell	[18] [20] [21]
22	Peter Sawyer	[29]
23	Susan Elliott Sim	[17]
24	Robert F. Stärk	[19]
25	Didar Zowghi	[10] [12] [13] [14] [15] [17] [22] [23] [27]

Colors in the list of coauthors