Travelled to:1 × Germany
1 × Hungary
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:O.Carton S.Haddad L.Fribourg G.Benattar D.Lime J.Mullins O.H.Roux M.Sassolas A.Labroue P.Schnoebelen P.Bouyer V.Jugé
Talks about:synthesi (3) channel (3) finit (3) time (3) transduc (2) trajectori (1) interrupt (1) protocol (1) parametr (1) parallel (1)
Person: Béatrice Bérard
DBLP: B=eacute=rard:B=eacute=atrice
Contributed to:
2014
20112012
20092000
1999
2018Wrote 7 papers:
- LATA-2014-BerardC #revisited #synthesis
- Channel Synthesis Revisited (BB, OC), pp. 149–160.
- AFL-2011-BenattarBLMRS #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 79–92.
- AFL-J-2011-BenattarBLMRS12 #finite #synthesis #transducer
- Channel Synthesis for Finite Transducers (GB, BB, DL, JM, OHR, MS), pp. 1241–1260.
- FoSSaCS-2009-BerardH #automaton
- Interrupt Timed Automata (BB, SH), pp. 197–211.
- FoSSaCS-2000-BerardLS #equivalence #parallel #performance #process #verification
- Verifying Performance Equivalence for Timed Basic Parallel Processes (BB, AL, PS), pp. 35–47.
- CAV-1999-BerardF #automation #consistency #parametricity #protocol #realtime #verification
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
- CSL-2018-BerardBJ #bisimulation #finite
- Finite Bisimulations for Dynamical Systems with Overlapping Trajectories (BB, PB, VJ), p. 17.