Gilles Geeraerts

Citado por

	Total	Desde 2020
Citas	836	264
Índice h	16	9
Índice i10	26	9

2005200620072008200920102011201220132014201520162017201820192020202120222023202420258 11 19 14 10 32 26 43 50 64 55 61 66 49 52 46 45 68 42 51 10

Acceso público

Ver todo

11 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Thomas BrihayeUMONSDirección de correo verificada de umons.ac.be
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesDirección de correo verificada de univ-amu.fr
Joël GoossensProfessor of Computer Science, Université libre de Bruxelles ULBDirección de correo verificada de ulb.be
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumDirección de correo verificada de umons.ac.be
Laurent DoyenCNRS - LMF, ENS Paris-SaclayDirección de correo verificada de lsv.fr
Hsi-Ming HoUniversity of SussexDirección de correo verificada de sussex.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Alain FinkelLMF ENS Paris SaclayDirección de correo verificada de ens-paris-saclay.fr
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderDirección de correo verificada de colorado.edu
Lakshmi ManasaPhD Student, IIT BombayDirección de correo verificada de cse.iitb.ac.in
Shankara Narayanan KrishnaIIT BombayDirección de correo verificada de cse.iitb.ac.in
Engel LefaucheuxMPI-SWSDirección de correo verificada de mpi-sws.org
Eythan LevyUniversity of Zurich, University of BernDirección de correo verificada de unibe.ch
M. PraveenAssociate professor, Chennai Mathemaitical InstituteDirección de correo verificada de cmi.ac.in
Amélie StainerUniversité Libre de BruxellesDirección de correo verificada de ulb.ac.be
Pierre GantyAssociate Research Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayDirección de correo verificada de lsv.fr
Guillermo A. PérezAssociate Professor, University of AntwerpDirección de correo verificada de uantwerp.be

Seguir

Gilles Geeraerts

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

Dirección de correo verificada de ulb.be - Página principal

Computer-aided verification Formal methods Game theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	128	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
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	43	2013
Well-structured languages G Geeraerts, JF Raskin, L Van Begin Acta Informatica 44 (3), 249-288, 2007	42	2007
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	40	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	28	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	25	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores