Bruno d'Ausbourg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1992–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TASE | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |
| 2007 | HCI | Formal Validation of Java/Swing User Interfaces with the Event B Method. | Alexandre Cortier, Bruno d'Ausbourg, Yamine At Ameur |
| 1998 | ICSE | Helping the Automated Validation Process of User Interfaces Systems. | Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roch |
| 1994 | ESORICS | Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. | Bruno d'Ausbourg |
| 1994 | ESORICS | A Secure Medium Access Control Protocol: Security vs Performances. | Pierre Siron, Bruno d'Ausbourg |
| 1993 | USENIX | UNIX Services for Multilevel Storage and Communications Over a Secure LAN. | Bruno d'Ausbourg, Christel Calas |
| 1992 | ESORICS | M | Bruno d'Ausbourg, Jean-Henri Llareus |