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 × Austria
1 × Italy
1 × Portugal
1 × United Kingdom
2 × France
Collaborated with:
P.Gastin B.Bollig M.Zeitoun P.Ganty R.Majumdar P.Habermehl M.Leucker T.Brihaye G.Geeraerts H.Ho D.Busatto-Gaston P.Reynier O.Sankur
Talks about:
automata (6) weight (4) pebbl (3) approach (2) logic (2) time (2) underapproxim (1) character (1) translat (1) synthesi (1)

Person: Benjamin Monmege

DBLP DBLP: Monmege:Benjamin

Contributed to:

CSL-LICS 20142014
DLT 20132013
FOSSACS 20132013
CIAA 20122012
CAV 20102010
ICALP (2) 20102010
CAV (1) 20172017
CAV (1) 20192019

Wrote 8 papers:

LICS-CSL-2014-BolligGMZ #automaton #logic
Logical characterization of weighted pebble walking automata (BB, PG, BM, MZ), p. 10.
DLT-2013-BolligHLM #approach #automaton #learning
A Fresh Approach to Learning Register Automata (BB, PH, ML, BM), pp. 118–130.
FoSSaCS-2013-BolligGM #specification #word
Weighted Specifications over Nested Words (BB, PG, BM), pp. 385–400.
CIAA-2012-GastinM #automaton
Adding Pebbles to Weighted Automata (PG, BM), pp. 28–51.
CAV-2010-GantyMM #approximate #bound
Bounded Underapproximations (PG, RM, BM), pp. 600–614.
ICALP-v2-2010-BolligGMZ #automaton #logic #transitive
Pebble Weighted Automata and Transitive Closure Logics (BB, PG, BM, MZ), pp. 587–598.
CAV-2017-BrihayeGHM #automaton #composition #named
MightyL: A Compositional Translation from MITL to Timed Automata (TB, GG, HMH, BM), pp. 421–440.
CAV-2019-Busatto-GastonM #approach #automaton #robust #synthesis
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach (DBG, BM, PAR, OS), pp. 572–590.

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.