Search the dblp DataBase

Publications of Author

1. Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer
   Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt. [Citation Graph (0, 0)][DBLP]
   FTCS, 1999, pp:348-351 [Conf]
   
2. Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille
   Executable Assertions and Timed Traces for On-Line Software Error Detection. [Citation Graph (0, 0)][DBLP]
   FTCS, 1996, pp:138-147 [Conf]
   
3. Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell
   Supporting Multiple Levels of Criticality. [Citation Graph (0, 0)][DBLP]
   FTCS, 1998, pp:70-79 [Conf]
   
4. Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
   Dependability Engineering of Complex Computing Systems. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2000, pp:36-0 [Conf]
   
5. Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
   A Dependability-Explicit Model for the Development of Computing Systems. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2000, pp:107-116 [Conf]
   
6. Laurence Rognin, Jean-Paul Blanquart
   Impact of Communication on Systems Dependability: Human Factors Perspectives. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 1999, pp:113-124 [Conf]
   
7. Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
   Synchronous Consensus with Mortal Byzantines. [Citation Graph (0, 0)][DBLP]
   DSN, 2007, pp:102-112 [Conf]
   
8. 
   Formal Modeling of Data. A Case Study for Space Applications. [Citation Graph (, )][DBLP]