Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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, Mattias Ulbrich:
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, Alexander Knapp, Toby Murray:
A Hoare Logic with Regular Behavioral Specifications. 45-64 - Klaus Havelund:
Specification-Based Monitoring in C++. 65-87 - Igor Konnov, Markus Kuppe, Stephan Merz:
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. 88-105 - Wolfgang Ahrendt, Gordon J. Pace:
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, Loek Cleophas, Martin Leucker, Ina Schaefer:
X-by-Construction Meets Runtime Verification. 141-148 - Satya Prakash Nayak, Daniel Neider, Martin Zimmermann:
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. 149-173 - Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer:
TriCo - Triple Co-piloting of Implementation, Specification and Tests. 174-187 - Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
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, Maximilian A. Köhl:
Configurable-by-Construction Runtime Monitoring. 220-241 - Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer:
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, Daniela Micucci, Leonardo Mariani:
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, Nir Piterman, Gerardo Schneider:
Runtime Verification Meets Controller Synthesis. 382-396 - Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. 397-414
Verification and Validation of Concurrent and Distributed Heterogeneous Systems
- Marieke Huisman, Cristina Seceleanu:
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). 417-421 - Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck:
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, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. 479-497 - Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
An Efficient VCGen-Based Modular Verification of Relational Properties. 498-516 - Raúl E. Monti, Robert Rubbens, Marieke Huisman:
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, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou:
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. 556-574 - 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. 575-596
a service of 
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 2024-05-02 22:07 CEST 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:
