 | 2012 |
|---|
| 10 |       | Josef Widder,
Martin Biely,
Günther Gridling,
Bettina Weiss,
Jean-Paul Blanquart:
Consensus in the presence of mortal Byzantine faulty processes.
Distributed Computing 24(6): 299-321 (2012) |
| 2011 |
|---|
| 9 | | Jean-Paul Blanquart,
Eric Armengaud,
Philippe Baufreton,
Quentin Bourrouilh,
Gerhard Griessnig,
Martin Krammer,
Odile Laurent,
Joseph Machrouh,
Thomas Peikenkamp,
Cecile Schindler,
Tormod Wien:
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.
SAFECOMP 2011: 57-70 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page