Gerardo Schneider

2008
21	EE	Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289
20	EE	Gerardo Schneider: Reachability analysis of generalized polygonal hybrid systems. SAC 2008: 327-332
19	EE	Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345
18	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
17	EE	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97
16	EE	Cristian Prisacariu, Gerardo Schneider: A Formal Language for Electronic Contracts. FMOODS 2007: 174-189
15	EE	Johs Hansen Hammer, Gerardo Schneider: On the Definition and Policies of Confidentiality. IAS 2007: 337-342
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] [18]
2	Gilles Barthe	[9]
3	David Cachera	[10]
4	Pablo Giambiagi	[8] [12]
5	Johs Hansen Hammer	[15]
6	Thomas P. Jensen	[10]
7	Olaf Owe	[12]
8	Gordon J. Pace	[5] [7] [11] [13] [17] [18] [19] [21]
9	Mariela Pavlova	[9]
10	David Pichardie	[10]
11	Cristian Prisacariu	[16] [17]
12	Anders P. Ravn	[12]
13	Frank D. Valencia (Frank Valencia)	[8]
14	Qiwen Xu	[1]
15	Sergio Yovine	[2] [3] [5] [14] [18]

Colors in the list of coauthors