Abstract is missing.
- SpecifyThis - Bridging Gaps Between Program Specification ParadigmsWolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich. 3-6 [doi]
- Deductive Verification Based Abstraction for Software Model CheckingJesper Amilon, Christian Lidström, Dilian Gurov. 7-28 [doi]
- Abstraction in Deductive Verification: Model Fields and Model MethodsDavid R. Cok, Gary T. Leavens. 29-44 [doi]
- A Hoare Logic with Regular Behavioral SpecificationsGidon Ernst, Alexander Knapp, Toby Murray. 45-64 [doi]
- Specification-Based Monitoring in C++Klaus Havelund. 65-87 [doi]
- + Trifecta: TLC, Apalache, and TLAPSIgor Konnov, Markus Kuppe, Stephan Merz. 88-105 [doi]
- Selective Presumed Benevolence in Multi-party System VerificationWolfgang Ahrendt, Gordon J. Pace. 106-123 [doi]
- On the Pragmatics of Moving from System Models to Program ContractsThomas Santen. 124-138 [doi]
- X-by-Construction Meets Runtime VerificationMaurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer. 141-148 [doi]
- Robustness-by-Construction Synthesis: Adapting to the Environment at RuntimeSatya Prakash Nayak, Daniel Neider, Martin Zimmermann 0002. 149-173 [doi]
- TriCo - Triple Co-piloting of Implementation, Specification and TestsWolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer. 174-187 [doi]
- Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital TwinsEduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. 188-204 [doi]
- On Formal Choreographic Modelling: A Case Study in EU Business ProcessesAlex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto. 205-219 [doi]
- Configurable-by-Construction Runtime MonitoringClemens Dubslaff, Maximilian A. Köhl. 220-241 [doi]
- Runtime Verification of Correct-by-Construction Driving ManeuversAlexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer. 242-263 [doi]
- Leveraging System Dynamics in Runtime Verification of Cyber-Physical SystemsHoussam Abbas, Borzoo Bonakdarpour. 264-278 [doi]
- Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of ConceptKhanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay. 279-298 [doi]
- Towards Safe and Resilient Hybrid Systems in the Presence of Learning and UncertaintyJulius Adelt, Paula Herber, Mathis Niehage, Anne Remke. 299-319 [doi]
- Non-functional Testing of Runtime Enforcers in AndroidOliviero Riganelli, Daniela Micucci, Leonardo Mariani. 320-334 [doi]
- Automata Learning Meets ShieldingMartin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen. 335-359 [doi]
- Safe Policy Improvement in Constrained Markov Decision ProcessesLuigi Berducci, Radu Grosu. 360-381 [doi]
- Runtime Verification Meets Controller SynthesisShaun Azzopardi, Nir Piterman, Gerardo Schneider. 382-396 [doi]
- Assumption Monitoring of Temporal Task Planning Using Stream Runtime VerificationFelipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel. 397-414 [doi]
- Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)Marieke Huisman, Cristina Seceleanu. 417-421 [doi]
- A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol)Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck. 422-459 [doi]
- ST4MP: A Blueprint of Multiparty Session Typing for Multilingual ProgrammingSung-Shik Jongmans, José Proença. 460-478 [doi]
- On Binding in the Spatial Logics for Closure SpacesLaura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink. 479-497 [doi]
- An Efficient VCGen-Based Modular Verification of Relational PropertiesLionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. 498-516 [doi]
- On Deductive Verification of an Industrial Concurrent Software Component with VerCorsRaúl E. Monti, Robert Rubbens, Marieke Huisman. 517-534 [doi]
- Exploring a Parallel SCC AlgorithmJaco van de Pol. 535-555 [doi]
- An IoT Digital Twin for Cyber-Security Defence Based on Runtime VerificationJorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou. 556-574 [doi]
- A Formal Model of Metacontrol in MaudeJuliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen. 575-596 [doi]