| Socio-technical complex systems of systems: can we justifiably trust their resilience? | 0 | 0.34 | 2011 |
| Technological and Educational Challenges of Resilient Computing | 0 | 0.34 | 2010 |
| Resilient computing: An engineering discipline | 9 | 0.95 | 2009 |
| Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies | 7 | 0.73 | 2007 |
| Ambient Dependability: A Grand Challenge | 0 | 0.34 | 2005 |
| Architectural challenges for a dependable Information Society | 1 | 0.49 | 2004 |
| AMSD: A Dependability Roadmap for the Information Society in Europe | 1 | 0.63 | 2003 |
| Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability | 0 | 0.34 | 2002 |
| Design Validation of Embedded Dependable Systems | 3 | 0.50 | 2001 |
| Hierarchical Modelling Of Complex Control Systems: Dependability Analysis Of A Railway Interlocking | 3 | 0.42 | 2001 |
| Formally Verifying Fault Tolerant System Designs | 18 | 0.82 | 2000 |
| Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. | 0 | 0.34 | 1999 |
| Temporal analysis of data flow control systems | 0 | 0.34 | 1998 |
| Validating the Design of Dependable Systems | 1 | 0.35 | 1998 |
| Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking | 13 | 1.60 | 1996 |
| Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings | 26 | 2.08 | 1996 |
| Reachability and Timing Analysis in Data Flow Networks: A Case Study | 0 | 0.34 | 1996 |
| Using Process Algebras for the Semantic Analysis of Data Flow Networks. | 0 | 0.34 | 1995 |
| Using Process Algebras for the Semantic Analysis of Data Flow Networks. | 0 | 0.34 | 1995 |
| Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study | 4 | 0.50 | 1994 |
| Data Flow Control Systems: an Example of Safety Validation | 2 | 0.40 | 1993 |
| Functional paradigm for designing dependable large-scale parallel computing systems | 4 | 0.58 | 1993 |
| From Data Flow Networks to Process Algebras | 2 | 0.38 | 1993 |
| Dataflow-like languages for real-time systems: issues of computational models and notation | 6 | 0.79 | 1992 |
| What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? | 0 | 0.34 | 1992 |
| Design Description Languages for the Design of Predictability Dependable Real-Time Systems | 0 | 0.34 | 1992 |
| The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm | 2 | 0.44 | 1992 |
| A Performable BSM Architecture | 0 | 0.34 | 1991 |
| A Fault-Tolerant Distributed Control VLSI Permutation Network | 0 | 0.34 | 1989 |
| Gracefully degradable algorithms for Byzantine agreement | 2 | 0.41 | 1987 |
| Reliable Multicast Protocols for a Token Ring Architecture | 0 | 0.34 | 1987 |
| MuTEAM: An experience in the design of robust multiprocessor systems | 0 | 0.34 | 1985 |
| A Distributed Domino-Effect free recovery Algorithm | 75 | 6.17 | 1984 |
| The architecture and the fault-treatment of MuTEAM | 0 | 0.34 | 1984 |
| Subgraphs smaller than the girth. | 0 | 0.34 | 1980 |
| Analysis and Optimal Design of Self-Diagnosable Systems with Repair | 5 | 0.72 | 1979 |
