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 × Croatia
1 × Italy
1 × Portugal
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:
B.Srivathsan I.Walukiewicz B.Boigelot G.Sutre T.Q.Tran S.Jodogne L.Clemente A.Stainer
Talks about:
automata (4) time (4) abstract (2) acceler (2) hybrid (2) structur (1) reachabl (1) communic (1) transit (1) process (1)

Person: Frédéric Herbreteau

DBLP DBLP: Herbreteau:Fr=eacute=d=eacute=ric

Contributed to:

CAV 20132013
FOSSACS 20132013
LICS 20122012
CAV 20102010
TACAS 20072007
CAV 20062006
CAV 20032003

Wrote 7 papers:

CAV-2013-HerbreteauSW #abstraction #automaton #lazy evaluation
Lazy Abstractions for Timed Automata (FH, BS, IW), pp. 990–1005.
FoSSaCS-2013-ClementeHSS #communication #process #reachability
Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
LICS-2012-HerbreteauSW #abstraction #automaton
Better Abstractions for Timed Automata (FH, BS, IW), pp. 375–384.
CAV-2010-HerbreteauSW #automaton #performance
Efficient Emptiness Check for Timed Büchi Automata (FH, BS, IW), pp. 148–161.
TACAS-2007-HerbreteauST #concurrent
Unfolding Concurrent Well-Structured Transition Systems (FH, GS, TQT), pp. 706–720.
CAV-2006-BoigelotH #hybrid #power of
The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
CAV-2003-BoigelotHJ #automaton #hybrid #using
Hybrid Acceleration Using Real Vector Automata (BB, FH, SJ), pp. 193–205.

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.