×

zbMATH — the first resource for mathematics

Geeraerts, Gilles

Compute Distance To:
Author ID: geeraerts.gilles Recent zbMATH articles by "Geeraerts, Gilles"
Published as: Geeraerts, G.; Geeraerts, Gilles
Documents Indexed: 31 Publications since 2004, including 1 Book

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 69 times in 48 Documents Cited by Year
Expand, enlarge and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68084
Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
12
2006
Well-structured languages. Zbl 1119.68105
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
5
2007
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
On MITL and alternating timed automata over infinite words. Zbl 1448.68291
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
3
2014
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
\(\omega \)-Petri nets. Zbl 1381.68202
Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François
3
2013
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
\(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172
Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François
2
2015
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
2
2014
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
On the efficient computation of the minimal coverability set of Petri nets. Zbl 1198.68177
Geeraerts, Gilles; Jean-François, Raskin; van Begin, Laurent
2
2010
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
Expand, enlarge and check …made efficient. Zbl 1081.68619
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2005
Expand, enlarge, and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68353
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2004
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
Synthesising succinct strategies in safety and reachability games. Zbl 1393.68039
Geeraerts, Gilles; Goossens, Joël; Stainer, Amélie
1
2014
On MITL and alternating timed automata. Zbl 1390.68376
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
1
2013
On the efficient computation of the minimal coverability set for Petri nets. Zbl 1141.68507
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
1
2007
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2017
To reach or not to reach? Efficient algorithms for total-payoff games. Zbl 1376.91038
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
3
2015
Simple priced timed games are not that simple. Zbl 1366.68137
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Lefaucheux, Engel; Monmege, Benjamin
2
2015
\(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172
Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François
2
2015
Quantitative games under failures. Zbl 1366.68216
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin; Pérez, Guillermo A.; Renault, Gabriel
1
2015
On MITL and alternating timed automata over infinite words. Zbl 1448.68291
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
3
2014
Adding negative prices to priced timed games. Zbl 1417.68120
Brihaye, Thomas; Geeraerts, Gilles; Narayanan Krishna, Shankara; Manasa, Lakshmi; Monmege, Benjamin; Trivedi, Ashutosh
2
2014
Synthesising succinct strategies in safety and reachability games. Zbl 1393.68039
Geeraerts, Gilles; Goossens, Joël; Stainer, Amélie
1
2014
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
\(\omega \)-Petri nets. Zbl 1381.68202
Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François
3
2013
On MITL and alternating timed automata. Zbl 1390.68376
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles
1
2013
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
On the efficient computation of the minimal coverability set of Petri nets. Zbl 1198.68177
Geeraerts, Gilles; Jean-François, Raskin; van Begin, Laurent
2
2010
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
Well-structured languages. Zbl 1119.68105
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
5
2007
On the efficient computation of the minimal coverability set for Petri nets. Zbl 1141.68507
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
1
2007
Expand, enlarge and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68084
Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
12
2006
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
Expand, enlarge and check …made efficient. Zbl 1081.68619
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2005
Expand, enlarge, and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68353
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2004
all top 5

Cited by 97 Authors

6 Finkel, Alain
6 Geeraerts, Gilles
4 Goubault-Larrecq, Jean
4 Raskin, Jean-François
4 Van Begin, Laurent
3 Abdulla, Parosh Aziz
3 Blondin, Michael
3 Sznajder, Nathalie
2 André, Étienne
2 Atig, Mohamed Faouzi
2 Bérard, Béatrice
2 Bersani, Marcello M.
2 Brihaye, Thomas
2 Chambart, Pierre
2 Delzanno, Giorgio
2 Fioravanti, Fabio
2 Henzinger, Thomas A.
2 Legay, Axel
2 Monmege, Benjamin
2 Pettorossi, Alberto
2 Pietro, Pierluigi San
2 Proietti, Maurizio
2 Reynier, Pierre-Alain
2 Rosa-Velardo, Fernando
2 Rossi, Matteo A. C.
2 Schmitz, Sylvain
2 Senni, Valerio
2 Sun, Youcheng
1 Athanasiou, Konstantinos
1 Biondi, Alessandro
1 Bouajjani, Ahmed
1 Bruyère, Véronique
1 Bulychev, Peter E.
1 Busatto-Gaston, Damien
1 Chatterjee, Krishnendu
1 Ciobanu, Gabriel
1 David, Alexandre
1 Demongodin, Isabel
1 Doyen, Laurent
1 Esparza, Javier
1 Fahrenberg, Uli
1 Frehse, Goran
1 Giambiasi, Norbert
1 Giua, Alessandro
1 Goeminne, Aline
1 Goossens, Joël
1 Haddad, Axel
1 Haddad, Serge
1 Halfon, Simon
1 Haziza, Frédéric
1 Hélouët, Loïc
1 Ho, Hsi-Ming
1 Holík, Luká
1 Karandikar, Prateek
1 Kecir, Karim
1 Křetínský, Jan
1 Kumar, K. Narayan
1 Kuske, Dietrich
1 Larsen, Kim Guldstrand
1 Leroux, Stéphane
1 Li, Guangyuan
1 Lime, Didier
1 Lipari, Giuseppe
1 Liu, Peizun
1 Lohrey, Markus
1 Markey, Nicolas
1 Martos-Salgado, María
1 McKenzie, Pierre
1 Meyer, Roland
1 Muskalla, Sebastian
1 Neider, Daniel
1 Nguyen, Thi van Anh
1 Ortiz, James N.
1 Otop, Jan
1 Ouaknine, Joel O.
1 Pappas, George J.
1 Pauly, Arno M.
1 Pinna, G. Michele
1 Platzer, André
1 Pocci, Marco
1 Qadeer, Shaz
1 Quaas, Karin
1 Saivasan, Prakash
1 Sassolas, Mathieu
1 Schnoebelen, Philippe
1 Schobbens, Pierre-Yves
1 Servais, Frédéric
1 Sickert, Salomon
1 Stainer, Amélie
1 Thomasset, Nathan
1 Wahl, Thomas
1 Weinert, Alexander
1 Wies, Thomas
1 Worrell, James B.
1 Zetzsche, Georg
1 Zimmermann, Martín G.
1 Zufferey, Damien

Citations by Year