Towards EDF schedulability analysis of an extended timing definition language von Kloda, Tomasz, d'Ausbourg, Bruno, Santinelli, Luca

Volltext

Formal Validation of Java/Swing User Interfaces with the Event B Method von Cortier, Alexandre, d’Ausbourg, Bruno, Aït-Ameur, Yamine

Volltext

Controlling causal dependencies over a secure network von d'Ausbourg, Bruno, Calas, Christel

Volltext

Helping the automated validation process of user interfaces systems von d'Ausbourg, B., Seguin, C., Durrieu, G., Roche, P.

Volltext

Implementing secure dependencies over a network by designing a distributed security subsystem von d'Ausbourg, Bruno

Volltext

A secure medium access control protocol: Security versus performances von Siron, Pierre, d'Ausbourg, Bruno

Volltext

M2S: A machine for multilevel security von d'Ausbourg, Bruno, Llareus, Jean-Henri

Volltext

Helping the automated validation process of user interfaces systems von d'Ausbourg, Bruno, Seguin, Christel, Durrieu, Guy, Roché, Pierre

Volltext

Using flows for describing and verifying the behaviour of interactive systems von d’Ausbourg, Bruno, Durrieu, Guy, Roche, Pierre

Volltext