Gilles Geeraerts

Cited by

	All	Since 2019
Citations	816	297
h-index	16	9
i10-index	24	9

200520062007200820092010201120122013201420152016201720182019202020212022202320248 11 19 14 10 32 26 43 50 64 55 61 66 49 53 46 45 69 41 41

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Thomas BrihayeUMONSVerified email at umons.ac.be
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Joël GoossensProfessor of Computer Science, Université libre de Bruxelles ULBVerified email at ulb.be
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org
M. PraveenAssociate professor, Chennai Mathemaitical InstituteVerified email at cmi.ac.in
Eythan LevyUniversity of Zurich, University of BernVerified email at unibe.ch
Amélie StainerUniversité Libre de BruxellesVerified email at ulb.ac.be
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be

Gilles Geeraerts

Associate Prof. of Computer Science, Université libre de Bruxelles (ULB)

Verified email at ulb.be - Homepage

Computer-aided verification Formal methods Game theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Expand, enlarge, and check: New algorithms for the coverability problem of WSTS G Geeraerts, JF Raskin, L Van Begin FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005	127	2005
On the efficient computation of the minimal coverability set for Petri nets G Geeraerts, JF Raskin, L Van Begin International Symposium on Automated Technology for Verification and …, 2007	45	2007
Well-structured languages G Geeraerts, JF Raskin, L Van Begin Acta Informatica 44 (3), 249-288, 2007	42	2007
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm G Geeraerts, J Goossens, M Lindström Real-time systems 49, 171-218, 2013	41	2013
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege International Conference on Computer Aided Verification, 421-440, 2017	37	2017
On reachability for hybrid automata over bounded time T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell International Colloquium on Automata, Languages, and Programming, 416-427, 2011	34	2011
On the efficient computation of the minimal coverability set of petri nets G Geeraerts, JF Raskin, L Van Begin International Journal of Foundations of Computer Science 21 (02), 135-165, 2010	34	2010
Expand, enlarge and check... made efficient G Geeraerts, JF Raskin, L Van Begin International Conference on Computer Aided Verification, 394-407, 2005	31	2005
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games T Brihaye, G Geeraerts, A Haddad, B Monmege Acta Informatica 54, 85-125, 2017	26	2017
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... International Conference on Concurrency Theory, 560-575, 2014	26	2014
On MITL and alternating timed automata T Brihaye, M Estiévenart, G Geeraerts Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013	24	2013
Realizability of real-time logics L Doyen, G Geeraerts, JF Raskin, J Reichert International Conference on Formal Modeling and Analysis of Timed Systems …, 2009	24	2009
To reach or not to reach? Efficient algorithms for total-payoff games T Brihaye, G Geeraerts, A Haddad, B Monmege arXiv preprint arXiv:1407.5030, 2014	23	2014
Time-bounded reachability for monotonic hybrid automata: Complexity and fixed points T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell Automated Technology for Verification and Analysis: 11th International …, 2013	22	2013
On the ω-language Expressive Power of Extended Petri Nets A Finkel, G Geeraerts, JF Raskin, L Van Begin Electronic Notes in Theoretical Computer Science 128 (2), 87-101, 2005	22	2005
Safraless procedures for timed specifications B Di Giampaolo, G Geeraerts, JF Raskin, N Sznajder Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010	17	2010
Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015	16	2015
Coverability and Expressiveness Properties of Well-structured Transition Systems G Geeraerts These de doctorat, Université Libre de Bruxelles, Belgique, 2007	16	2007
A counter-example to the minimal coverability tree algorithm A Finkel, G Geeraerts, JF Raskin, L Van Begin Université Libre de Bruxelles, Tech. Rep 535, 2005	16	2005
On MITL and alternating timed automata over infinite words T Brihaye, M Estiévenart, G Geeraerts Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014	15	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors