Gilles Geeraerts
Gilles Geeraerts
Associate Prof. of Computer Science, Université Libre de Bruxelles (ULB)
Verified email at ulb.ac.be - Homepage
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
1142005
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
362007
Well-structured languages
G Geeraerts, JF Raskin, L Van Begin
Acta Informatica 44 (3-4), 249-288, 2007
362007
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
302013
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
282010
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
272011
Expand, enlarge and check... made efficient
G Geeraerts, JF Raskin, L Van Begin
International Conference on Computer Aided Verification, 394-407, 2005
272005
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
222013
Realizability of real-time logics
L Doyen, G Geeraerts, JF Raskin, J Reichert
International Conference on Formal Modeling and Analysis of Timed Systems …, 2009
202009
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
192005
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
172014
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
172013
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
172010
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
162017
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
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
142014
Coverability and Expressiveness Properties of Well-structured Transition Systems
G Geeraerts
These de doctorat, Université Libre de Bruxelles, Belgique, 2007
142007
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
142005
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
122017
Queue-dispatch asynchronous systems
G Geeraerts, A Heußner, JF Raskin
2013 13th International Conference on Application of Concurrency to System …, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20