Bruno d'Ausbourg

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 2

Top Topics

Development Process

Safety Critical

Framework Enables

Top Venues

Publications

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
Formal development process of safety-critical embedded human machine interface systems. TASE (2017)
Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli
EDF schedulability test for the E-TDL time-triggered framework. SIES (2016)
Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli
Towards EDF schedulability analysis of an extended timing definition language. SIGBED Rev. 11 (3) (2014)
Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli
EDF schedulability analysis for an extended Timing Definition Language. SIES (2014)
Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur
Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) (2007)
Bruno d'Ausbourg, Jean-Loup Bussenot, Pierre Siron
PERFOSIM: A Performance Evaluation Tool for HLA Distributed Simulations. DS-RT (2002)
Bruno d'Ausbourg
Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord. IHM (2002)
Bruno d'Ausbourg, Jacques Cazin
Using TRIO Specifications to Generate Test Cases for an Interactive System. DSV-IS (1999)
Bruno d'Ausbourg
Using Model Checking for the Automatic Validation of User Interface Systems. DSV-IS (1998)
Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
Helping the Automated Validation Process of User Interfaces Systems. ICSE (1998)
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)
Bruno d'Ausbourg, Christel Calas
Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. J. Comput. Secur. 4 (1) (1996)
Pierre Siron, Bruno d'Ausbourg
A Secure Medium Access Control Protocol: Security vs Performances. ESORICS (1994)
Bruno d'Ausbourg
Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem. ESORICS (1994)
Bruno d'Ausbourg, Christel Calas
UNIX Services for Multilevel Storage and Communications Over a Secure LAN. USENIX Winter (1993)
Bruno d'Ausbourg, Jean-Henri Llareus
S: A Machine for Multilevel Security. ESORICS (1992)