Gerardo Schneider Vis

*	2009
31	EE	Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96
30	EE	Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117
29	EE	Cristian Prisacariu, Gerardo Schneider: Abstract specification of legal contracts. ICAIL 2009: 218-219
28	EE	Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214
27	EE	Hallstein Asheim Hansen, Gerardo Schneider: GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. ICTAC 2009: 343-348
26	EE	Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306
25	EE	Cristian Prisacariu, Gerardo Schneider: : An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349
	2008
24	EE	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407
23	EE	Christian Colombo, Gordon J. Pace, Gerardo Schneider: Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149
22	EE	Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289
21	EE	Gerardo Schneider: Reachability analysis of generalized polygonal hybrid systems. SAC 2008: 327-332
20	EE	Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345
19	EE	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	EE	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97
17	EE	Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189
16	EE	Johs Hansen Hammer, Gerardo Schneider: On the Definition and Policies of Confidentiality. IAS 2007: 337-342
15	EE	Olaf Owe, Gerardo Schneider, Martin Steffen: Components, objects, and contracts. SAVCBS 2007: 95-98
14	EE	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	EE	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	EE	Gordon J. Pace, Gerardo Schneider: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182
	2005
10	EE	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
9	EE	Gilles Barthe, Mariela Pavlova, Gerardo Schneider: Precise Analysis of Memory Consumption using Program Logics. SEFM 2005: 86-95
	2004
8	EE	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia: On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240
7	EE	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	EE	Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
4	EE	Eugene Asarin, Gerardo Schneider: Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208
3	EE	Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
	2001
2	EE	Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
	1998
1	EE	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] [30]
5	Stephen Fenech	[28] [31]
6	Pablo Giambiagi	[8] [12]
7	Johs Hansen Hammer	[16]
8	Hallstein Asheim Hansen	[27]
9	Thomas P. Jensen	[10]
10	Marcel Kyas	[24]
11	Olaf Owe	[12] [15]
12	Gordon J. Pace	[5] [7] [11] [13] [18] [19] [20] [22] [23] [26] [28] [30] [31]
13	Mariela Pavlova	[9]
14	David Pichardie	[10]
15	Cristian Prisacariu	[17] [18] [24] [25] [29]
16	Anders P. Ravn	[12]
17	Martin Steffen	[15]
18	Frank D. Valencia (Frank Valencia)	[8]
19	Qiwen Xu	[1]
20	Sergio Yovine	[2] [3] [5] [14] [19]

Colors in the list of coauthors