Jean Arlat

According to our database1, Jean Arlat authored at least 57 papers between 1984 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Benchmarking Safety Monitors for Image Classifiers with Machine Learning.
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

2014
Towards resilient cyber-physical systems: The ADREAM project.
Proceedings of the 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2014

2012
Nanocomputing: Small Devices, Large Dependability Challenges.
IEEE Secur. Priv., 2012

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Collecting, Analyzing and Archiving Results from Fault Injection Experiments.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Introduction to the fifth workshop on dependable and secure nanocomputing.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Tolerance of Design Faults.
Proceedings of the Dependable and Historic Computing, 2011

2010
Fourth workshop on dependable and secure nanocomputing.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
Enhancing dependability in avionics using virtualization.
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

Third workshop on dependable and secure nanocomputing.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes.
Tech. Sci. Informatiques, 2008

Safety and Security Architectures for Avionics.
Proceedings of the DCSOFT 2008, 2008

Second workshop on dependable and secure nanocomputing.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Workshop on Dependable and Secure Nanocomputing.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia.
IEEE Trans. Dependable Secur. Comput., 2006

Communication Integrity in Networks for Critical Control Systems.
Proceedings of the Sixth European Dependable Computing Conference, 2006

2005
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing.
Proceedings of the 11th IEEE International On-Line Testing Symposium (IOLTS 2005), 2005

2004
Empaquetâches de tolérance aux fautes pour les systèmes temps réel.
Tech. Sci. Informatiques, 2004

Benchmarking Operating System Dependability: Windows 2000 as a Case Study.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Benchmarking The Dependability of Windows NT4, 2000 and XP.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Comparison of Physical and Software-Implemented Fault Injection Techniques.
IEEE Trans. Computers, 2003

Building SWIFI Tools from Temporal Logic Specifications.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Dependability of COTS Microkernel-Based Systems.
IEEE Trans. Computers, 2002

Dependability of CORBA Systems: Service Characterization by Fault Injection.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Analysis of the Effects of Real and Injected Software Faults: .
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Dependability Characterization of Middleware Services.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Wrapping Real-Time Systems from Temporal Logic Specifications.
Proceedings of the Dependable Computing, 2002

MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.
Proceedings of the Computer Safety, 2001

2000
Formal Specification for Building Robust Real-time Microkernels.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Building dependable COTS microkernel-based systems using MAFALDA.
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

1999
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst., 1999

Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers, 1999

Validation-based development of dependable systems.
IEEE Micro, 1999

MetaKernels and Fault Containment Wrappers.
Proceedings of the Digest of Papers: FTCS-29, 1999

MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.
Proceedings of the Dependable Computing, 1999

1997
Can we rely on COTS microkernels for building fault-tolerant systems?
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Available fail-safe systems.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996
Fault injection for formal testing of fault tolerance.
IEEE Trans. Reliab., 1996

Modeling Software Dependability Growth under Input Partition Testing.
Proceedings of the 15th International Conference on Computer Safety, 1996

Dependability of Railway Control Systems.
Proceedings of the Digest of Papers: FTCS-26, 1996

On Stratified Sampling for High Coverage Estimations.
Proceedings of the Dependable Computing, 1996

1995
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers, 1995

On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
Fault Injection into VHDL Models: The MEFISTO Tool.
Proceedings of the Digest of Papers: FTCS/24, 1994

1993
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers, 1993

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
Proceedings of the Digest of Papers: FTCS-23, 1993

1990
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng., 1990

Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.
IEEE Trans. Computers, 1990

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures.
Computer, 1990

1989
Fault injection for dependability validation of fault-tolerant computing systems.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988
Dependability evaluation of software fault-tolerance.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1984
Implementation and Evaluation of a (<i>b, k</i>)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems.
IBM J. Res. Dev., 1984


  Loading...