Gerardo Schneider

2009
24	EE	Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306
2008
23	EE	Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407
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	Pablo Giambiagi	[8] [12]
5	Johs Hansen Hammer	[16]
6	Thomas P. Jensen	[10]
7	Marcel Kyas	[23]
8	Olaf Owe	[12] [15]
9	Gordon J. Pace	[5] [7] [11] [13] [18] [19] [20] [22] [24]
10	Mariela Pavlova	[9]
11	David Pichardie	[10]
12	Cristian Prisacariu	[17] [18] [23]
13	Anders P. Ravn	[12]
14	Martin Steffen	[15]
15	Frank D. Valencia (Frank Valencia)	[8]
16	Qiwen Xu	[1]
17	Sergio Yovine	[2] [3] [5] [14] [19]

Colors in the list of coauthors