Edit Profile (opens in new tab) Pace, Gordon J. Compute Distance To: Compute Author ID: pace.gordon-j Published as: Pace, Gordon J.; Pace, Gordon Documents Indexed: 19 Publications since 2002, including 1 Book 2 Contributions as Editor Co-Authors: 27 Co-Authors with 20 Joint Publications 377 Co-Co-Authors all top 5 Co-Authors 1 single-authored 15 Schneider, Gerardo 5 Colombo, Christian 2 Ahrendt, Wolfgang 2 Asarin, Eugene 2 Francalanza, Adrian 2 Yovine, Sergio 1 Abela, Patrick 1 Aranda García, Alberto 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Cambronero, María Emilia 1 Chimento, Jesús Mauricio 1 Falcone, Yliès 1 Fenech, Stephen 1 Gauci, Andrew 1 Krstić, Srđan 1 Lang, Frédéric 1 Llana, Luis 1 Lourenço, João M. 1 Mateescu, Radu 1 Nickovic, Dejan 1 Prisacariu, Cristian 1 Rufino, José 1 Sánchez, César 1 Signoles, Julien 1 Traytel, Dmitry 1 Weiss, Alexander Serials 3 Formal Methods in System Design 3 The Journal of Logic and Algebraic Programming 1 ACM Computing Surveys 1 Theoretical Computer Science all top 5 Fields 20 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 51 times in 34 Documents Cited by ▼ Year ▼ Distributed system contract monitoring. Zbl 1283.68243Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J. 8 2013 Automatic conflict detection on contracts. Zbl 1250.03049Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo 7 2009 Safe runtime verification of real-time properties. Zbl 1262.68111Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo 5 2009 A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268Sá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 Calculating \(\tau\)-confluence compositionally. Zbl 1278.68190Pace, Gordon J.; Lang, Frédéric; Mateescu, Radu 4 2003 Challenges in the specification of full contracts. Zbl 1211.68251Pace, Gordon J.; Schneider, Gerardo 3 2009 Safer asynchronous runtime monitoring using compensations. Zbl 1284.68142Colombo, Christian; Pace, Gordon J.; Abela, Patrick 3 2012 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 A compositional algorithm for parallel model checking of polygonal hybrid systems. Zbl 1168.68426Pace, Gordon; Schneider, Gerardo 3 2006 Recovery within long-running transactions. Zbl 1293.68063Colombo, Christian; Pace, Gordon J. 2 2013 Model checking contracts – a case study. Zbl 1141.68483Pace, Gordon; Prisacariu, Cristian; Schneider, Gerardo 2 2007 Static analysis for state-space reduction of polygonal hybrid systems. Zbl 1141.68438Pace, Gordon; Schneider, Gerardo 2 2006 Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Zbl 1370.68195Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo 2 2017 Relaxing goodness is still good. Zbl 1161.93316Pace, Gordon J.; Schneider, Gerardo 1 2008 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254Pace, Gordon J.; Schneider, Gerardo 1 2004 A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268Sá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.68195Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo 2 2017 Distributed system contract monitoring. Zbl 1283.68243Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J. 8 2013 Recovery within long-running transactions. Zbl 1293.68063Colombo, Christian; Pace, Gordon J. 2 2013 Safer asynchronous runtime monitoring using compensations. Zbl 1284.68142Colombo, Christian; Pace, Gordon J.; Abela, Patrick 3 2012 Automatic conflict detection on contracts. Zbl 1250.03049Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo 7 2009 Safe runtime verification of real-time properties. Zbl 1262.68111Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo 5 2009 Challenges in the specification of full contracts. Zbl 1211.68251Pace, Gordon J.; Schneider, Gerardo 3 2009 Relaxing goodness is still good. Zbl 1161.93316Pace, Gordon J.; Schneider, Gerardo 1 2008 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Model checking contracts – a case study. Zbl 1141.68483Pace, Gordon; Prisacariu, Cristian; Schneider, Gerardo 2 2007 A compositional algorithm for parallel model checking of polygonal hybrid systems. Zbl 1168.68426Pace, Gordon; Schneider, Gerardo 3 2006 Static analysis for state-space reduction of polygonal hybrid systems. Zbl 1141.68438Pace, Gordon; Schneider, Gerardo 2 2006 Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254Pace, Gordon J.; Schneider, Gerardo 1 2004 Calculating \(\tau\)-confluence compositionally. Zbl 1278.68190Pace, Gordon J.; Lang, Frédéric; Mateescu, Radu 4 2003 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 all cited Publications top 5 cited Publications 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 all top 5 Cited in 7 Serials 9 Formal Methods in System Design 5 The Journal of Logic and Algebraic Programming 4 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing all top 5 Cited in 7 Fields 33 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 4 Systems theory; control (93-XX) 3 Ordinary differential equations (34-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year