BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Geeraerts:Gilles

Contributed to:

ICALP (2) 20112011
CAV 20052005
CAV (1) 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.