Gilles Geeraerts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | RTNS | Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles. | Simon Picard, Antonio Paolillo, Gilles Geeraerts, Jol Goossens |
| 2018 | ICECCS | Efficient Algorithms and Tools for MITL Model-Checking and Synthesis. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege |
| 2017 | CAV | MightyL: A Compositional Translation from MITL to Timed Automata. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2017 | ICALP | Admissiblity in Concurrent Games. | Nicolas Basset, Gilles Geeraerts, Jean-Franois Raskin, Ocan Sankur |
| 2017 | TIME | Timed-Automata-Based Verification of MITL over Signals. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2017 | TIME | Models and Algorithms for Chronology. | Gilles Geeraerts, Eythan Levy, Frdric Pluquet |
| 2015 | CONCUR | To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. | Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege |
| 2014 | CONCUR | Adding Negative Prices to Priced Timed Games. | Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi |
| 2013 | ATVA | Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2011 | ICALP | On Reachability for Hybrid Automata over Bounded Time. | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Jol Ouaknine, Jean-Franois Raskin, James Worrell |
| 2011 | RTNS | A faster exact multiprocessor schedulability test for sporadic tasks. | Markus Lindstrm, Gilles Geeraerts, Jol Goossens |
| 2010 | ATVA | Lattice-Valued Binary Decision Diagrams. | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin |
| 2007 | ATVA | On the Efficient Computation of the Minimal Coverability Set for Petri Nets. | Gilles Geeraerts, Jean-Franois Raskin, Laurent Van Begin |
| 2005 | CAV | Expand, Enlarge and Check... Made Efficient. | Gilles Geeraerts, Jean-Franois Raskin, Laurent Van Begin |