Laudatio
Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products
Testing
On Testing Ethical Autonomous Decision-Making
Bringing RoboStar and RT-Tester together
Implementation Relations for Distributed Testing
Conformance Relations between Input/Output Languages
On Scenario-Based Testing of Cyber-Physical Systems
Railway Verification and Safety & Security
Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems
Decomposing the Verification of Interlocking Systems
Pattern-based risk identification for model-based risk management
A Journey through Software Model Checking of Interlocking Programs
Formal Modelling to Improve Safety and Security
Intelligent Systems and Cyber-Physical Systems
Time for Traffic Manoeuvres
Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles
Supervision of Intelligent Systems: An Overview
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems
Tools and Techniques for Specification, Verification and Code Generation
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support
Space Telemetry Analysis with PyContract
An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines
Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine
Debugging Frame Conditions.