index.htm

Welcome Address from VMU • Prof. Ineta Dabasinskiene, Rector of Vytautas Magnus University (VMU) • Prof. Juozas Augutis, Vice-President of the Lithuanian Academy of Sciences • Dr. Saulius Maskeliunas, Lithuanian Representative to IFIP General Assembly
Honoring Those Who Inspire Us
• *Al Avižienis* presented by Marco Vieira
• Jean-Claude Laprie presented by Jean Arlat
• *Hermann Kopetz* presented by Wilfried Steiner
• Brian Randell presented by Tom Anderson
• John Meyer presented by Bill Sanders
• Bill Carter presented by Ravi Iyer

• Tribute to Alain Costes (1938-2026)
presented by Jean Arlat

Session 2 - Human Factors in Dependability and Resilience

Human contributions to dependability

Harold Thimbleby, Swansea University, UK

Trial by Camera: Are You My Accuser, or Is it the Software?

Roy Maxion, Carnegie Mellon University, US

Session 3 - Evolving Safety and Security in Intelligent Systems

What motivated the concept of fault tolerance

Al Avižienis, Vytautas Magnus University, LT

(Careful) Disruption for Safety

Pascal Traverse, FR

Intelligent Vehicle Dependability and Security: Challenges for Today (2026-30) and Tomorrow (2030-40)

Wilfried Steiner, TTTech, AT

Session 4 - Resilience and Assurance: Present, and Future

Fast or Slow? Human-Inspired Self-Evolving Framework for Resilient AI Systems

Ravi Iyer, University of Illinois at Urbana-Champaign, US

Assurance cases: past, present and future

Robert Stroud, NCC, UK

An essential topic for our future work

Al Avžienis, Vytautas Magnus University, LT

Session 5 - Perspectives on the Future of Dependable Systems

When life gives you lemons, make lemonade: a view on the future of dependable computing in an agentic era

Behrooz Sangchoolie, RISE Research Institutes of Sweden, SE

In Search of Understandable Distributed Systems: Revisiting the Raft Vision in the Vibe Coding Era

Amy Babay, University of Pittsburgh, US

Rethinking dependability from the ground up

Marcus Voelp, University of Luxembourg, LU

Session 6 - Research Reports

Experience with static analysis - looking for needles in haystacks Robert Stroud, NCC, UK
Trustworthy Distributed AI and Machine Learning - Challenges and Opportunities Sara Bouchenak, INSA Lyon, FR
Automated Vulnerability Injection in Smart Contracts Using Large Language Models Nuno Laranjeiro, University of Coimbra, PT
Why are we still far from safe and secure autonomous vehicles? - some food for thought Paulo Verissimo, University of Lisbon, PT
Privacy-preserving privacy identity management Roman Vitenber, University of Oslo, NO
Fault/intrusion tolerance through metamorphic diversity Felicita Di Giandomenico, ISTI-CNR, IT
BFT Models for Dynamic Spectrum Sharing Amy Babay, University of Pittsburgh, US
World Model vs. ML End to End in Autonomous Driving (cont. discussion) Wilfried Steiner, TTTech, AT

Session 7 - Session Summaries

Session 2 - Human Factors in Dependability and Resilience Carl Landwehr, University of Michigan, US
Session 3 - Evolving Safety and Security in Intelligent Systems Ilir Gashi, City St George’s, University of London, UK
Session 4 - Resilience and Assurance: Present, and Future Paulo Verissimo, University of Lisbon, PT
Session 5 - Perspectives on the Future of Dependable Systems Andrea Ceccarelli, University of Florence, IT

IFIP Working Group 10.4 Dependable Computing and Fault Tolerance