Gerardo Schneider

	2009
33		Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96
32		Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117
31		Cristian Prisacariu, Gerardo Schneider: Abstract specification of legal contracts. ICAIL 2009: 218-219
30		Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214
29		Hallstein Asheim Hansen, Gerardo Schneider: GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. ICTAC 2009: 343-348
28		Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306
27		Cristian Prisacariu, Gerardo Schneider: : An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349
26		Olaf Owe, Gerardo Schneider: Wrap Your Objects Safely. Electr. Notes Theor. Comput. Sci. 253(1): 127-143 (2009)
25		Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. Electr. Notes Theor. Comput. Sci. 253(1): 39-55 (2009)
	2008
24		Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407
23		Christian Colombo, Gordon J. Pace, Gerardo Schneider: Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149
22		Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289
21		Gerardo Schneider: Reachability analysis of generalized polygonal hybrid systems. SAC 2008: 327-332
20		Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345
19		Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390(1): 1-26 (2008)
	2007
18		Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97
17		Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189
16		Johs Hansen Hammer, Gerardo Schneider: On the Definition and Policies of Confidentiality. IAS 2007: 337-342
15		Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
14		Eugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)
	2006
13		Gordon J. Pace, Gerardo Schneider: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321
12		Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn: Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344
11		Gordon J. Pace, Gerardo Schneider: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182
	2005
10		David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
9		Gilles Barthe, Mariela Pavlova, Gerardo Schneider: Precise Analysis of Memory Consumption using Program Logics. SEFM 2005: 86-95
	2004
8		Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
7		Gordon J. Pace, Gerardo Schneider: Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121
6		Gerardo Schneider: Computing Invariance Kernels of Polygonal Hybrid Systems. Nord. J. Comput. 11(2): 194-209 (2004)
	2002
5		Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
4		Eugene Asarin, Gerardo Schneider: Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208
3		Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
	2001
2		Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
	1998
1		Gerardo Schneider, Qiwen Xu: Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293

Coauthor Index

1	Eugene Asarin	[2] [3] [4] [5] [14] [19]
2	Gilles Barthe	[9]
3	David Cachera	[10]
4	Christian Colombo	[23] [32]
5	Stephen Fenech	[25] [30] [33]
6	Pablo Giambiagi	[8] [12]
7	Johs Hansen Hammer	[16]
8	Hallstein Asheim Hansen	[29]
9	Thomas P. Jensen	[10]
10	Marcel Kyas	[24]
11	Joseph C. Okika	[25]
12	Olaf Owe	[12] [15] [26]
13	Gordon J. Pace	[5] [7] [11] [13] [18] [19] [20] [22] [23] [25] [28] [30] [32] [33]
14	Mariela Pavlova	[9]
15	David Pichardie	[10]
16	Cristian Prisacariu	[17] [18] [24] [27] [31]
17	Anders P. Ravn	[12] [25]
18	Martin Steffen	[15]
19	Frank D. Valencia (Frank Valencia)	[8]
20	Qiwen Xu	[1]
21	Sergio Yovine	[2] [3] [5] [14] [19]

Colors in the list of coauthors