ISoLA (1)

Keyphrases

Publications

2022

Marieke Huisman, Cristina Seceleanu
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) (2022)
David R. Cok, Gary T. Leavens
Abstraction in Deductive Verification: Model Fields and Model Methods. ISoLA (1) (2022)
Wolfgang Ahrendt, Gordon J. Pace
Selective Presumed Benevolence in Multi-party System Verification. ISoLA (1) (2022)
Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) (2022)
Igor Konnov, Markus Kuppe, Stephan Merz
Trifecta: TLC, Apalache, and TLAPS. ISoLA (1) (2022)
Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
TriCo - Triple Co-piloting of Implementation, Specification and Tests. ISoLA (1) (2022)
Houssam Abbas, Borzoo Bonakdarpour
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. ISoLA (1) (2022)
Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) (2022)
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
X-by-Construction Meets Runtime Verification. ISoLA (1) (2022)
Klaus Havelund
Specification-Based Monitoring in C++. ISoLA (1) (2022)
Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. ISoLA (1) (2022)
Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) (2022)
Clemens Dubslaff, Maximilian A. Köhl
Configurable-by-Construction Runtime Monitoring. ISoLA (1) (2022)
Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
On Formal Choreographic Modelling: A Case Study in EU Business Processes. ISoLA (1) (2022)
Gidon Ernst, Alexander Knapp, Toby Murray
A Hoare Logic with Regular Behavioral Specifications. ISoLA (1) (2022)
Raúl E. Monti, Robert Rubbens, Marieke Huisman
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. ISoLA (1) (2022)
Jesper Amilon, Christian Lidström, Dilian Gurov
Deductive Verification Based Abstraction for Software Model Checking. ISoLA (1) (2022)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) (2022)
Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. ISoLA (1) (2022)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Non-functional Testing of Runtime Enforcers in Android. ISoLA (1) (2022)
Jaco van de Pol
Exploring a Parallel SCC Algorithm. ISoLA (1) (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Runtime Verification Meets Controller Synthesis. ISoLA (1) (2022)
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
A Formal Model of Metacontrol in Maude. ISoLA (1) (2022)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) (2022)
Luigi Berducci, Radu Grosu
Safe Policy Improvement in Constrained Markov Decision Processes. ISoLA (1) (2022)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) (2022)
Thomas Santen
On the Pragmatics of Moving from System Models to Program Contracts. ISoLA (1) (2022)
Sung-Shik Jongmans, José Proença
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. ISoLA (1) (2022)
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Automata Learning Meets Shielding. ISoLA (1) (2022)
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) (2022)

volume 13701, 2022

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I ISoLA (1) 13701 (2022)

2020

volume 12476, 2020

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I ISoLA (1) 12476 (2020)