Abstract is missing.
- Goal Controller Synthesis for Self-Adaptive SystemsRadu Calinescu, Genaína Nunes Rodrigues. 1-6 [doi]
- Verifying Binary Neural Networks on Continuous Input Space using Star ReachabilityMykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran. 7-17 [doi]
- Explainable Human-Machine Teaming using Model Checking and Interpretable Machine LearningMarcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi. 18-28 [doi]
- Contract-Based Specification Refinement and Repair for Mission PlanningPiergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli. 29-38 [doi]
- Patch Specifications via Product ProgramsCristian Cadar, Daniel Schemmel, Arindam Sharma. 39-43 [doi]
- An Empirical Study Assessing Software Modeling in AlloyNiloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif. 44-54 [doi]
- Mutant Equivalence as Monotonicity in Parametric Timed GamesDavide Basile 0001, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau. 55-65 [doi]
- Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)Mark Utting, Brae J. Webb, Ian J. Hayes. 66-75 [doi]
- Formalizing Path Explosion for Recursive Functions via Asymptotic Path ComplexityEli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang. 76-85 [doi]
- A Dafny-based approach to thread-local information flow analysisGraeme Smith. 86-96 [doi]
- Transparent Actor ModelFatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat. 97-107 [doi]
- Using scylindric algebra to support local variables in rely/guarantee concurrencyLarissa A. Meinicke, Ian J. Hayes. 108-119 [doi]
- A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution GridsAhmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi. 120-129 [doi]
- A Verified UAV Flight Plan GeneratorBaptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux. 130-140 [doi]