Jean-Paul Blanquart

According to our database, Jean-Paul Blanquart authored at least 18 papers between 1996 and 2018.

Collaborative distances:

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

2018

SMOF: A Safety Monitoring Framework for Autonomous Systems.

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson

IEEE Trans. Syst. Man Cybern. Syst., 2018

2016

Task Model-Based Systematic Analysis of Both System Failures and Human Errors.

Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin

IEEE Trans. Hum. Mach. Syst., 2016

Evaluation of EEE Reliability Prediction Models for Space Applications.

S. Bourbouse, Jean-Paul Blanquart, J. F. Gajewski, C. Lahorgue

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Software Safety Assessment and Probabilities.

Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2014

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck

Proceedings of the Computer Safety, Reliability, and Security, 2014

2012

Consensus in the presence of mortal Byzantine faulty processes.

Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart

Distributed Comput., 2012

Which Automata for Which Safety Assessment Step of Satellite FDIR?

Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart

Proceedings of the Computer Safety, Reliability, and Security, 2012

Safety Trigger Conditions for Critical Autonomous Systems.

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

2011

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.

Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien

Proceedings of the Computer Safety, Reliability, and Security, 2011

2007

Formal Modeling of Data. A Case Study for Space Applications.

Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin

Proceedings of the ISoLA 2007, 2007

Synchronous Consensus with Mortal Byzantines.

Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart

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

2001

Human communication, mutual awareness and system dependability. Lessons learnt from air-traffic control field studies.

Laurence Rognin, Jean-Paul Blanquart

Reliab. Eng. Syst. Saf., 2001

2000

A Dependability-Explicit Model for the Development of Computing Systems.

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart

Proceedings of the Computer Safety, 2000

Dependability Engineering of Complex Computing Systems.

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

Impact of Communication on Systems Dependability: Human Factors Perspectives.

Laurence Rognin, Jean-Paul Blanquart

Proceedings of the Computer Safety, 1999

Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt.

Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Supporting Multiple Levels of Criticality.

Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell

Proceedings of the Digest of Papers: FTCS-28, 1998

1996

Executable Assertions and Timed Traces for On-Line Software Error Detection.

Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille

Proceedings of the Digest of Papers: FTCS-26, 1996