Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2022-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/AbbasB22,
author = {Houssam Abbas and
Borzoo Bonakdarpour},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging System Dynamics in Runtime Verification of Cyber-Physical
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {264--278},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_16},
doi = {10.1007/978-3-031-19849-6\_16},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/AbbasB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AdeltHNR22,
author = {Julius Adelt and
Paula Herber and
Mathis Niehage and
Anne Remke},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Safe and Resilient Hybrid Systems in the Presence of Learning
and Uncertainty},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {299--319},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_18},
doi = {10.1007/978-3-031-19849-6\_18},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AdeltHNR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtGJR22,
author = {Wolfgang Ahrendt and
Dilian Gurov and
Moa Johansson and
Philipp R{\"{u}}mmer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {TriCo - Triple Co-piloting of Implementation, Specification and Tests},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {174--187},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_11},
doi = {10.1007/978-3-031-19849-6\_11},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AhrendtGJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtHHU22,
author = {Wolfgang Ahrendt and
Paula Herber and
Marieke Huisman and
Mattias Ulbrich},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SpecifyThis - Bridging Gaps Between Program Specification Paradigms},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {3--6},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_1},
doi = {10.1007/978-3-031-19849-6\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhrendtHHU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtP22,
author = {Wolfgang Ahrendt and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Selective Presumed Benevolence in Multi-party System Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {106--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_7},
doi = {10.1007/978-3-031-19849-6\_7},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AhrendtP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmilonLG22,
author = {Jesper Amilon and
Christian Lidstr{\"{o}}m and
Dilian Gurov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Deductive Verification Based Abstraction for Software Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {7--28},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_2},
doi = {10.1007/978-3-031-19849-6\_2},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmilonLG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AzzopardiPS22,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification Meets Controller Synthesis},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {382--396},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_22},
doi = {10.1007/978-3-031-19849-6\_22},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AzzopardiPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeekCLS22,
author = {Maurice H. ter Beek and
Loek Cleophas and
Martin Leucker and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {X-by-Construction Meets Runtime Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {141--148},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_9},
doi = {10.1007/978-3-031-19849-6\_9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BeekCLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BerducciG22,
author = {Luigi Berducci and
Radu Grosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safe Policy Improvement in Constrained Markov Decision Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {360--381},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_21},
doi = {10.1007/978-3-031-19849-6\_21},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BerducciG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BlatterKPG22,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Efficient VCGen-Based Modular Verification of Relational Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {498--516},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_28},
doi = {10.1007/978-3-031-19849-6\_28},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BlatterKPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BussiCGLM22,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci and
Diego Latella and
Mieke Massink},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Binding in the Spatial Logics for Closure Spaces},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {479--497},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_27},
doi = {10.1007/978-3-031-19849-6\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BussiCGLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CokL22,
author = {David R. Cok and
Gary T. Leavens},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Abstraction in Deductive Verification: Model Fields and Model Methods},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {29--44},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_3},
doi = {10.1007/978-3-031-19849-6\_3},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CokL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CotoBLRT22,
author = {Alex Coto and
Franco Barbanera and
Ivan Lanese and
Davide Rossi and
Emilio Tuosto},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Formal Choreographic Modelling: {A} Case Study in {EU} Business
Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {205--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_13},
doi = {10.1007/978-3-031-19849-6\_13},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CotoBLRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DamDGCL22,
author = {Khanh{-}Huu{-}The Dam and
Fabien Duchene and
Thomas Given{-}Wilson and
Maxime Cordy and
Axel Legay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Repair of Security Errors in {C} Programs via Statistical
Model Checking: {A} Proof of Concept},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {279--298},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_17},
doi = {10.1007/978-3-031-19849-6\_17},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DamDGCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DiegoTKK22,
author = {Jorge David de Hoz Diego and
Anastasios Temperekidis and
Panagiotis Katsaros and
Charalambos Konstantinou},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {556--574},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_31},
doi = {10.1007/978-3-031-19849-6\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DiegoTKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DubslaffK22,
author = {Clemens Dubslaff and
Maximilian A. K{\"{o}}hl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Configurable-by-Construction Runtime Monitoring},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {220--241},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_14},
doi = {10.1007/978-3-031-19849-6\_14},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DubslaffK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ErnstKM22,
author = {Gidon Ernst and
Alexander Knapp and
Toby Murray},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Hoare Logic with Regular Behavioral Specifications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {45--64},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_4},
doi = {10.1007/978-3-031-19849-6\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ErnstKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GorostiagaZSSU22,
author = {Felipe Gorostiaga and
Sebasti{\'{a}}n Zudaire and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Sebasti{\'{a}}n Uchitel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assumption Monitoring of Temporal Task Planning Using Stream Runtime
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {397--414},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_23},
doi = {10.1007/978-3-031-19849-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GorostiagaZSSU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrooteLS22,
author = {Jan Friso Groote and
Maurice Laveaux and
P. H. M. van Spaendonck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {422--459},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_25},
doi = {10.1007/978-3-031-19849-6\_25},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GrooteLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Havelund22,
author = {Klaus Havelund},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specification-Based Monitoring in {C++}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {65--87},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_5},
doi = {10.1007/978-3-031-19849-6\_5},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Havelund22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanS22,
author = {Marieke Huisman and
Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification and Validation of Concurrent and Distributed Heterogeneous
Systems (Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {417--421},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_24},
doi = {10.1007/978-3-031-19849-6\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HuismanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JongmansP22,
author = {Sung{-}Shik Jongmans and
Jos{\'{e}} Proen{\c{c}}a},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ST4MP:} {A} Blueprint of Multiparty Session Typing for Multilingual
Programming},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {460--478},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_26},
doi = {10.1007/978-3-031-19849-6\_26},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JongmansP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KamburjanDSTJ22,
author = {Eduard Kamburjan and
Crystal Chang Din and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital
Twins},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {188--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_12},
doi = {10.1007/978-3-031-19849-6\_12},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KamburjanDSTJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KittelmannRBS22,
author = {Alexander Kittelmann and
Tobias Runge and
Tabea Bordis and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification of Correct-by-Construction Driving Maneuvers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {242--263},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_15},
doi = {10.1007/978-3-031-19849-6\_15},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KittelmannRBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KonnovKM22,
author = {Igor Konnov and
Markus Kuppe and
Stephan Merz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specification and Verification with the TLA\({}^{\mbox{+}}\) Trifecta:
TLC, Apalache, and {TLAPS}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {88--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_6},
doi = {10.1007/978-3-031-19849-6\_6},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KonnovKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MontiRH22,
author = {Ra{\'{u}}l E. Monti and
Robert Rubbens and
Marieke Huisman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Deductive Verification of an Industrial Concurrent Software Component
with VerCors},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {517--534},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_29},
doi = {10.1007/978-3-031-19849-6\_29},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MontiRH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NayakNZ22,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Robustness-by-Construction Synthesis: Adapting to the Environment
at Runtime},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {149--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_10},
doi = {10.1007/978-3-031-19849-6\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NayakNZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PasslerASTCJ22,
author = {Juliane P{\"{a}}{\ss}ler and
Esther Aguado and
Gustavo Rezende Silva and
Silvia Lizeth Tapia Tarifa and
Carlos Hern{\'{a}}ndez Corbato and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formal Model of Metacontrol in Maude},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {575--596},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_32},
doi = {10.1007/978-3-031-19849-6\_32},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PasslerASTCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Pol22,
author = {Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Exploring a Parallel {SCC} Algorithm},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {535--555},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_30},
doi = {10.1007/978-3-031-19849-6\_30},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Pol22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RiganelliMM22,
author = {Oliviero Riganelli and
Daniela Micucci and
Leonardo Mariani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Non-functional Testing of Runtime Enforcers in Android},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {320--334},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_19},
doi = {10.1007/978-3-031-19849-6\_19},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/RiganelliMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Santen22,
author = {Thomas Santen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Pragmatics of Moving from System Models to Program Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {124--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_8},
doi = {10.1007/978-3-031-19849-6\_8},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Santen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TapplerPKMBL22,
author = {Martin Tappler and
Stefan Pranger and
Bettina K{\"{o}}nighofer and
Edi Muskardin and
Roderick Bloem and
Kim G. Larsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automata Learning Meets Shielding},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {335--359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_20},
doi = {10.1007/978-3-031-19849-6\_20},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/TapplerPKMBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2022-1,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6},
doi = {10.1007/978-3-031-19849-6},
isbn = {978-3-031-19848-9},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2022-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-06-09 03:46 CEST from data curated 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:
