Bruno d'Ausbourg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Yamine Aït Ameur [12]
2Jean-Loup Bussenot [11]
3Christel Calas [2] [5]
4Jacques Cazin [9]
5Alexandre Cortier [12]
6Guy Durrieu [6] [7]
7Jean-Henri Llareus [1]
8Pierre Roché [6] [7]
9Christel Seguin [7]
10Pierre Siron [3] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)