Jean-Paul Blanquart

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 4

Top Topics

Autonomous Systems

Uncertain Environments

Prediction Model

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Publications

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48 (5) (2018)
Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque
Software Safety Assessment and Probabilities. DSN Workshops (2016)
S. Bourbouse, Jean-Paul Blanquart, J. F. Gajewski, C. Lahorgue
Evaluation of EEE Reliability Prediction Models for Space Applications. DSN Workshops (2016)
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. SAFECOMP (2014)
Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
Consensus in the presence of mortal Byzantine faulty processes. Distributed Comput. 24 (6) (2012)
Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart
Which Automata for Which Safety Assessment Step of Satellite FDIR? SAFECOMP (2012)
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
Safety Trigger Conditions for Critical Autonomous Systems. PRDC (2012)
Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. SAFECOMP (2011)
Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
Synchronous Consensus with Mortal Byzantines. DSN (2007)
Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin
Formal Modeling of Data. A Case Study for Space Applications. ISoLA (2007)
Laurence Rognin, Jean-Paul Blanquart
Human communication, mutual awareness and system dependability. Lessons learnt from air-traffic control field studies. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
A Dependability-Explicit Model for the Development of Computing Systems. SAFECOMP (2000)
Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
Dependability Engineering of Complex Computing Systems. ICECCS (2000)
Laurence Rognin, Jean-Paul Blanquart
Impact of Communication on Systems Dependability: Human Factors Perspectives. SAFECOMP (1999)
Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer
Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt. FTCS (1999)
Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell
Supporting Multiple Levels of Criticality. FTCS (1998)
Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille
Executable Assertions and Timed Traces for On-Line Software Error Detection. FTCS (1996)