Folgen
Gilles Geeraerts
Gilles Geeraerts
Associate Prof. of Computer Science, Université libre de Bruxelles (ULB)
Bestätigte E-Mail-Adresse bei ulb.be - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1262005
Well-structured languages
G Geeraerts, JF Raskin, L Van Begin
Acta Informatica 44 (3-4), 249-288, 2007
422007
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
422007
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
392013
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
322017
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
322011
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
312010
Expand, enlarge and check... made efficient
G Geeraerts, JF Raskin, L Van Begin
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
292005
Realizability of real-time logics
L Doyen, G Geeraerts, JF Raskin, J Reichert
Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009
252009
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
232014
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
232013
On MITL and alternating timed automata
T Brihaye, M Estiévenart, G Geeraerts
Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013
232013
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
222017
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
222005
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
182010
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
162005
Coverability and Expressiveness Properties of Well-structured Transition Systems
G Geeraerts
These de doctorat, Université Libre de Bruxelles, Belgique, 2007
152007
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
142014
Simple priced timed games are not that simple
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:1507.03786, 2015
132015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20