Abstract is missing.
- From Verification to Explanation (Track Introduction)Christel Baier, Holger Hermanns. 1-7 [doi]
- An Algorithm to Compute a Strict Partial Ordering of Actions in Action TracesMartin Kölbl, Stefan Leue. 10-26 [doi]
- TraceVis: Towards Visualization for Deep Statistical Model CheckingTimo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann 0001, Michaela Klauck, Marcel Steinmetz. 27-46 [doi]
- Engineering of Digital Twins for Cyber-Physical SystemsJohn S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock. 49-53 [doi]
- Understanding Digital Twins for Cyber-Physical Systems: A Conceptual ModelTao Yue 0002, Paolo Arcaini, Shaukat Ali 0001. 54-71 [doi]
- Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital TwinsJim Woodcock, Cláudio Gomes 0001, Hugo Daniel Macedo, Peter Gorm Larsen. 72-87 [doi]
- Designing Distributed Control with Hybrid Active ObjectsEduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa. 88-108 [doi]
- Towards a Digital Twin - Modelling an Agricultural VehicleFrederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen. 109-123 [doi]
- Digital Modelling in the RailwaysThierry Lecomte. 124-139 [doi]
- Engineering a Digital Twin for Manual AssemblingAlexandru Matei, Nicolae-Adrian Tocu, Constantin-Bala Zamfirescu, Arpad Gellert, Mihai Neghina. 140-152 [doi]
- Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction SiteBeidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz. 153-174 [doi]
- Software Verification Tools (Track Introduction)Markus Schordan, Dirk Beyer 0001, Irena Bojanova. 177-181 [doi]
- Benchmarking Open-Source Static Analyzers for Security Testing for CChristoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze. 182-198 [doi]
- Verification of Liveness and Safety Properties of Behavioral Programs Using BPjsMichael Bar-Sinai, Gera Weiss. 199-215 [doi]
- On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition ReportCarlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker 0001, Tim Quatmann, Andrea Turrini, Zhen Zhang 0006. 216-241 [doi]
- Every Component Matters: Generating Parallel Verification Benchmarks with Hardness GuaranteesMarc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen. 242-263 [doi]