Abstract is missing.
- Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and PerturbationsValentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini. 21-39 [doi]
- UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System ReservationsLukas Johannes Dust, Rong Gu 0002, Cristina Seceleanu, Mikael Ekström, Saad Mubeen. 40-59 [doi]
- Formalising the Industrial Language SMMT in mCRL2Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse. 63-79 [doi]
- Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based MetricsLisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk 0001, Mariëlle Stoelinga. 80-96 [doi]
- Fuzzing an Industrial Proprietary ProtocolEduard Baranov, Axel Legay, Martin Vivian. 119-135 [doi]
- Modelling and Analysis of DTLS: Power Consumption and AttacksLise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux. 136-151 [doi]
- Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier ChallengesLars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand. 152-169 [doi]
- Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial ToolsDalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte. 182-198 [doi]
- Unifying Syntactic and Semantic Abstractions for Deep Neural NetworksSanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar. 201-219 [doi]
- Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical SystemsAlexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn. 220-244 [doi]