Arnaud Albinet

According to our database, Arnaud Albinet authored at least 6 papers between 2002 and 2010.

Collaborative distances:

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

2010

Requirements and Solutions for Timing Analysis of Automotive Systems.

Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier

Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Requirement traceability in safety critical systems.

Marie-Agnès Peraldi-Frati, Arnaud Albinet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2008

Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes.

Arnaud Albinet, Jean Arlat, J. Fabre

Tech. Sci. Informatiques, 2008

2005

Caractérisation de systèmes d'exploitation en présence de pilotes défaillants.

Arnaud Albinet

PhD thesis, 2005

2004

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.

Arnaud Albinet, Jean Arlat, Jean-Charles Fabre

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2002

MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.

Manuel Rodríguez, Arnaud Albinet, Jean Arlat

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002