×
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 49 times in 34 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
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
4
2019
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
Challenges in the specification of full contracts. Zbl 1211.68251
Pace, Gordon J.; Schneider, Gerardo
3
2009
Safer asynchronous runtime monitoring using compensations. Zbl 1284.68142
Colombo, Christian; Pace, Gordon J.; Abela, Patrick
3
2012
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
Recovery within long-running transactions. Zbl 1293.68063
Colombo, Christian; Pace, Gordon J.
2
2013
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254
Pace, Gordon J.; Schneider, Gerardo
1
2004
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
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
4
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
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
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 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 85 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 Junges, Sebastian
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 Seshia, Sanjit Arunkumar
1 Seychell, Aldrin
1 Stucki, Sandro
1 Torfah, Hazem
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