Travelled to:
1 × Switzerland
1 × United Kingdom
Collaborated with:
J.Raskin T.Brihaye L.V.Begin H.Ho B.Monmege L.Doyen J.Ouaknine J.Worrell
Talks about:
automata (2) time (2) translat (1) reachabl (1) composit (1) mighti (1) hybrid (1) expand (1) enlarg (1) effici (1)
Person: Gilles Geeraerts
DBLP: Geeraerts:Gilles
Contributed to:
Wrote 3 papers:
- ICALP-v2-2011-BrihayeDGORW #automaton #bound #hybrid #on the #reachability
- On Reachability for Hybrid Automata over Bounded Time (TB, LD, GG, JO, JFR, JW), pp. 416–427.
- CAV-2005-GeeraertsRB #performance
- Expand, Enlarge and Check... Made Efficient (GG, JFR, LVB), pp. 394–407.
- CAV-2017-BrihayeGHM #automaton #composition #named
- MightyL: A Compositional Translation from MITL to Timed Automata (TB, GG, HMH, BM), pp. 421–440.