 | 2007 |
|---|
| 12 |       | Alexandre 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 |
| 2002 |
|---|
| 11 | | Bruno d'Ausbourg,
Jean-Loup Bussenot,
Pierre Siron:
PERFOSIM: A Performance Evaluation Tool for HLA Distributed Simulations.
DS-RT 2002: 23-32 |
| 10 | | Bruno d'Ausbourg:
Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord.
IHM 2002: 145-152 |
| 1999 |
|---|
| 9 |  | Bruno d'Ausbourg,
Jacques Cazin:
Using TRIO Specifications to Generate Test Cases for an Interactive System.
DSV-IS 1999: 148-166 |
| 1998 |
|---|
| 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 |
| 1996 |
|---|
| 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) |
| 1994 |
|---|
| 4 | | Bruno d'Ausbourg:
Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem.
ESORICS 1994: 249-266 |
| 3 | | Pierre Siron,
Bruno d'Ausbourg:
A Secure Medium Access Control Protocol: Security vs Performances.
ESORICS 1994: 267-279 |
| 1993 |
|---|
| 2 | | Bruno d'Ausbourg,
Christel Calas:
UNIX Services for Multilevel Storage and Communications Over a Secure LAN.
USENIX Winter 1993: 157-168 |
| 1992 |
|---|
| 1 | | Bruno d'Ausbourg,
Jean-Henri Llareus:
M2S: A Machine for Multilevel Security.
ESORICS 1992: 373-392 |
