Search the dblp DataBase

Publications of Author

1. Bruno d'Ausbourg, Jean-Loup Bussenot, Pierre Siron
   PERFOSIM: A Performance Evaluation Tool for HLA Distributed Simulations. [Citation Graph (0, 0)][DBLP]
   DS-RT, 2002, pp:23-32 [Conf]
   
2. Bruno d'Ausbourg
   Using Model Checking for the Automatic Validation of User Interface Systems. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1998, pp:242-260 [Conf]
   
3. Bruno d'Ausbourg, Jacques Cazin
   Using TRIO Specifications to Generate Test Cases for an Interactive System. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1999, pp:148-166 [Conf]
   
4. Bruno d'Ausbourg, Guy Durrieu, Pierre Roché
   Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 1996, pp:105-122 [Conf]
   
5. Bruno d'Ausbourg
   Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. [Citation Graph (0, 0)][DBLP]
   ESORICS, 1994, pp:249-266 [Conf]
   
6. Bruno d'Ausbourg, Jean-Henri Llareus
   M²S: A Machine for Multilevel Security. [Citation Graph (0, 0)][DBLP]
   ESORICS, 1992, pp:373-392 [Conf]
   
7. Pierre Siron, Bruno d'Ausbourg
   A Secure Medium Access Control Protocol: Security vs Performances. [Citation Graph (0, 0)][DBLP]
   ESORICS, 1994, pp:267-279 [Conf]
   
8. Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
   Helping the Automated Validation Process of User Interfaces Systems. [Citation Graph (0, 0)][DBLP]
   ICSE, 1998, pp:219-228 [Conf]
   
9. Bruno d'Ausbourg, Christel Calas
   UNIX Services for Multilevel Storage and Communications Over a Secure LAN. [Citation Graph (0, 0)][DBLP]
   USENIX Winter, 1993, pp:157-168 [Conf]
   
10. Bruno d'Ausbourg, Christel Calas
    Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1996, v:4, n:1, pp:3-26 [Journal]
    
11. Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur
    Formal Validation of Java/Swing User Interfaces with the Event B Method. [Citation Graph (0, 0)][DBLP]
    HCI (1), 2007, pp:1062-1071 [Conf]
    
12. 
    Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord. [Citation Graph (, )][DBLP]