Gordon J. Pace Vis

*	2009
17	EE	Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96
16	EE	Christian Colombo, Gordon J. Pace, Gerardo Schneider: Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117
15	EE	Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214
14	EE	Gordon J. Pace, Gerardo Schneider: Challenges in the Specification of Full Contracts. IFM 2009: 292-306
	2008
13	EE	Christian Colombo, Gordon J. Pace, Gerardo Schneider: Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149
12	EE	Gordon J. Pace, Gerardo Schneider: Relaxing Goodness Is Still Good. ICTAC 2008: 274-289
11	EE	Gordon J. Pace, Gerardo Schneider: Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345
10	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
9	EE	Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider: Model Checking Contracts - A Case Study. ATVA 2007: 82-97
	2006
8	EE	Gordon J. Pace, Gerardo Schneider: Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321
7	EE	Gordon J. Pace, Gerardo Schneider: A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182
	2004
6	EE	Gordon J. Pace, Gerardo Schneider: Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121
5	EE	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
	2003
4	EE	Gordon J. Pace, Frédéric Lang, Radu Mateescu: Calculating-Confluence Compositionally. CAV 2003: 446-459
	2002
3	EE	Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
2	EE	Koen Claessen, Gordon J. Pace: An embedded language approach to teaching hardware compilation. SIGPLAN Notices 37(12): 35-46 (2002)
	2000
1	EE	Gordon J. Pace: The Semantics of Verilog Using Transition System Combinators. FMCAD 2000: 405-422

Coauthor Index

1	Eugene Asarin	[3] [10]
2	Koen Claessen	[2]
3	Christian Colombo	[13] [16]
4	Stephen Fenech	[15] [17]
5	Nicolas Halbwachs	[5]
6	Frédéric Lang	[4]
7	Radu Mateescu	[4]
8	Cristian Prisacariu	[9]
9	Pascal Raymond	[5]
10	Gerardo Schneider	[3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
11	Sergio Yovine	[3] [10]

Colors in the list of coauthors