Dependable Computing and Fault-Tolerant Systems

Systems Modeling: Methodologies and Tools

Stabilization, Safety, and Security of Distributed Systems

25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2–4, 2023, Proceedings

Architecture of Computing Systems

37th International Conference, ARCS 2024, Potsdam, Germany, May 14–16, 2024, Proceedings

Stabilization, Safety, and Security of Distributed Systems

26th International Symposium, SSS 2024, Nagoya, Japan, October 20–22, 2024, Proceedings

Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

Architecture of Computing Systems

38th International Conference, ARCS 2025, Kiel, Germany, April 22–24, 2025, Proceedings

Stabilization, Safety, and Security of Distributed Systems

27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9–11, 2025, Proceedings

Distributed Computing and Intelligent Technology

22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16–19, 2026, Proceedings

Mobile Multimedia Communications

18th EAI International Conference, MobiMedia 2025, Lhasa, China, August 15–17, 2025, Revised Selected Papers

Verification and Evaluation of Computer and Communication Systems

18th International Conference, VECoS 2025, Paris, France, November 5–7, 2025, Proceedings

Stabilization, Safety, and Security of Distributed Systems

16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Embracing Global Computing in Emerging Economies

First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings

Architecture of Computing Systems - ARCS 2017

30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Stabilization, Safety, and Security of Distributed Systems

19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

Architecture of Computing Systems – ARCS 2018

31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

High Performance Computing

33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Systems Modeling: Methodologies and Tools

Dependable Computing EDCC-4

4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings

Dependable Computing

First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

Dependable Computing - EDCC 2005

5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

Dependable Computing

Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Dependable Computing - EDCC-2

Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

Dependable Computing for Critical Applications 3

Evolution of Fault-Tolerant Computing

In the Honor of William C. Carter

Software Diversity in Computerized Control Systems

Fault Tolerance

Principles and Practice

Dependable Computing for Critical Applications

Dependability: Basic Concepts and Terminology

In English, French, German, Italian and Japanese

Dependable Computing for Critical Applications 2