Applicable Formal Methods for Safe Industrial Products

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.