default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th Birthday: Jan Peleska, 2023
- Anne E. Haxthausen
, Wen-ling Huang, Markus Roggenbach:
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 14165, Springer 2023, ISBN 978-3-031-40131-2
Testing
- Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang:
On Testing Ethical Autonomous Decision-Making. 3-15 - Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis:
Bringing RoboStar and RT-Tester Together. 16-33 - Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for Distributed Testing. 34-48 - Wen-ling Huang, Robert Sachtleben:
Conformance Relations Between Input/Output Languages. 49-67 - Alexander Pretschner, Florian Hauer, Tabea Schmidt:
On Scenario-Based Testing of Cyber-Physical Systems. 68-82
Railway Verification and Safety and Security
- Jens Braband:
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems. 85-95 - Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori:
Decomposing the Verification of Interlocking Systems. 96-113 - Maritta Heisel, Marvin Wagner:
Pattern-Based Risk Identification for Model-Based Risk Management. 114-129 - Phillip James, Faron Moller, Markus Roggenbach:
Software Model Checking of Interlocking Programs. 130-146 - Thierry Lecomte:
Formal Modelling to Improve Safety and Security. 147-159
Intelligent Systems and Cyber-Physical Systems
- Christopher Bischopink, Ernst-Rüdiger Olderog:
Time for Traffic Manoeuvres. 163-179 - Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan:
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. 180-201 - Mario Gleirscher:
Supervision of Intelligent Systems: An Overview. 202-221 - Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri:
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. 222-236 - Jim Woodcock:
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. 237-253
Tools and Techniques for Specification, Verification and Code Generation
- Jörg Brauer:
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. 257-271 - Bevin Duckett, Klaus Havelund, Luke Stewart:
Space Telemetry Analysis with PyContract. 272-288 - Alexander Knapp:
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. 289-307 - Alireza Mahzoon, Rolf Drechsler:
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. 308-319 - Thomas Santen:
Debugging Frame Conditions. 320-332
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
