Edit Profile (opens in new tab) Schneider, Gerardo Compute Distance To: Compute Author ID: schneider.gerardo Published as: Schneider, Gerardo Documents Indexed: 37 Publications since 2002, including 1 Book 5 Contributions as Editor Co-Authors: 50 Co-Authors with 40 Joint Publications 833 Co-Co-Authors all top 5 Co-Authors 1 single-authored 15 Pace, Gordon J. 7 Asarin, Eugene 5 Prisacariu, Cristian 5 Yovine, Sergio 4 Pardo, Raúl 3 Sánchez, César 2 Ahrendt, Wolfgang 2 Camilleri, John J. 2 Colombo, Christian 1 Alshareef, Hanaa 1 Angelov, Krasimir 1 Azzopardi, Shaun 1 Balliu, Musard 1 Barthe, Gilles 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Bonakdarpour, Borzoo 1 Brogi, Antonio 1 Broy, Manfred 1 Cachera, David 1 Cerone, Antonio 1 Chimento, Jesús Mauricio 1 Ebadi, Hamid 1 Falcone, Yliès 1 Fenech, Stephen 1 Francalanza, Adrian 1 Giambiagi, Pablo 1 Hansen, Hallstein Asheim 1 Krstić, Srđan 1 Kyas, Marcel 1 Liero, Matthias 1 Lourenço, João M. 1 Mysore, Venkatesh P. 1 Nagy, Robert 1 Nickovic, Dejan 1 Pardo, Alberto 1 Picazo-Sanchez, Pablo 1 Pichardie, David 1 Piterman, Nir 1 Pnueli, Amir 1 Reichelt, Sina 1 Roggenbach, Markus 1 Rufino, José 1 Sands, David 1 Schlingloff, Bernd-Holger 1 Shaikh, Siraj Ahmed 1 Signoles, Julien 1 Steffen, Martin 1 Stucki, Sandro 1 Theil, Florian 1 Thomas, Marita 1 Timofeitchik, Aram 1 Traytel, Dmitry 1 Tucker, John V. 1 Valencia, Frank D. 1 Weiss, Alexander all top 5 Serials 5 The Journal of Logic and Algebraic Programming 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 Theoretical Computer Science 1 Information and Computation 1 Nordic Journal of Computing 1 Lecture Notes in Computer Science 1 Discrete and Continuous Dynamical Systems. Series S 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Fields 38 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 7 Systems theory; control (93-XX) 5 General and overarching topics; collections (00-XX) 4 Ordinary differential equations (34-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of deformable solids (74-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 122 times in 69 Documents Cited by ▼ Year ▼ Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 A formal language for electronic contracts. Zbl 1202.68266Prisacariu, Cristian; Schneider, Gerardo 10 2007 On the expressiveness of infinite behavior and name scoping in process calculi. Zbl 1126.68500Giambiagi, Pablo; Schneider, Gerardo; Valencia, Frank D. 9 2004 \(\mathcal{CL}\): an action-based logic for reasoning about contracts. Zbl 1246.68214Prisacariu, Cristian; Schneider, Gerardo 9 2009 Run-time monitoring of electronic contracts. Zbl 1183.68074Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo 7 2008 Automatic conflict detection on contracts. Zbl 1250.03049Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo 7 2009 Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141Asarin, Eugene; Schneider, Gerardo 6 2002 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo 6 2012 Certified memory usage analysis. Zbl 1120.68385Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo 5 2005 Safe runtime verification of real-time properties. Zbl 1262.68111Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo 5 2009 A dynamic deontic logic for complex contracts. Zbl 1258.03024Prisacariu, Cristian; Schneider, Gerardo 5 2012 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 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 Challenges in the specification of full contracts. Zbl 1211.68251Pace, Gordon J.; Schneider, Gerardo 3 2009 A compositional algorithm for parallel model checking of polygonal hybrid systems. Zbl 1168.68426Pace, Gordon; Schneider, Gerardo 3 2006 Differential privacy: now it’s getting personal. Zbl 1346.68082Ebadi, Hamid; Sands, David; Schneider, Gerardo 2 2015 Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092Schneider, Gerardo 2 2004 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 Formalising privacy policies in social networks. Zbl 1371.68076Pardo, Raúl; Balliu, Musard; Schneider, Gerardo 2 2017 Model checking social network models. Zbl 1483.68202Pardo, Raúl; Schneider, Gerardo 2 2017 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 Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254Pace, Gordon J.; Schneider, Gerardo 1 2004 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Relaxing goodness is still good. Zbl 1161.93316Pace, Gordon J.; Schneider, Gerardo 1 2008 Timed epistemic knowledge bases for social networks. Zbl 1460.68101Pardo, Raúl; Sánchez, César; Schneider, Gerardo 1 2018 A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo 1 2013 Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Zbl 1225.68009 1 2011 Gray-box monitoring of hyperproperties with an application to privacy. Zbl 1502.68187Stucki, Sandro; Sánchez, César; Schneider, Gerardo; Bonakdarpour, Borzoo 1 2021 Gray-box monitoring of hyperproperties with an application to privacy. Zbl 1502.68187Stucki, Sandro; Sánchez, César; Schneider, Gerardo; Bonakdarpour, Borzoo 1 2021 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 Timed epistemic knowledge bases for social networks. Zbl 1460.68101Pardo, Raúl; Sánchez, César; Schneider, Gerardo 1 2018 Formalising privacy policies in social networks. Zbl 1371.68076Pardo, Raúl; Balliu, Musard; Schneider, Gerardo 2 2017 Model checking social network models. Zbl 1483.68202Pardo, Raúl; Schneider, Gerardo 2 2017 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 Differential privacy: now it’s getting personal. Zbl 1346.68082Ebadi, Hamid; Sands, David; Schneider, Gerardo 2 2015 A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo 1 2013 Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo 6 2012 A dynamic deontic logic for complex contracts. Zbl 1258.03024Prisacariu, Cristian; Schneider, Gerardo 5 2012 Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Zbl 1225.68009 1 2011 \(\mathcal{CL}\): an action-based logic for reasoning about contracts. Zbl 1246.68214Prisacariu, Cristian; Schneider, Gerardo 9 2009 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 Run-time monitoring of electronic contracts. Zbl 1183.68074Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo 7 2008 Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools. Zbl 1134.68026Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 1 2008 Relaxing goodness is still good. Zbl 1161.93316Pace, Gordon J.; Schneider, Gerardo 1 2008 Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 10 2007 A formal language for electronic contracts. Zbl 1202.68266Prisacariu, Cristian; Schneider, Gerardo 10 2007 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 Certified memory usage analysis. Zbl 1120.68385Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo 5 2005 On the expressiveness of infinite behavior and name scoping in process calculi. Zbl 1126.68500Giambiagi, Pablo; Schneider, Gerardo; Valencia, Frank D. 9 2004 Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092Schneider, Gerardo 2 2004 Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254Pace, Gordon J.; Schneider, Gerardo 1 2004 Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141Asarin, Eugene; Schneider, Gerardo 6 2002 On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 6 2002 SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio 3 2002 Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 163 Authors 14 Schneider, Gerardo 5 Prisacariu, Cristian 4 Falcone, Yliès 3 Asarin, Eugene 3 Bournez, Olivier 3 Pace, Gordon J. 3 Sánchez, César 2 Bartocci, Ezio 2 Bell, Paul C. 2 Bérard, Béatrice 2 Camilleri, John J. 2 Cocquempot, Vincent 2 Francalanza, Adrian 2 Fu, Yuxi 2 Haddad, Serge 2 Jéron, Thierry 2 Jiang, Bin 2 Marchand, Hervé 2 Pardo, Raúl 2 Potapov, Igor 2 Pouly, Amaury 2 Rollet, Antoine 2 Signoles, Julien 2 Yang, Hao 2 Yovine, Sergio 1 Abate, Alessandro 1 Adzkiya, Dieky 1 Ahrendt, Wolfgang 1 Albert, Elvira 1 Alechina, Natasha 1 Ancona, Davide 1 André, Étienne 1 Angelov, Krasimir 1 Aranda, Jesús 1 Arenas, Puri 1 Bassiliades, Nick 1 Bazille, Hugo 1 Beringer, Lennart 1 Besson, Frédéric 1 Bianculli, Domenico 1 Bonakdarpour, Borzoo 1 Brauer, Jörg 1 Brihaye, Thomas 1 Buscaldi, Davide 1 Cachera, David 1 Caillaud, Benoît 1 Chen, Shang 1 Cini, Clare 1 Colombo, Christian 1 Correa, Santiago 1 Cortier, Véronique 1 Damanafshan, Morteza 1 Dastani, Mehdi M. 1 De Schutter, Bart 1 De Vos, Marina 1 Debois, Søren 1 Delahaye, Benoît 1 Dinesh, Nikhil 1 Dullerud, Geir E. 1 El-Hokayem, Antoine 1 Fallah, Mehran S. 1 Ferrando, Angelo 1 Folschette, Maxime 1 Függer, Matthias 1 Genaim, Samir 1 Gomaa, Walid E. 1 Hainry, Emmanuel 1 He, Chaodong 1 Henglein, Fritz 1 Hildebrandt, Thomas T. 1 Hofmann, Martin 1 Hüttel, Hans 1 Hvitved, Tom 1 Jaber, Mohamad Y. 1 Jackson, Lisa A. 1 Jacquemin, Maxime 1 Joshi, Aravind K. 1 Junges, Sebastian 1 Klaedtke, Felix 1 Kosmatov, Nikolai 1 Krstić, Srđan 1 Kulicki, Piotr 1 Kurganskyy, Oleksiy 1 Kyas, Marcel 1 Larsen, Ken Friis 1 Le Métayer, Daniel 1 Lee, Insup 1 Legay, Axel 1 Leucker, Martin 1 Liu, Yang 1 Liu, Zhihong 1 Logan, Brian 1 Long, Huan 1 Lourenço, João M. 1 Lu, Hao 1 Lyon, Tim S. 1 Ma, Jianfeng 1 Magnin, Morgan 1 Majumdar, Rupak 1 Mascardi, Viviana ...and 63 more Authors all top 5 Cited in 17 Serials 10 Theoretical Computer Science 9 The Journal of Logic and Algebraic Programming 7 Formal Methods in System Design 5 Journal of Logical and Algebraic Methods in Programming 2 Information and Computation 1 Acta Informatica 1 International Journal of Control 1 Automatica 1 Synthese 1 Journal of Complexity 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Logic 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 14 Fields 59 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 8 Systems theory; control (93-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Biology and other natural sciences (92-XX) Citations by Year