default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2018-4.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/0001BH18,
author = {Jan Peleska and
J{\"{o}}rg Brauer and
Wen{-}ling Huang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Based Testing for Avionic Systems Proven Benefits and Further
Challenges},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {82--103},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_11},
doi = {10.1007/978-3-030-03427-6\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/0001BH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AltR18,
author = {Leonardo Alt and
Christian Reitwie{\ss}ner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SMT-Based Verification of Solidity Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {376--388},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_28},
doi = {10.1007/978-3-030-03427-6\_28},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AltR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BardinKMMW18,
author = {S{\'{e}}bastien Bardin and
Nikolai Kosmatov and
Bruno Marre and
David Mentr{\'{e}} and
Nicky Williams},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Test Case Generation with PathCrawler/LTest: How to Automate an Industrial
Testing Process},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {104--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_12},
doi = {10.1007/978-3-030-03427-6\_12},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BardinKMMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciF18,
author = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {RV-TheToP: Runtime Verification from Theory to the Industry Practice
(Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {3--8},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_1},
doi = {10.1007/978-3-030-03427-6\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiCZ18,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Roberto Zunino},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fun with Bitcoin Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {432--449},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_32},
doi = {10.1007/978-3-030-03427-6\_32},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartolettiCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BolignanoP18,
author = {Dominique Bolignano and
Florence Plateau},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Security Filters for IoT Domain Isolation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {194--211},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_17},
doi = {10.1007/978-3-030-03427-6\_17},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BolignanoP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BonakdarpourDP18,
author = {Borzoo Bonakdarpour and
Jyotirmoy V. Deshmukh and
Miroslav Pajic},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Opportunities and Challenges in Monitoring Cyber-Physical Systems
Security},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {9--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_2},
doi = {10.1007/978-3-030-03427-6\_2},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BonakdarpourDP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chen0R18,
author = {Xiaohong Chen and
Daejun Park and
Grigore Rosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Language-Independent Approach to Smart Contract Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {405--413},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_30},
doi = {10.1007/978-3-030-03427-6\_30},
timestamp = {Tue, 05 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chen0R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClackV18,
author = {Christopher D. Clack and
Gabriel Vanca},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Temporal Aspects of Smart Contracts for Financial Derivatives},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {339--355},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_26},
doi = {10.1007/978-3-030-03427-6\_26},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ClackV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Cok18,
author = {David R. Cok},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Java Automated Deductive Verification in Practice: Lessons from Industrial
Proof-Based Projects},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {176--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_16},
doi = {10.1007/978-3-030-03427-6\_16},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Cok18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColomboEP18,
author = {Christian Colombo and
Joshua Ellul and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Contracts over Smart Contracts: Recovering from Violations Dynamically},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {300--315},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_23},
doi = {10.1007/978-3-030-03427-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ColomboEP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColomboP18,
author = {Christian Colombo and
Gordon J. Pace},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Considering Academia-Industry Projects Meta-characteristics in Runtime
Verification Design},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {32--41},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_5},
doi = {10.1007/978-3-030-03427-6\_5},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ColomboP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DuhaibyMWG18,
author = {Omar al Duhaiby and
Arjan J. Mooij and
Hans van Wezep and
Jan Friso Groote},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Pitfalls in Applying Model Learning to Industrial Legacy Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {121--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_13},
doi = {10.1007/978-3-030-03427-6\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DuhaibyMWG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FeldererGHLS18,
author = {Michael Felderer and
Dilian Gurov and
Marieke Huisman and
Bj{\"{o}}rn Lisper and
Rupert Schlick},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {77--81},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_10},
doi = {10.1007/978-3-030-03427-6\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/FeldererGHLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HavelundP18,
author = {Klaus Havelund and
Doron Peled},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {BDDs on the Run},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {58--69},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_8},
doi = {10.1007/978-3-030-03427-6\_8},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HavelundP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HessenkamperHR18,
author = {Axel Hessenk{\"{a}}mper and
Falk Howar and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Digital Transformation Trends: Industry 4.0, Automation, and {AI}
- Industrial Track at ISoLA 2018},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {469--471},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_34},
doi = {10.1007/978-3-030-03427-6\_34},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HessenkamperHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Hirai18,
author = {Yoichi Hirai},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {389--404},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_29},
doi = {10.1007/978-3-030-03427-6\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Hirai18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KnuppelTPS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Pardylla and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Scalability of Deductive Verification Depends on Method Call Treatment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {159--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_15},
doi = {10.1007/978-3-030-03427-6\_15},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KnuppelTPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenLN18,
author = {Kim G. Larsen and
Florian Lorber and
Brian Nielsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {20 Years of {UPPAAL} Enabled Industrial Model-Based Validation and
Beyond},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {212--229},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_18},
doi = {10.1007/978-3-030-03427-6\_18},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Lourenco18,
author = {Jo{\~{a}}o M. Louren{\c{c}}o},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verifying Real-World Software with Contracts for Concurrency},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {70--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_9},
doi = {10.1007/978-3-030-03427-6\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Lourenco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MarescottiBHAS18,
author = {Matteo Marescotti and
Martin Blicha and
Antti E. J. Hyv{\"{a}}rinen and
Sepideh Asadi and
Natasha Sharygina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Computing Exact Worst-Case Gas Consumption for Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {450--465},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_33},
doi = {10.1007/978-3-030-03427-6\_33},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MarescottiBHAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MillerCJ18,
author = {Andrew Miller and
Zhicheng Cai and
Somesh Jha},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Smart Contracts and Opportunities for Formal Methods},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {280--299},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_22},
doi = {10.1007/978-3-030-03427-6\_22},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MillerCJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NovikovZ18,
author = {Evgeny Novikov and
Ilja S. Zakharov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of Operating System Monolithic Kernels Without Extensions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {230--248},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_19},
doi = {10.1007/978-3-030-03427-6\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NovikovZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NybergGLRW18,
author = {Mattias Nyberg and
Dilian Gurov and
Christian Lidstr{\"{o}}m and
Andreas Rasmusson and
Jonas Westman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Verification in Automotive Industry: Enablers and Obstacles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {139--158},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_14},
doi = {10.1007/978-3-030-03427-6\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NybergGLRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PacePS18,
author = {Gordon J. Pace and
Pablo Picazo{-}Sanchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Migrating Monitors + {ABE:} {A} Suitable Combination for Secure IoT?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {19--24},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_3},
doi = {10.1007/978-3-030-03427-6\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PacePS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RiganelliMM18,
author = {Oliviero Riganelli and
Daniela Micucci and
Leonardo Mariani},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Increasing the Reusability of Enforcers with Lifecycle Events},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {51--57},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_7},
doi = {10.1007/978-3-030-03427-6\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/RiganelliMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SanchezSL18,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Martin Leucker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Reliable Smart Contracts: State-of-the-Art, Applications, Challenges
and Future Directions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {275--279},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_21},
doi = {10.1007/978-3-030-03427-6\_21},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SanchezSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchaferMBPWHR18,
author = {Tristan Sch{\"{a}}fer and
Frederik M{\"{o}}ller and
Anja Burmann and
Yevgen Pikus and
Norbert Wei{\ss}enberg and
Marcus Hintze and
Jakob Rehof},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Methodology for Combinatory Process Synthesis: Process Variability
in Clinical Pathways},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {472--486},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_35},
doi = {10.1007/978-3-030-03427-6\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchaferMBPWHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchlickFMNRSV18,
author = {Rupert Schlick and
Michael Felderer and
Istv{\'{a}}n Majzik and
Roberto Nardone and
Alexander Raschke and
Colin F. Snook and
Valeria Vittorini},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Proposal of an Example and Experiments Repository to Foster Industrial
Adoption of Formal Methods},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {249--272},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_20},
doi = {10.1007/978-3-030-03427-6\_20},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SchlickFMNRSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SeijasT18,
author = {Pablo Lamela Seijas and
Simon J. Thompson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Marlowe: Financial Contracts on Blockchain},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {356--375},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_27},
doi = {10.1007/978-3-030-03427-6\_27},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SeijasT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Sergey0H18,
author = {Ilya Sergey and
Amrit Kumar and
Aquinas Hobor},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Temporal Properties of Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {323--338},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_25},
doi = {10.1007/978-3-030-03427-6\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Sergey0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SteffenB18,
author = {Barbara Steffen and
Steve Bo{\ss}elmann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{GOLD:} Global Organization aLignment and Decision - Towards the Hierarchical
Integration of Heterogeneous Business Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {504--527},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_37},
doi = {10.1007/978-3-030-03427-6\_37},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SteffenB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Tsankov18,
author = {Petar Tsankov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Security Analysis of Smart Contracts in Datalog},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {316--322},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_24},
doi = {10.1007/978-3-030-03427-6\_24},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Tsankov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ValliappanMVR18,
author = {Nachiappan Valliappan and
Sol{\`{e}}ne Mirliaz and
Elisabet Lobo Vesga and
Alejandro Russo},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Adding Variety to Simplicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {414--431},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_31},
doi = {10.1007/978-3-030-03427-6\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ValliappanMVR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VillazonSB18,
author = {Alex Villaz{\'{o}}n and
Haiyang Sun and
Walter Binder},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Capturing Inter-process Communication for Runtime Verification on
Android},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {25--31},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_4},
doi = {10.1007/978-3-030-03427-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VillazonSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WinkelsGSSRH18,
author = {Jan Winkels and
Julian Graefenstein and
Tristan Sch{\"{a}}fer and
David Scholz and
Jakob Rehof and
Michael Henke},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automatic Composition of Rough Solution Possibilities in the Target
Planning of Factory Planning Projects by Means of Combinatory Logic},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {487--503},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_36},
doi = {10.1007/978-3-030-03427-6\_36},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WinkelsGSSRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZhangELS18,
author = {Teng Zhang and
Gregory Eakman and
Insup Lee and
Oleg Sokolsky},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Flexible Monitor Deployment for Runtime Verification of Large Scale
Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {42--50},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_6},
doi = {10.1007/978-3-030-03427-6\_6},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ZhangELS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2018-4,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6},
doi = {10.1007/978-3-030-03427-6},
isbn = {978-3-030-03426-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2018-4.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.
retrieved on 2024-09-21 15:17 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:
