Travelled to:1 × Denmark
1 × Germany
1 × Greece
1 × Hungary
1 × Norway
1 × USA
1 × Vietnam
Collaborated with:G.Schneider C.Colombo F.Lang R.Mateescu W.Ahrendt J.M.Chimento A.Francalanza R.Mizzi E.Asarin S.Yovine
Talks about:monitor (3) verif (3) program (2) polygon (2) compens (2) specif (2) runtim (2) model (2) check (2) differenti (1)
Person: Gordon J. Pace
DBLP: Pace:Gordon_J=
Contributed to:
2015
2013
2012
20092009
2008
2004
20032002Wrote 9 papers:
- FM-2015-AhrendtCPS #runtime #specification #verification
- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
- GT-VMT-2013-ColomboP #automaton #programming
- Monitor-Oriented Compensation Programming Through Compensating Automata (CC, GJP).
- SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #runtime #verification
- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.
- IFM-2009-PaceS #challenge #contract #specification
- Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
- SEFM-2009-ColomboPS #java #monitoring #realtime #source code
- LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.
- TACAS-2008-PaceS #model checking #visualisation
- Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.
- VMCAI-2004-PaceS #difference #kernel #model checking #using
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
- CAV-2003-PaceLM
- Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.
- CAV-2002-AsarinPSY #hybrid #named #verification
- SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.