Executable Assertions and Timed Traces for On-Line Software Error Detection. - Christophe Rabéjac; Jean-Paul Blanquart; Jean-Pierre Queille (FTCS, 1996)

Supporting Multiple Levels of Criticality. - Eric Totel; Jean-Paul Blanquart; Yves Deswarte; David Powell (FTCS, 1998)

Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt. - Yannick Le Guédart; Luc Marneffe; François Scheerens; Jean-Paul Blanquart; Thierry Boyer (FTCS, 1999)

Impact of Communication on Systems Dependability: Human Factors Perspectives. - Laurence Rognin; Jean-Paul Blanquart (SAFECOMP, 1999)

Dependability Engineering of Complex Computing Systems. - Mohamed Kaâniche; Jean-Claude Laprie; Jean-Paul Blanquart (ICECCS, 2000)

A Dependability-Explicit Model for the Development of Computing Systems. - Mohamed Kaâniche; Jean-Claude Laprie; Jean-Paul Blanquart (SAFECOMP, 2000)

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)

Synchronous Consensus with Mortal Byzantines. - Josef Widder; Günther Gridling; Bettina Weiss; Jean-Paul Blanquart (DSN, 2007)

Formal Modeling of Data. A Case Study for Space Applications. - Jean-Paul Blanquart; Gérard Bulsa; David Lesens; George Mamais; Maxime Perrotin (ISoLA, 2007)

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 (SAFECOMP, 2011)

Safety Trigger Conditions for Critical Autonomous Systems. - Amina Mekki-Mokhtar; Jean-Paul Blanquart; Jérémie Guiochet; David Powell; Matthieu Roy (PRDC, 2012)

Which Automata for Which Safety Assessment Step of Satellite FDIR? - Ludovic Pintard; Christel Seguin; Jean-Paul Blanquart (SAFECOMP, 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)

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 (SAFECOMP, 2014)

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 (DSN Workshops, 2016)

Evaluation of EEE Reliability Prediction Models for Space Applications. - S. Bourbouse; Jean-Paul Blanquart; J. F. Gajewski; C. Lahorgue (DSN Workshops, 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)

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)