Jean-Paul Blanquart

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