default search action
ISoLA 2020: Rhodes, Greece
- Tiziana Margaria
, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Lecture Notes in Computer Science 12479, Springer 2021, ISBN 978-3-030-83722-8
From Verification to Explanation
- Christel Baier
From Verification to Explanation (Track Introduction). 1-7 - Martin Kölbl, Stefan Leue:
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. 10-26 - Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz:
TraceVis: Towards Visualization for Deep Statistical Model Checking. 27-46
Engineering of Digital Twins for Cyber-Physical Systems
- John S. Fitzgerald, Peter Gorm Larsen
Engineering of Digital Twins for Cyber-Physical Systems. 49-53 - Tao Yue
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. 54-71 - Jim Woodcock
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. 72-87 - Eduard Kamburjan
Designing Distributed Control with Hybrid Active Objects. 88-108 - Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen
Towards a Digital Twin - Modelling an Agricultural Vehicle. 109-123 - Thierry Lecomte:
Digital Modelling in the Railways. 124-139 - Alexandru Matei
Engineering a Digital Twin for Manual Assembling. 140-152 - Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 153-174
Software Verification Tools
- Markus Schordan
Software Verification Tools (Track Introduction). 177-181 - Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze:
Benchmarking Open-Source Static Analyzers for Security Testing for C. 182-198 - Michael Bar-Sinai
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. 199-215 - Carlos E. Budde
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. 216-241 - Marc Jasper, Maximilian Schlüter, David Schmidt
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. 242-263
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-12-23 19:18 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: