会议文集


文集名Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
会议名9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)
中译名《第九届国际形式化方法、验证与确认的合理运用研讨会，卷4》
机构European Assocation of Software Science and Technology
会议日期October 20-30, 2020
会议地点Rhodes, Greece
出版年2021
馆藏号340048


题名作者出版年
From Verification to Explanation (Track Introduction)Christel Baier; Holger Hermanns2021
An Algorithm to Compute a Strict Partial Ordering of Actions in Action TracesMartin Kolbl; Stefan Leue2021
TraceVis: Towards Visualization for Deep Statistical Model CheckingTimo P. Gros; David Gross; Stefan Gumhold; Jorg Hoffmann; Michaela Klauck; Marcel Steinmetz2021
Engineering of Digital Twins for Cyber-Physical SystemsJohn Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock2021
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual ModelTao Yue; Paolo Arcaini; Shaukat Ali2021
Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital TwinsJim Woodcock; Claudio Gomes; Hugo Daniel Macedo; Peter Gorm Larsen2021
Designing Distributed Control with Hybrid Active ObjectsEduard Kamburjan; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa2021
Towards a Digital Twin - Modelling an Agricultural VehicleFrederik F. Foldager; Casper Thule; Ole Balling; Peter Gorm Larsen2021
Digital Modelling in the RailwaysThierry Lecomte2021
Engineering a Digital Twin for Manual AssemblingAlexandru Matei; Nicolae-Adrian Tocu; Constantin-Bala Zamfirescu; Arpad Gellert; Mihai Neghina2021
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 Schultz2021
Software Verification Tools (Track Introduction)Markus Schordan; Dirk Beyer; Irena Bojanova2021
Benchmarking Open-Source Static Analyzers for Security Testing for CChristoph Gentsch; Rohan Krishnamurthy; Thomas S. Heinze2021
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjsMichael Bar-Sinai; Gera Weiss2021
On Correctness, Precision, and Performance in Quantitative Verification QComp 2020 Competition ReportCarlos E. Budde; Arnd Hartmanns; Michaela Klauck; Jan Kretinsky; David Parker; Tim Quatmann; Andrea Turrini; Zhen Zhang2021
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness GuaranteesMarc Jasper; Maximilian Schluter; David Schmidt; Bernhard Steffen2021



制造业外文文献服务平台