Evaluation of EEE Reliability Prediction Models for Space Applications

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

Source: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. :218-221 Jun, 2016

Relation: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)

Safety Trigger Conditions for Critical Autonomous Systems

Authors: Mekki-Mokhtar, Amina, Blanquart, Jean-Paul, Guiochet, Jeremie, Powell, David, Roy, Matthieu

Source: 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing Dependable Computing (PRDC), 2012 IEEE 18th Pacific Rim International Symposium on. :61-69 Nov, 2012

Relation: 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC)

Software Safety Assessment and Probabilities

Authors: Blanquart, Jean-Paul, Baufreton, Philippe, Boulanger, Jean-Louis, Camus, Jean-Louis, Comar, Cyrille, Delseny, Herve, Gassino, Jean, Ledinot, Emmanuel, Quere, Philippe, Ricque, Bertrand

Source: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. :213-214 Jun, 2016

Relation: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)

Synchronous Consensus with Mortal Byzantines

Authors: Widder, Josef, Gridling, Gunther, Weiss, Bettina, Blanquart, Jean-Paul

Source: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) Dependable Systems and Networks, 2007. DSN '07. 37th Annual IEEE/IFIP International Conference on. :102-112 Jun, 2007

Relation: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks

A framework for dependability engineering of critical computing systems

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

Source: In Safety Science 2002 40(9):731-752

Consensus in the presence of mortal Byzantine faulty processes.

Authors: Widder, Josef¹, widder@forsyte.tuwien.ac.at, Biely, Martin², martin.biely@epfl.ch, Gridling, Günther³, gg@ecs.tuwien.ac.at, Weiss, Bettina³, bw@ecs.tuwien.ac.at, Blanquart, Jean-Paul⁴, jean-paul.blanquart@astrium.eads.net

Source: Distributed Computing; Jan2012, Vol. 24 Issue 6, p299-321, 23p, 1 Chart

This result is not displayed to guests.
Login for full access.

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

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

Source: Computer Safety, Reliability & Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings; 2014, p262-277, 16p

Which Automata for Which Safety Assessment Step of Satellite FDIR?

Authors: Pintard, Ludovic, Seguin, Christel, Blanquart, Jean-Paul

Source: Computer Safety, Reliability & Security (9783642336775); 2012, p235-246, 12p