| On Scenario-Based Testing of Cyber-Physical Systems
|
2023 |
Pretschner, Alexander |
| Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
|
2023 |
Larsen, Peter Gorm |
| Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems
|
2023 |
Woodcock, Jim |
| Space Telemetry Analysis with PyContract
|
2023 |
Duckett, Bevin |
| An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines
|
2023 |
Knapp, Alexander |
| On Testing Ethical Autonomous Decision-Making
|
2023 |
Akintunde, Michael E. |
| Implementation Relations for Distributed Testing
|
2023 |
Hierons, Robert M. |
| Conformance Relations Between Input/Output Languages
|
2023 |
Huang, Wen-ling |
| Decomposing the Verification of Interlocking Systems
|
2023 |
Haxthausen, Anne E. |
| Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles
|
2023 |
Fränzle, Martin |
| Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine
|
2023 |
Mahzoon, Alireza |
| Bringing RoboStar and RT-Tester Together
|
2023 |
Cavalcanti, Ana |
| Safety vs. Security – Why Separation of Concerns is a Good Strategy for Safety-Critical Systems
|
2023 |
Braband, Jens |
| Pattern-Based Risk Identification for Model-Based Risk Management
|
2023 |
Heisel, Maritta |
| Time for Traffic Manoeuvres
|
2023 |
Bischopink, Christopher |
| Supervision of Intelligent Systems: An Overview
|
2023 |
Gleirscher, Mario |
| Debugging Frame Conditions
|
2023 |
Santen, Thomas |
| Software Model Checking of Interlocking Programs
|
2023 |
James, Phillip |
| Formal Modelling to Improve Safety and Security
|
2023 |
Lecomte, Thierry |
| Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support
|
2023 |
Brauer, Jörg |
Tag hinzufügen