Abstract is missing.
- JPF: From 2003 to 2023Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi. 3-22 [doi]
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model CheckingMuhammad Osama 0003, Anton Wijs. 23-43 [doi]
- Towards Safe Autonomous Driving: Model Checking a Behavior Planner during DevelopmentLukas König, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Küperkoch, Dennis Fassbender, Michael Hanselmann. 44-65 [doi]
- Enhancing GenMC's Usability and PerformanceMichalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis. 66-84 [doi]
- Scalable Tree-based Register Automata LearningSimon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist. 87-108 [doi]
- Small Test Suites for Active Automata LearningLoes Kruger, Sebastian Junges, Jurriaan Rot. 109-129 [doi]
- Mata: A Fast and Simple Finite Automata LibraryDavid Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc. 130-151 [doi]
- Accelerated Bounded Model Checking Using Interpolation Based SummariesMayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy 0001. 155-174 [doi]
- Weakest Precondition Inference for Non-Deterministic Linear Array ProgramsSumanth Prabhu 0001, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh 0001, Grigory Fedyukovich. 175-195 [doi]
- Automated Software Verification of HyperlivenessRaven Beutner. 196-216 [doi]
- A Comprehensive Specification and Verification of the L4 Microkernel APILeping Zhang, Yongwang Zhao, Jianxin Li. 217-234 [doi]
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov ChainsHannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. 237-257 [doi]
- CTMCs with Imprecisely Timed ObservationsThom S. Badings, Matthias Volk 0001, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen 0001. 258-278 [doi]
- Pareto Curves for Compositionally Model Checking String Diagrams of MDPsKazuki Watanabe 0003, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges. 279-298 [doi]
- Learning Explainable and Better Performing Representations of POMDP StrategiesAlexander Bork, Debraj Chakraborty 0002, Kush Grover, Jan Kretínský, Stefanie Mohr. 299-319 [doi]
- Dissipative quadratizations of polynomial ODE systemsYubo Cai, Gleb Pogudin. 323-342 [doi]
- Forward and Backward Constrained Bisimulations for Quantum CircuitsAntonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski. 343-362 [doi]
- A Parallel and Distributed Quantum SAT Solver Based on Entanglement and TeleportationShang-Wei Lin 0001, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo. 363-382 [doi]