Gilles Geeraerts

Cited by

	All	Since 2018
Citations	770	300
h-index	16	10
i10-index	22	11

20052006200720082009201020112012201320142015201620172018201920202021202220238 9 20 14 10 31 24 48 47 64 56 64 65 51 57 53 51 67 20

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
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Ashutosh TrivediAssociate Professor, 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. PraveenAssociate professor, Chennai Mathemaitical InstituteVerified email at cmi.ac.in
Amélie StainerUniversité Libre de BruxellesVerified email at ulb.ac.be
Eythan LevyUniversity of BernVerified email at unibe.ch
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
Amit Kumar DharAssistant ProfessorVerified email at iitbhilai.ac.in

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	126	2005
Well-structured languages G Geeraerts, JF Raskin, L Van Begin Acta Informatica 44 (3-4), 249-288, 2007	42	2007
On the efficient computation of the minimal coverability set for Petri nets G Geeraerts, JF Raskin, L Van Begin Automated Technology for Verification and Analysis: 5th International …, 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	39	2013
MightyL: A Compositional Translation from MITL to Timed Automata T Brihaye, G Geeraerts, HM Ho, B Monmege Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	32	2017
On reachability for hybrid automata over bounded time T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell Automata, Languages and Programming: 38th International Colloquium, ICALP …, 2011	32	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	31	2010
Expand, enlarge and check... made efficient G Geeraerts, JF Raskin, L Van Begin Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	29	2005
Realizability of real-time logics L Doyen, G Geeraerts, JF Raskin, J Reichert Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009	25	2009
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 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	23	2013
On MITL and alternating timed automata T Brihaye, M Estiévenart, G Geeraerts Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013	23	2013
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	22	2017
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
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	19*	2014
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	18	2010
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
Coverability and Expressiveness Properties of Well-structured Transition Systems G Geeraerts These de doctorat, Université Libre de Bruxelles, Belgique, 2007	15	2007
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	14	2014
Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015	13	2015

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