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/isola2020-3.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/000120,
author = {Jan Peleska},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {New Distribution Paradigms for Railway Interlocking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {434--448},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_28},
doi = {10.1007/978-3-030-61467-6\_28},
timestamp = {Wed, 28 Oct 2020 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/isola/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtB20,
author = {Wolfgang Ahrendt and
Richard Bubel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Functional Verification of Smart Contracts via Strong Data Integrity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {9--24},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_2},
doi = {10.1007/978-3-030-61467-6\_2},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AhrendtB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmendolaBCCGSST20,
author = {Arturo Amendola and
Anna Becchi and
Roberto Cavada and
Alessandro Cimatti and
Alberto Griggio and
Giuseppe Scaglione and
Angelo Susi and
Alberto Tacchella and
Matteo Tessi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Model-Based Approach to the Design, Verification and Deployment
of Railway Interlocking System},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {240--254},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_16},
doi = {10.1007/978-3-030-61467-6\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmendolaBCCGSST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiLZ20,
author = {Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Bitcoin Covenants Unchained},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {25--42},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_3},
doi = {10.1007/978-3-030-61467-6\_3},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BartolettiLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBF0GMMPT20,
author = {Davide Basile and
Maurice H. ter Beek and
Alessandro Fantechi and
Alessio Ferrari and
Stefania Gnesi and
Laura Masullo and
Franco Mazzanti and
Andrea Piattino and
Daniele Trentini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Designing a Demonstrator of Formal Methods for Railways Infrastructure
Managers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {467--485},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_30},
doi = {10.1007/978-3-030-61467-6\_30},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BasileBF0GMMPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckertS20,
author = {Bernhard Beckert and
Jonas Schiffl},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specifying Framing Conditions for Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {43--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_4},
doi = {10.1007/978-3-030-61467-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckertS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BernardoCCJPT20,
author = {Bruno Bernardo and
Rapha{\"{e}}l Cauderlier and
Guillaume Claret and
Arvid Jakobsson and
Basile Pesin and
Julien Tesson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Making Tezos Smart Contracts More Reliable with Coq},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {60--72},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_5},
doi = {10.1007/978-3-030-61467-6\_5},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BernardoCCJPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrunjesG20,
author = {Lars Br{\"{u}}njes and
Murdoch James Gabbay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {73--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_6},
doi = {10.1007/978-3-030-61467-6\_6},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BrunjesG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Native Custom Tokens in the Extended {UTXO} Model},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {89--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_7},
doi = {10.1007/978-3-030-61467-6\_7},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20a,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler and
Joachim Zahnentferner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {UTXO\({}_{\mbox{sf ma}}\): {UTXO} with Multi-asset Support},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {112--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_8},
doi = {10.1007/978-3-030-61467-6\_8},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DutilleulB20,
author = {Simon Collart Dutilleul and
Philippe Bon},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Modular Design Framework to Assess Intelligent Trains},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {404--414},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_26},
doi = {10.1007/978-3-030-61467-6\_26},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DutilleulB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Ellul20,
author = {Joshua Ellul},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Configurable and Efficient Runtime Verification of Blockchain
Based Smart Contracts at the Virtual Machine Level},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {131--145},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_9},
doi = {10.1007/978-3-030-61467-6\_9},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Ellul20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FantechiGH20,
author = {Alessandro Fantechi and
Stefania Gnesi and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for Distributed Computing in Future Railway Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {389--392},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_24},
doi = {10.1007/978-3-030-61467-6\_24},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FantechiGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FranzleK20,
author = {Martin Fr{\"{a}}nzle and
Paul Kr{\"{o}}ger},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Guess What I'm Doing! - Rendering Formal Verification Methods Ripe
for the Era of Interacting Intelligent Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {255--272},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_17},
doi = {10.1007/978-3-030-61467-6\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FranzleK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GeislerH20,
author = {Signe Geisler and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking a Distributed Interlocking System Using k-induction
with RT-Tester},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {449--466},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_29},
doi = {10.1007/978-3-030-61467-6\_29},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GeislerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Goes20,
author = {Christopher Goes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Compiling Quantitative Type Theory to Michelson for Compile-Time Verification
and Run-time Efficiency in Juvix},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {146--160},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_10},
doi = {10.1007/978-3-030-61467-6\_10},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Goes20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GurovHS20,
author = {Dilian Gurov and
Paula Herber and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Verification of Embedded Control Software - Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {235--239},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_15},
doi = {10.1007/978-3-030-61467-6\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GurovHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanM20,
author = {Marieke Huisman and
Ra{\'{u}}l E. Monti},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Industrial Application of Critical Software Verification with
VerCors},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {273--292},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_18},
doi = {10.1007/978-3-030-61467-6\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HuismanM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Hungar20,
author = {Hardi Hungar},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Concept of Scenario Space Exploration with Criticality Coverage
Guarantees - Extended Abstract},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {293--306},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_19},
doi = {10.1007/978-3-030-61467-6\_19},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Hungar20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LaursenTH20,
author = {Per Lange Laursen and
Van Anh Thi Trinh and
Anne E. Haxthausen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Modelling and Verification of a Distributed Railway Interlocking
System Using {UPPAAL}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {415--433},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_27},
doi = {10.1007/978-3-030-61467-6\_27},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LaursenTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LecomteCPS20,
author = {Thierry Lecomte and
Mathieu Comptier and
Julien Molinero Perez and
Denis Sabatier},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Ensuring Safety with System Level Formal Modelling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {393--403},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_25},
doi = {10.1007/978-3-030-61467-6\_25},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LecomteCPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiebrenzHG20,
author = {Timm Liebrenz and
Paula Herber and
Sabine Glesner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Automated Service-Oriented Verification of Embedded Control
Software Modeled in Simulink},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {307--325},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_20},
doi = {10.1007/978-3-030-61467-6\_20},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LiebrenzHG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarescottiOAEHS20,
author = {Matteo Marescotti and
Rodrigo Otoni and
Leonardo Alt and
Patrick Eugster and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Accurate Smart Contract Verification Through Direct Modelling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {178--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_12},
doi = {10.1007/978-3-030-61467-6\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MarescottiOAEHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MeywerkWHKGD20,
author = {Tim Meywerk and
Marcel Walter and
Vladimir Herdt and
Jan Kleinekath{\"{o}}fer and
Daniel Gro{\ss}e and
Rolf Drechsler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verifying Safety Properties of Robotic Plans Operating in Real-World
Environments via Logic-Based Environment Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {326--347},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_21},
doi = {10.1007/978-3-030-61467-6\_21},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MeywerkWHKGD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NybergWG20,
author = {Mattias Nyberg and
Jonas Westman and
Dilian Gurov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formally Proving Compositionality in Industrial Systems with Informal
Specifications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {348--365},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_22},
doi = {10.1007/978-3-030-61467-6\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NybergWG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PaceSS20,
author = {Gordon J. Pace and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Reliable Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {3--8},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_1},
doi = {10.1007/978-3-030-61467-6\_1},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PaceSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RiusG20,
author = {Alfonso D. D. M. Rius and
Eamonn Gashier},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Smart Derivatives: On-Chain Forwards for Digital Assets},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {195--211},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_13},
doi = {10.1007/978-3-030-61467-6\_13},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/RiusG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schlingloff20,
author = {Bernd{-}Holger Schlingloff},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specification, Synthesis and Validation of Strategies for Collaborative
Embedded Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {366--385},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_23},
doi = {10.1007/978-3-030-61467-6\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Schlingloff20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchneidewindSM20,
author = {Clara Schneidewind and
Markus Scherer and
Matteo Maffei},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated
Sound Static Analysis of Ethereum Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {212--231},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_14},
doi = {10.1007/978-3-030-61467-6\_14},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SchneidewindSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeijasST20,
author = {Pablo Lamela Seijas and
David Smith and
Simon J. Thompson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Efficient Static Analysis of Marlowe Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {161--177},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_11},
doi = {10.1007/978-3-030-61467-6\_11},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SeijasST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2020-3,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6},
doi = {10.1007/978-3-030-61467-6},
isbn = {978-3-030-61466-9},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2020-3.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-08-13 12:54 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:
