default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 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, Holger Hermanns:
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, Tiziana Margaria, Jim Woodcock:
Engineering of Digital Twins for Cyber-Physical Systems. 49-53 - Tao Yue, Paolo Arcaini, Shaukat Ali:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. 54-71 - Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen:
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins. 72-87 - Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
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, Nicolae-Adrian Tocu, Constantin-Bala Zamfirescu, Arpad Gellert, Mihai Neghina:
Engineering a Digital Twin for Manual Assembling. 140-152 - Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz:
Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. 153-174
Software Verification Tools
- Markus Schordan, Dirk Beyer, Irena Bojanova:
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, Gera Weiss:
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. 199-215 - Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang:
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. 216-241 - Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen:
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 2025-03-26 00:02 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:
