Abstract is missing.
- Herding CATsReiner Hähnle, Marco Scaletta, Eduard Kamburjan. 3-8 [doi]
- Refinements for Open AutomataRabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. 11-29 [doi]
- The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model CheckerSylvain Conchon, Alexandrina Korneva. 30-46 [doi]
- Guiding Symbolic Execution with A-StarTheo De Castro Pinto, Antoine Rollet, Grégoire Sutre, Ireneusz Tobor. 47-65 [doi]
- Robustness Testing of Software VerifiersFlorian Dyck, Cedric Richter, Heike Wehrheim. 66-84 [doi]
- Decoupled Fitness Criteria for Reactive SystemsDerek Egolf, Stavros Tripakis. 85-105 [doi]
- Capturing Smart Contract Design with DCR GraphsMojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider. 106-125 [doi]
- An Active Learning Approach to Synthesizing Program ContractsSandip Ghosal, Bengt Jonsson 0001, Philipp Rümmer. 126-144 [doi]
- Ranged Program Analysis via InstrumentationJan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim. 145-164 [doi]
- Attack Time Analysis in Dynamic Attack Trees via Integer Linear ProgrammingMilan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. 165-183 [doi]
- SSCalc: A Calculus for Solidity Smart ContractsDiego Marmsoler, Billy Thornton. 184-204 [doi]
- sfATM: A Logic for Quantitative Security Properties on Attack TreesStefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga. 205-225 [doi]
- Refactoring of Multi-instance BPMN Processes with Time and ResourcesQuentin Nivon, Gwen Salaün. 226-245 [doi]
- Verified Scalable Parallel Computing with Why3Olivia Proust, Frédéric Loulergue. 246-262 [doi]
- Exact and Efficient Bayesian Inference for Privacy Risk QuantificationRasmus C. Rønneberg, Raúl Pardo, Andrzej Wasowski. 263-281 [doi]
- A Formalization of Heisenbugs and Their CausesSarah Sallinger, Georg Weissenbacher, Florian Zuleger. 282-300 [doi]
- Verifying Read-Copy Update Under RC11Mikhail Semenyuk, Mark Batty, Brijesh Dongol. 301-319 [doi]
- QNNRepair: Quantized Neural Network RepairXidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro. 320-339 [doi]
- Timeout Prediction for Software AnalysesNicola Thoben, Jan Haltermann, Heike Wehrheim. 340-358 [doi]
- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model CheckingMax Korn, Julián Méndez 0001, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt. 361-375 [doi]