M2S: A Machine for Multilevel Security. - Bruno d'Ausbourg; Jean-Henri Llareus (ESORICS, 1992)

UNIX Services for Multilevel Storage and Communications Over a Secure LAN. - Bruno d'Ausbourg; Christel Calas (USENIX Winter, 1993)

A Secure Medium Access Control Protocol: Security vs Performances. - Pierre Siron; Bruno d'Ausbourg (ESORICS, 1994)

Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. - Bruno d'Ausbourg (ESORICS, 1994)

Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. - Bruno d'Ausbourg; Guy Durrieu; Pierre Roché (DSV-IS, 1996)

Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. - Bruno d'Ausbourg; Christel Calas (J. Comput. Secur., 1996)

Using Model Checking for the Automatic Validation of User Interface Systems. - Bruno d'Ausbourg (DSV-IS, 1998)

Helping the Automated Validation Process of User Interfaces Systems. - Bruno d'Ausbourg; Christel Seguin; Guy Durrieu; Pierre Roché (ICSE, 1998)

Using TRIO Specifications to Generate Test Cases for an Interactive System. - Bruno d'Ausbourg; Jacques Cazin (DSV-IS, 1999)

PERFOSIM: A Performance Evaluation Tool for HLA Distributed Simulations. - Bruno d'Ausbourg; Jean-Loup Bussenot; Pierre Siron (DS-RT, 2002)

Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord. - Bruno d'Ausbourg (IHM, 2002)

Formal Validation of Java/Swing User Interfaces with the Event B Method. - Alexandre Cortier; Bruno d'Ausbourg; Yamine Aït Ameur (HCI (1), 2007)

EDF schedulability analysis for an extended Timing Definition Language. - Tomasz Kloda; Bruno d'Ausbourg; Luca Santinelli (SIES, 2014)

Towards EDF schedulability analysis of an extended timing definition language. - Tomasz Kloda; Bruno d'Ausbourg; Luca Santinelli (SIGBED Rev., 2014)

EDF schedulability test for the E-TDL time-triggered framework. - Tomasz Kloda; Bruno d'Ausbourg; Luca Santinelli (SIES, 2016)

Formal development process of safety-critical embedded human machine interface systems. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Bruno d'Ausbourg; Yamine Aït Ameur (TASE, 2017)