Gilles Geeraerts

Cited by

	All	Since 2016
Citations	617	277
h-index	15	10
i10-index	21	11

20052006200720082009201020112012201320142015201620172018201920208 9 20 15 13 34 26 41 43 60 62 61 61 59 43 53

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
Joël GoossensProfessor of Computer Science, Université libre de Bruxelles ULBVerified email at ulb.ac.be
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
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
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
M. PraveenAssistant professor, Chennai Mathemaitical InstituteVerified email at cmi.ac.in
Amélie StainerUniversité Libre de BruxellesVerified email at ulb.ac.be
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Tristan Le GallCEA LISTVerified email at cea.fr

Gilles Geeraerts

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

Verified email at ulb.ac.be - Homepage

Computer-aided verification Formal methods Game theory Complexity theory Petri nets


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	115	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	36	2007
Well-structured languages G Geeraerts, JF Raskin, L Van Begin Acta Informatica 44 (3-4), 249-288, 2007	36	2007
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm G Geeraerts, J Goossens, M Lindström Real-time systems 49 (2), 171-218, 2013	32	2013
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	29	2010
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	28	2011
Expand, enlarge and check... made efficient G Geeraerts, JF Raskin, L Van Begin International Conference on Computer Aided Verification, 394-407, 2005	27	2005
On MITL and alternating timed automata T Brihaye, M Estiévenart, G Geeraerts International Conference on Formal Modeling and Analysis of Timed Systems, 47-61, 2013	22	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	21	2009
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	19	2005
Adding negative prices to priced timed games T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi International Conference on Concurrency Theory, 560-575, 2014	18	2014
Safraless procedures for timed specifications B Di Giampaolo, G Geeraerts, JF Raskin, N Sznajder International Conference on Formal Modeling and Analysis of Timed Systems, 2-22, 2010	18	2010
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, 55-70, 2013	17	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	16	2017
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	15*	2014
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	15	2005
On MITL and alternating timed automata over infinite words T Brihaye, M Estiévenart, G Geeraerts International Conference on Formal Modeling and Analysis of Timed Systems, 69-84, 2014	14	2014
Coverability and Expressiveness Properties of Well-structured Transition Systems G Geeraerts These de doctorat, Université Libre de Bruxelles, Belgique, 2007	14	2007
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games T Brihaye, G Geeraerts, A Haddad, B Monmege Acta Informatica 54 (1), 85-125, 2017	13	2017
Queue-dispatch asynchronous systems G Geeraerts, A Heußner, JF Raskin 2013 13th International Conference on Application of Concurrency to System …, 2013	10	2013

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

Upload PDF

Follow this author

Cited by

Co-authors