Gordon J. Pace

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

Colors in the list of coauthors