Abstract is missing.
- From Passive to Active: Learning Timed Automata EfficientlyBernhard K. Aichernig, Andrea Pferscher, Martin Tappler. 1-19 [doi]
- Generating Correct-by-Construction Distributed Implementations from Formal Maude DesignsSi Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang 0017. 22-40 [doi]
- Parameter Synthesis and Robustness Analysis of Rule-Based ModelsMatej Troják, David Safránek, Lukrécia Mertová, Lubos Brim. 41-59 [doi]
- PaRoT: A Practical Framework for Robust Deep Neural Network TrainingEdward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside. 63-84 [doi]
- Simplifying Neural Networks Using Formal VerificationSumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz. 85-93 [doi]
- Neural Simplex ArchitectureDung T. Phan, Radu Grosu, Nils Jansen 0001, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller. 97-114 [doi]
- Strengthening Deterministic Policies for POMDPsLeonore Winterer, Ralf Wimmer 0001, Nils Jansen 0001, Bernd Becker 0001. 115-132 [doi]
- Benchmarking Software Model Checkers on Automotive CodeLukas Westhofen, Philipp Berger, Joost-Pieter Katoen. 133-150 [doi]
- Automated Requirements-Based Testing of Black-Box Reactive SystemsMassimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto. 153-169 [doi]
- Formal Verification of Parallel Prefix SumMohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman. 170-186 [doi]
- Specification Quality Metrics Based on Mutation and Inductive Incremental Model CheckingVassil Todorov, Safouan Taha, Frédéric Boulanger. 187-203 [doi]
- A Validation Methodology for OCaml-to-PVS TranslationXiaoxin An, Amer Tahat, Binoy Ravindran. 207-221 [doi]
- On the Usefulness of Clause Strengthening in Parallel SAT SolvingVincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon. 222-229 [doi]
- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOLRalph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann. 233-250 [doi]
- Constraint Caching RevisitedJan Taljaard, Jaco Geldenhuys, Willem Visser. 251-266 [doi]
- Per-Location SimulationLiyi Li, Elsa L. Gunter. 267-287 [doi]
- Sampling Distributed Schedulers for Resilient Space CommunicationPedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns. 291-310 [doi]
- Model Checking Timed Hyperproperties in Discrete-Time SystemsBorzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez. 311-328 [doi]
- Verifying Band Convergence for Sampled Control SystemsP. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza. 329-349 [doi]
- Heterogeneous Verification of an Autonomous Curiosity RoverRafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher 0001. 353-360 [doi]
- Run-Time Assurance for Learning-Enabled SystemsDarren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam. 361-368 [doi]
- hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General TransitionsJannik Hüls, Henner Niehaus, Anne Remke. 369-378 [doi]
- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid AutomataCarina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám. 381-400 [doi]
- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based ApproachesZhenya Zhang, Paolo Arcaini, Ichiro Hasuo. 401-419 [doi]
- Falsification of Cyber-Physical Systems with Constrained Signal SpacesBenoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi. 420-439 [doi]