BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pace:Gordon_J=

Contributed to:

FM 20152015
GT-VMT 20132013
SEFM 20122012
IFM 20092009
SEFM 20092009
TACAS 20082008
VMCAI 20042004
CAV 20032003
CAV 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.