Abstract is missing.
- Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise ArchitectDavide Basile 0001, Franco Mazzanti, Alessio Ferrari 0001. 1-21 [doi]
- The 4SECURail Case Study on Rigorous Standard Interface SpecificationsDimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi. 22-39 [doi]
- Statistical Model Checking for sf PFrancisco Durán 0001, Nicolás Pozas, Carlos Ramírez, Camilo Rocha. 40-56 [doi]
- Pattern-Based Verification of ROS 2 Nodes Using UPPAALLukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen. 57-75 [doi]
- Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model CheckersBence Graics, Vince Molnár, István Majzik. 76-95 [doi]
- Refinement of Systems with an Attacker FocusKim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen. 96-112 [doi]
- Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump ControlImran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba. 113-130 [doi]
- Automated Property-Based Testing from AADL Component ContractsJohn Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter. 131-150 [doi]
- Impossible Made Possible: Encoding Intractable Specifications via Implied Domain ConstraintsChris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn. 151-169 [doi]
- Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series InputNeelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson. 170-188 [doi]
- Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingAziz Sfar, David Carral, Dina Irofti, Madalina Croitoru. 189-204 [doi]
- Optimal Spare Management via Statistical Model Checking: A Case Study in Research ReactorsReza Soltani 0001, Matthias Volk 0001, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. 205-223 [doi]
- Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case StudyHuan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang. 224-241 [doi]
- Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX ControllerDjurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga. 242-258 [doi]