Applicable Formal Methods for Safe Industrial Products

Keyphrases

Publications

2023

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products (2023)
Wen-ling Huang, Robert Sachtleben
Conformance Relations Between Input/Output Languages. Applicable Formal Methods for Safe Industrial Products (2023)
Christopher Bischopink, Ernst-Rüdiger Olderog
Time for Traffic Manoeuvres. Applicable Formal Methods for Safe Industrial Products (2023)
Jim Woodcock
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Thomas Santen
Debugging Frame Conditions. Applicable Formal Methods for Safe Industrial Products (2023)
Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. Applicable Formal Methods for Safe Industrial Products (2023)
Phillip James, Faron Moller, Markus Roggenbach
Software Model Checking of Interlocking Programs. Applicable Formal Methods for Safe Industrial Products (2023)
Maritta Heisel, Marvin Wagner
Pattern-Based Risk Identification for Model-Based Risk Management. Applicable Formal Methods for Safe Industrial Products (2023)
Jörg Brauer
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. Applicable Formal Methods for Safe Industrial Products (2023)
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Mario Gleirscher
Supervision of Intelligent Systems: An Overview. Applicable Formal Methods for Safe Industrial Products (2023)
Alexander Pretschner, Florian Hauer, Tabea Schmidt
On Scenario-Based Testing of Cyber-Physical Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Alexander Knapp
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. Applicable Formal Methods for Safe Industrial Products (2023)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. Applicable Formal Methods for Safe Industrial Products (2023)
Jens Braband
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems. Applicable Formal Methods for Safe Industrial Products (2023)
Bevin Duckett, Klaus Havelund, Luke Stewart
Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products (2023)
Thierry Lecomte
Formal Modelling to Improve Safety and Security. Applicable Formal Methods for Safe Industrial Products (2023)
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products (2023)
Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang
On Testing Ethical Autonomous Decision-Making. Applicable Formal Methods for Safe Industrial Products (2023)

volume 14165, 2023

Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Applicable Formal Methods for Safe Industrial Products 14165 (2023)