Travelled to:1 × Italy
1 × USA
Collaborated with:D.Ambroise I.Biermann P.Augé K.Bouchefra
Talks about:verif (2) marrella (1) reliabl (1) marella (1) general (1) context (1) system (1) depend (1) commut (1) simul (1)
Person: Brigitte Rozoy
DBLP: Rozoy:Brigitte
Contributed to:
2001
1996
1997Wrote 3 papers:
- FoSSaCS-2001-AmbroiseABR #embedded #verification
- MARRELLA and the Verification of an Embedded System (DA, PA, KB, BR), pp. 409–412.
- CAV-1996-AmbroiseR #named #simulation #verification
- Marella: A Tool for Simulation and Verification (DA, BR), pp. 458–461.
- TAPSOFT-1997-BiermannR #reliability
- Reliable Generalized and Context Dependent Commutation Relations (IB, BR), pp. 165–176.