Travelled to:1 × France
1 × Germany
Collaborated with:G.Gößler J.Sifakis R.Morin P.Niebert S.Zennou
Talks about:construct (1) unfold (1) system (1) search (1) local (1) first (1) black (1) time (1) live (1) box (1)
Person: Sébastien Bornot
DBLP: Bornot:S=eacute=bastien
Contributed to:
20022000Wrote 2 papers:
- TACAS-2002-BornotMNZ #black box
- Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
- TACAS-2000-BornotGS #on the
- On the Construction of Live Timed Systems (SB, GG, JS), pp. 109–126.