Bruno d'Ausbourg

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