×
Compute Distance To:
Author ID: pace.gordon-j Recent zbMATH articles by "Pace, Gordon J."
Published as: Pace, Gordon J.; Pace, Gordon

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 48 times in 33 Documents Cited by Year
Automatic conflict detection on contracts. Zbl 1250.03049
Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
7
2009
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
6
2013
Safe runtime verification of real-time properties. Zbl 1262.68111
Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
5
2009
Calculating \(\tau\)-confluence compositionally. Zbl 1278.68190
Pace, Gordon J.; Lang, Frédéric; Mateescu, Radu
4
2003
Safer asynchronous runtime monitoring using compensations. Zbl 1284.68142
Colombo, Christian; Pace, Gordon J.; Abela, Patrick
3
2012
A compositional algorithm for parallel model checking of polygonal hybrid systems. Zbl 1168.68426
Pace, Gordon; Schneider, Gerardo
3
2006
SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
3
2002
A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
3
2019
Challenges in the specification of full contracts. Zbl 1211.68251
Pace, Gordon J.; Schneider, Gerardo
3
2009
Recovery within long-running transactions. Zbl 1293.68063
Colombo, Christian; Pace, Gordon J.
2
2013
Model checking contracts – a case study. Zbl 1141.68483
Pace, Gordon; Prisacariu, Cristian; Schneider, Gerardo
2
2007
Static analysis for state-space reduction of polygonal hybrid systems. Zbl 1141.68438
Pace, Gordon; Schneider, Gerardo
2
2006
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Zbl 1370.68195
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2
2017
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
1
2008
Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254
Pace, Gordon J.; Schneider, Gerardo
1
2004
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
3
2019
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Zbl 1370.68195
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2
2017
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
6
2013
Recovery within long-running transactions. Zbl 1293.68063
Colombo, Christian; Pace, Gordon J.
2
2013
Safer asynchronous runtime monitoring using compensations. Zbl 1284.68142
Colombo, Christian; Pace, Gordon J.; Abela, Patrick
3
2012
Automatic conflict detection on contracts. Zbl 1250.03049
Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
7
2009
Safe runtime verification of real-time properties. Zbl 1262.68111
Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
5
2009
Challenges in the specification of full contracts. Zbl 1211.68251
Pace, Gordon J.; Schneider, Gerardo
3
2009
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
1
2008
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
Model checking contracts – a case study. Zbl 1141.68483
Pace, Gordon; Prisacariu, Cristian; Schneider, Gerardo
2
2007
A compositional algorithm for parallel model checking of polygonal hybrid systems. Zbl 1168.68426
Pace, Gordon; Schneider, Gerardo
3
2006
Static analysis for state-space reduction of polygonal hybrid systems. Zbl 1141.68438
Pace, Gordon; Schneider, Gerardo
2
2006
Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254
Pace, Gordon J.; Schneider, Gerardo
1
2004
Calculating \(\tau\)-confluence compositionally. Zbl 1278.68190
Pace, Gordon J.; Lang, Frédéric; Mateescu, Radu
4
2003
SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
3
2002
all top 5

Cited by 82 Authors

8 Schneider, Gerardo
5 Falcone, Yliès
5 Francalanza, Adrian
3 Pace, Gordon J.
2 Asarin, Eugene
2 Bartocci, Ezio
2 Camilleri, John J.
2 Colombo, Christian
2 Hierons, Robert Mark
2 Jéron, Thierry
2 Marchand, Hervé
2 Merayo, Mercedes G.
2 Nunez, Manuel A.
2 Rollet, Antoine
2 Sánchez, César
2 Signoles, Julien
2 Stoelinga, Mariëlle
2 Timmer, Mark
2 van de Pol, Jan Cornelis
2 Yovine, Sergio
1 Aceto, Luca
1 Ahrendt, Wolfgang
1 Alechina, Natasha
1 Ancona, Davide
1 Angelov, Krasimir
1 Bassiliades, Nick
1 Bejleri, Andi
1 Bianculli, Domenico
1 Bonakdarpour, Borzoo
1 Brauer, Jörg
1 Buscaldi, Davide
1 Caillaud, Benoît
1 Chen, Tzu-Chun
1 Cini, Clare
1 Correa, Santiago
1 Dastani, Mehdi M.
1 De Vos, Marina
1 Delahaye, Benoît
1 El-Hokayem, Antoine
1 Eugster, Patrick Th.
1 Ferrando, Angelo
1 Függer, Matthias
1 Hvitved, Tom
1 Ingólfsdóttir, Anna
1 Jaber, Mohamad Y.
1 Jacquemin, Maxime
1 Katoen, Joost-Pieter
1 Klaedtke, Felix
1 Kosmatov, Nikolai
1 Krstić, Srđan
1 Kwiatkowska, Marta Z.
1 Legay, Axel
1 Leucker, Martin
1 Logan, Brian
1 Lourenço, João M.
1 Majumdar, Rupak
1 Mascardi, Viviana
1 Mateescu, Radu
1 Mera, Sergio
1 Morris-Martin, Andreasa
1 Nguena Timo, Omer
1 Nickovic, Dejan
1 Pinisetty, Srinivas
1 Prisacariu, Cristian
1 Reinbacher, Thomas
1 Renard, Matthieu
1 Rosso, Paolo
1 Rufino, José
1 Sandler, Andrei
1 Schallhart, Christian
1 Schapachnik, Fernando
1 Seychell, Aldrin
1 Stucki, Sandro
1 Traytel, Dmitry
1 Tveretina, Olga
1 Védrine, Franck
1 Viering, Malte
1 Wang, Xu
1 Weiss, Alexander
1 Wijs, Anton J.
1 Zălinescu, Eugen
1 Ziarek, Lukasz

Citations by Year