default search action
11th ISoLA 2022: Rhodes, Greece - Volume 1
- Tiziana Margaria
, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13701, Springer 2022, ISBN 978-3-031-19848-9
SpecifyThis - Bridging Gaps Between Program Specification Paradigms
- Wolfgang Ahrendt, Paula Herber, Marieke Huisman
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. 3-6 - Jesper Amilon, Christian Lidström, Dilian Gurov:
Deductive Verification Based Abstraction for Software Model Checking. 7-28 - David R. Cok, Gary T. Leavens:
Abstraction in Deductive Verification: Model Fields and Model Methods. 29-44 - Gidon Ernst
A Hoare Logic with Regular Behavioral Specifications. 45-64 - Klaus Havelund:
Specification-Based Monitoring in C++. 65-87 - Igor Konnov, Markus Kuppe
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. 88-105 - Wolfgang Ahrendt
Selective Presumed Benevolence in Multi-party System Verification. 106-123 - Thomas Santen:
On the Pragmatics of Moving from System Models to Program Contracts. 124-138
X-by-Construction Meets Runtime Verification
- Maurice H. ter Beek
X-by-Construction Meets Runtime Verification. 141-148 - Satya Prakash Nayak
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. 149-173 - Wolfgang Ahrendt
TriCo - Triple Co-piloting of Implementation, Specification and Tests. 174-187 - Eduard Kamburjan
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. 188-204 - Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto:
On Formal Choreographic Modelling: A Case Study in EU Business Processes. 205-219 - Clemens Dubslaff
Configurable-by-Construction Runtime Monitoring. 220-241 - Alexander Kittelmann, Tobias Runge, Tabea Bordis
Runtime Verification of Correct-by-Construction Driving Maneuvers. 242-263 - Houssam Abbas, Borzoo Bonakdarpour:
Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. 264-278 - 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. 279-298 - Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke:
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. 299-319 - Oliviero Riganelli
Non-functional Testing of Runtime Enforcers in Android. 320-334 - Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. 335-359 - Luigi Berducci, Radu Grosu:
Safe Policy Improvement in Constrained Markov Decision Processes. 360-381 - Shaun Azzopardi
Runtime Verification Meets Controller Synthesis. 382-396 - Felipe Gorostiaga
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. 397-414
Verification and Validation of Concurrent and Distributed Heterogeneous Systems
- Marieke Huisman
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). 417-421 - Jan Friso Groote
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). 422-459 - Sung-Shik Jongmans, José Proença:
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. 460-478 - Laura Bussi
On Binding in the Spatial Logics for Closure Spaces. 479-497 - Lionel Blatter
An Efficient VCGen-Based Modular Verification of Relational Properties. 498-516 - Raúl E. Monti
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. 517-534 - Jaco van de Pol
Exploring a Parallel SCC Algorithm. 535-555 - Jorge David de Hoz Diego
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. 556-574 - Juliane Päßler
A Formal Model of Metacontrol in Maude. 575-596
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 00:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: