| 2009 |
|---|
| 13 | EE | Gordon J. Pace,
Gerardo Schneider:
Challenges in the Specification of Full Contracts.
IFM 2009: 292-306 |
| 2008 |
|---|
| 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 |
