Gilles Geeraerts

Cited by

	All	Since 2016
Citations	652	314
h-index	15	11
i10-index	20	12

200520062007200820092010201120122013201420152016201720182019202020218 9 20 14 13 34 28 42 42 60 59 62 62 58 45 51 36

Public access

View all

14 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
Joël GoossensProfessor of Computer Science, Université libre de Bruxelles ULBVerified email at ulb.be
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Laurent DoyenCNRS - LSV, ENS CachanVerified 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 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
Engel LefaucheuxMPI-SWSVerified email at mpi-sws.org
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érezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it

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	123	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	39	2007
Well-structured languages G Geeraerts, JF Raskin, L Van Begin Acta Informatica 44 (3-4), 249-288, 2007	38	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	30	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	29	2011
Expand, enlarge and check... made efficient G Geeraerts, JF Raskin, L Van Begin International Conference on Computer Aided Verification, 394-407, 2005	29	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	23	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
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	20	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	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
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	18	2013
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	17	2010
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	16	2017
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	15	2014
Coverability and Expressiveness Properties of Well-structured Transition Systems G Geeraerts These de doctorat, Université Libre de Bruxelles, Belgique, 2007	15	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	15	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	14*	2014
ω-Petri nets G Geeraerts, A Heußner, M Praveen, JF Raskin International Conference on Applications and Theory of Petri Nets and …, 2013	11	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

Follow this author

Cited by

Co-authors