Bruno d'Ausbourg

According to our database, Bruno d'Ausbourg authored at least 16 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Formal development process of safety-critical embedded human machine interface systems.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

EDF schedulability test for the E-TDL time-triggered framework.

Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2014

Towards EDF schedulability analysis of an extended timing definition language.

Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli

SIGBED Rev., 2014

EDF schedulability analysis for an extended Timing Definition Language.

Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

2007

Formal Validation of Java/Swing User Interfaces with the Event B Method.

Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur

Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007

2002

Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord.

Bruno d'Ausbourg

Proceedings of the 14th French-speaking conference on Human-computer interaction, 2002

PERFOSIM: A Performance Evaluation Tool for HLA Distributed Simulations.

Bruno d'Ausbourg, Jean-Loup Bussenot, Pierre Siron

Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

1999

Using TRIO Specifications to Generate Test Cases for an Interactive System.

Bruno d'Ausbourg, Jacques Cazin

Proceedings of the Design, 1999

1998

Helping the Automated Validation Process of User Interfaces Systems.

Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché

Proceedings of the Forging New Links, 1998

Using Model Checking for the Automatic Validation of User Interface Systems.

Bruno d'Ausbourg

Proceedings of the Design, 1998

1996

Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem.

Bruno d'Ausbourg, Christel Calas

J. Comput. Secur., 1996

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é

Proceedings of the Design, 1996

1994

Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem.

Bruno d'Ausbourg

Proceedings of the Computer Security, 1994

A Secure Medium Access Control Protocol: Security vs Performances.

Pierre Siron, Bruno d'Ausbourg

Proceedings of the Computer Security, 1994

1993

UNIX Services for Multilevel Storage and Communications Over a Secure LAN.

Bruno d'Ausbourg, Christel Calas

Proceedings of the Usenix Winter 1993 Technical Conference, 1993

1992

M²S: A Machine for Multilevel Security.

Bruno d'Ausbourg, Jean-Henri Llareus

Proceedings of the Computer Security, 1992