×
Compute Distance To:
Author ID: schneider.gerardo Recent zbMATH articles by "Schneider, Gerardo"
Published as: Schneider, Gerardo

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 115 times in 65 Documents Cited by Year
Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio
10
2007
A formal language for electronic contracts. Zbl 1202.68266
Prisacariu, Cristian; Schneider, Gerardo
9
2007
On the expressiveness of infinite behavior and name scoping in process calculi. Zbl 1126.68500
Giambiagi, Pablo; Schneider, Gerardo; Valencia, Frank D.
8
2004
\(\mathcal{CL}\): an action-based logic for reasoning about contracts. Zbl 1246.68214
Prisacariu, Cristian; Schneider, Gerardo
8
2009
Run-time monitoring of electronic contracts. Zbl 1183.68074
Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo
7
2008
Automatic conflict detection on contracts. Zbl 1250.03049
Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
7
2009
On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio
6
2002
Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141
Asarin, Eugene; Schneider, Gerardo
6
2002
Certified memory usage analysis. Zbl 1120.68385
Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo
5
2005
Safe runtime verification of real-time properties. Zbl 1262.68111
Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
5
2009
Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo
5
2012
A dynamic deontic logic for complex contracts. Zbl 1258.03024
Prisacariu, Cristian; Schneider, Gerardo
4
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
Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030
Asarin, Eugene; 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
Differential privacy: now it’s getting personal. Zbl 1346.68082
Ebadi, Hamid; Sands, David; Schneider, Gerardo
2
2015
Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092
Schneider, Gerardo
2
2004
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
Formalising privacy policies in social networks. Zbl 1371.68076
Pardo, Raúl; Balliu, Musard; Schneider, Gerardo
2
2017
Model checking social network models. Zbl 1483.68202
Pardo, Raúl; Schneider, Gerardo
2
2017
A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333
Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo
1
2013
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
Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Zbl 1225.68009
1
2011
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
Timed epistemic knowledge bases for social networks. Zbl 1460.68101
Pardo, Raúl; Sánchez, César; Schneider, Gerardo
1
2018
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
Timed epistemic knowledge bases for social networks. Zbl 1460.68101
Pardo, Raúl; Sánchez, César; Schneider, Gerardo
1
2018
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
Formalising privacy policies in social networks. Zbl 1371.68076
Pardo, Raúl; Balliu, Musard; Schneider, Gerardo
2
2017
Model checking social network models. Zbl 1483.68202
Pardo, Raúl; Schneider, Gerardo
2
2017
Differential privacy: now it’s getting personal. Zbl 1346.68082
Ebadi, Hamid; Sands, David; Schneider, Gerardo
2
2015
A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333
Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo
1
2013
Low dimensional hybrid systems – decidable, undecidable, don’t know. Zbl 1279.68127
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo
5
2012
A dynamic deontic logic for complex contracts. Zbl 1258.03024
Prisacariu, Cristian; Schneider, Gerardo
4
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.68214
Prisacariu, Cristian; Schneider, Gerardo
8
2009
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
Run-time monitoring of electronic contracts. Zbl 1183.68074
Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo
7
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
Relaxing goodness is still good. Zbl 1161.93316
Pace, Gordon J.; Schneider, Gerardo
1
2008
Algorithmic analysis of polygonal hybrid systems. I: Reachability. Zbl 1121.68071
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio
10
2007
A formal language for electronic contracts. Zbl 1202.68266
Prisacariu, Cristian; Schneider, Gerardo
9
2007
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
Certified memory usage analysis. Zbl 1120.68385
Cachera, David; Jensen, Thomas; Pichardie, David; Schneider, Gerardo
5
2005
On the expressiveness of infinite behavior and name scoping in process calculi. Zbl 1126.68500
Giambiagi, Pablo; Schneider, Gerardo; Valencia, Frank D.
8
2004
Computing invariance kernels of polygonal hybrid systems. Zbl 1088.68092
Schneider, Gerardo
2
2004
Model checking polygonal differential inclusions using invariance kernels. Zbl 1202.68254
Pace, Gordon J.; Schneider, Gerardo
1
2004
On the decidability of the reachability problem for planar differential inclusions. Zbl 0991.93009
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio
6
2002
Widening the boundary between decidable and undecidable hybrid systems. Zbl 1012.68141
Asarin, Eugene; Schneider, Gerardo
6
2002
SPeeDI – a verification tool for polygonal hybrid systems. Zbl 1010.68791
Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio
3
2002
Towards computing phase portraits of polygonal differential inclusions. Zbl 1054.93030
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio
3
2002
all top 5

Cited by 151 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 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 Ferrando, Angelo
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 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, Zhihong
1 Logan, Brian
1 Long, Huan
1 Lourenço, João M.
1 Lu, Hao
1 Ma, Jianfeng
1 Majumdar, Rupak
1 Mascardi, Viviana
1 Mazza, Eduardo
1 Mera, Sergio
1 Michaux, Christian
1 Morris-Martin, Andreasa
1 Mysore, Venkatesh P.
1 Nguena Timo, Omer
1 Nickovic, Dejan
...and 51 more Authors

Citations by Year