 | 2007 |
|---|
| 8 |       | Josef Widder,
Günther Gridling,
Bettina Weiss,
Jean-Paul Blanquart:
Synchronous Consensus with Mortal Byzantines.
DSN 2007: 102-112 |
| 7 |  | Jean-Paul Blanquart,
Gérard Bulsa,
David Lesens,
George Mamais,
Maxime Perrotin:
Formal Modeling of Data. A Case Study for Space Applications.
ISoLA 2007: 123-134 |
| 2000 |
|---|
| 6 | | Mohamed Kaâniche,
Jean-Claude Laprie,
Jean-Paul Blanquart:
Dependability Engineering of Complex Computing Systems.
ICECCS 2000: 36- |
| 5 | | Mohamed Kaâniche,
Jean-Claude Laprie,
Jean-Paul Blanquart:
A Dependability-Explicit Model for the Development of Computing Systems.
SAFECOMP 2000: 107-116 |
| 1999 |
|---|
| 4 | | 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: 348-351 |
| 3 | | Laurence Rognin,
Jean-Paul Blanquart:
Impact of Communication on Systems Dependability: Human Factors Perspectives.
SAFECOMP 1999: 113-124 |
| 1998 |
|---|
| 2 | | Eric Totel,
Jean-Paul Blanquart,
Yves Deswarte,
David Powell:
Supporting Multiple Levels of Criticality.
FTCS 1998: 70-79 |
| 1996 |
|---|
| 1 | | Christophe Rabéjac,
Jean-Paul Blanquart,
Jean-Pierre Queille:
Executable Assertions and Timed Traces for On-Line Software Error Detection.
FTCS 1996: 138-147 |
