default search action
Search dblp for Publications
export results for "toc:db/conf/isola/isola2020-3.bht:"
@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 = {Sun, 06 Oct 2024 01:00:00 +0200}, 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 = {Sun, 06 Oct 2024 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} }
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.