B. Dutertre

Formal analysis for real-time scheduling

V. Stavridou, B. Dutertre, B. Dutertre, 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

Intrusion tolerant software architectures

B. Dutertre, V. Stavridou, R.A. Riemenschneider, 2001, Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.

A model of noninterference for integrating mixed-criticality software components

V. Stavridou, B. Dutertre, B. Dutertre, 1999, Dependable Computing for Critical Applications 7.

Formal methods and dependability assessment

Shaoying Liu, Victoria Stavridou, B. Dutertre, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

Discrete Event Systems and Synchronous Languages: An Example

A. Benveniste, P. Le Guernic, B. Dutertre, 1993 .

Model-based analysis of Timed-Triggered Ethernet

B. Hall, B. Dutertre, W. Steiner, 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).