Search dblp for Publications

export results for "toc:db/conf/isola/isola2016-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/isola/AhmadP16,
  author       = {Waheed Ahmad and
                  Jaco van de Pol},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow
                  Applications with Uppaal Stratego},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {94--113},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_7},
  doi          = {10.1007/978-3-319-47166-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AhmadP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AhrendtPS16,
  author       = {Wolfgang Ahrendt and
                  Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {StaRVOOrS - Episode {II} - Strengthen and Distribute the Force},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {402--415},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_28},
  doi          = {10.1007/978-3-319-47166-2\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AhrendtPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AlrahmanNL16,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {539--553},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_38},
  doi          = {10.1007/978-3-319-47166-2\_38},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AngelisS16,
  author       = {Francesco Luca De Angelis and
                  Giovanna Di Marzo Serugendo},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Logic Fragments: Coordinating Entities with Logic Programs},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {589--604},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_41},
  doi          = {10.1007/978-3-319-47166-2\_41},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AngelisS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AntignacSS16,
  author       = {Thibaud Antignac and
                  Riccardo Scandariato and
                  Gerardo Schneider},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Privacy-Aware Conceptual Model for Handling Personal Data},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {942--957},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_65},
  doi          = {10.1007/978-3-319-47166-2\_65},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AntignacSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AroraR16,
  author       = {Shiraj Arora and
                  M. V. Panduranga Rao},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Probabilistic Model Checking of Incomplete Models},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {62--76},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_5},
  doi          = {10.1007/978-3-319-47166-2\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AroraR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AzzopardiCP16,
  author       = {Shaun Azzopardi and
                  Christian Colombo and
                  Gordon J. Pace},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Model-Based Approach to Combining Static and Dynamic Verification
                  Techniques},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {416--430},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_29},
  doi          = {10.1007/978-3-319-47166-2\_29},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AzzopardiCP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeckertBG16,
  author       = {Bernhard Beckert and
                  Thorsten Bormer and
                  Daniel Grahl},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Deductive Verification of Legacy Code},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {749--765},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_53},
  doi          = {10.1007/978-3-319-47166-2\_53},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BeckertBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeekCK16,
  author       = {Maurice H. ter Beek and
                  Josep Carmona and
                  Jetty Kleijn},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Conditions for Compatibility of Components - The Case of Masters and
                  Slaves},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {784--805},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_55},
  doi          = {10.1007/978-3-319-47166-2\_55},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BeekCK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeekHS16,
  author       = {Maurice H. ter Beek and
                  Reiner H{\"{a}}hnle and
                  Ina Schaefer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Correctness-by-Construction and Post-hoc Verification: Friends or
                  Foes?},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {723--729},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_51},
  doi          = {10.1007/978-3-319-47166-2\_51},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BeekHS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeekLLV16,
  author       = {Maurice H. ter Beek and
                  Axel Legay and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Statistical Model Checking for Product Lines},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {114--133},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_8},
  doi          = {10.1007/978-3-319-47166-2\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BeekLLV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeekRV16,
  author       = {Maurice H. ter Beek and
                  Michel A. Reniers and
                  Erik P. de Vink},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Supervisory Controller Synthesis for Product Lines Using {CIF} 3},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {856--873},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_59},
  doi          = {10.1007/978-3-319-47166-2\_59},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BeekRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BessaiDDMR16,
  author       = {Jan Bessai and
                  Andrej Dudenhefner and
                  Boris D{\"{u}}dder and
                  Moritz Martens and
                  Jakob Rehof},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Combinatory Process Synthesis},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {266--281},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_19},
  doi          = {10.1007/978-3-319-47166-2\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BessaiDDMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Beyer16,
  author       = {Dirk Beyer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Partial Verification and Intermediate Results as a Solution to Combine
                  Automatic and Interactive Verification Techniques},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {874--880},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_60},
  doi          = {10.1007/978-3-319-47166-2\_60},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Beyer16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BeyerL16,
  author       = {Dirk Beyer and
                  Thomas Lemberger},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Symbolic Execution with {CEGAR}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {195--211},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_14},
  doi          = {10.1007/978-3-319-47166-2\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BeyerL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BiondiL16,
  author       = {Fabrizio Biondi and
                  Axel Legay},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Security and Privacy of Protocols and Software with Formal Methods},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {883--892},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_61},
  doi          = {10.1007/978-3-319-47166-2\_61},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BiondiL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BoddenPSSW16,
  author       = {Eric Bodden and
                  Ka I Pun and
                  Martin Steffen and
                  Volker Stolz and
                  Anna{-}Katharina Wickert},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Information Flow Analysis for Go},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {431--445},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_30},
  doi          = {10.1007/978-3-319-47166-2\_30},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BoddenPSSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BuresHKMP16,
  author       = {Tom{\'{a}}s Bures and
                  Petr Hnetynka and
                  Filip Krijt and
                  Vladim{\'{\i}}r Matena and
                  Frantisek Pl{\'{a}}sil},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Smart Coordination of Autonomic Component Ensembles in the Context
                  of Ad-Hoc Communication},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {642--656},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_45},
  doi          = {10.1007/978-3-319-47166-2\_45},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BuresHKMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ChengMM16,
  author       = {Zheng Cheng and
                  Dominique M{\'{e}}ry and
                  Rosemary Monahan},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On Two Friends for Getting Correct Programs - Automatically Translating
                  Event {B} Specifications to Recursive Algorithms in Rodin},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {821--838},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_57},
  doi          = {10.1007/978-3-319-47166-2\_57},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ChengMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/CianciaLMPV16,
  author       = {Vincenzo Ciancia and
                  Diego Latella and
                  Mieke Massink and
                  Rytis Paskauskas and
                  Andrea Vandin},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike
                  Sharing Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {657--673},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_46},
  doi          = {10.1007/978-3-319-47166-2\_46},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/CianciaLMPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/CleophasKPSW16,
  author       = {Loek Cleophas and
                  Derrick G. Kourie and
                  Vreda Pieterse and
                  Ina Schaefer and
                  Bruce W. Watson},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Correctness-by-Construction {\textbackslash}wedge Taxonomies {\textbackslash}Rightarrow
                  Deep Comprehension of Algorithm Families},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {766--783},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_54},
  doi          = {10.1007/978-3-319-47166-2\_54},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/CleophasKPSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/DjilaniBB16,
  author       = {Zouhir Djilani and
                  Nabila Berkani and
                  Ladjel Bellatreche},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Functional Requirements Analytics},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {358--373},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_25},
  doi          = {10.1007/978-3-319-47166-2\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/DjilaniBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/DudderHR16,
  author       = {Boris D{\"{u}}dder and
                  George T. Heineman and
                  Jakob Rehof},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {261--265},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_18},
  doi          = {10.1007/978-3-319-47166-2\_18},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/DudderHR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/EilertsenBS16,
  author       = {Anna Maria Eilertsen and
                  Anya Helene Bagge and
                  Volker Stolz},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Safer Refactorings},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {517--531},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_36},
  doi          = {10.1007/978-3-319-47166-2\_36},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/EilertsenBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/GibsonAP16,
  author       = {J. Paul Gibson and
                  Idir A{\"{\i}}t{-}Sadoune and
                  Marc Pantel},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Semantic Heterogeneity in the Formal Development of Complex Systems:
                  An Introduction},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {321--324},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_22},
  doi          = {10.1007/978-3-319-47166-2\_22},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/GibsonAP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Goodloe16,
  author       = {Alwyn Goodloe},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Challenges in High-Assurance Runtime Verification},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {446--460},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_31},
  doi          = {10.1007/978-3-319-47166-2\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Goodloe16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/GurovHHM16,
  author       = {Dilian Gurov and
                  Klaus Havelund and
                  Marieke Huisman and
                  Rosemary Monahan},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Static and Runtime Verification, Competitors or Friends? (Track Summary)},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {397--401},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_27},
  doi          = {10.1007/978-3-319-47166-2\_27},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/GurovHHM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HacidA16,
  author       = {Kahina Hacid and
                  Yamine A{\"{\i}}t Ameur},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Strengthening {MDE} and Formal Design Models by References to Domain
                  Ontologies. {A} Model Annotation Based Approach},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {340--357},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_24},
  doi          = {10.1007/978-3-319-47166-2\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HacidA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HeinemanBDR16,
  author       = {George T. Heineman and
                  Jan Bessai and
                  Boris D{\"{u}}dder and
                  Jakob Rehof},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Long and Winding Road Towards Modular Synthesis},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {303--317},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_21},
  doi          = {10.1007/978-3-319-47166-2\_21},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HeinemanBDR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HeinzeA16,
  author       = {Thomas S. Heinze and
                  Wolfram Amme},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Sparse Analysis of Variable Path Predicates Based upon SSA-Form},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {227--242},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_16},
  doi          = {10.1007/978-3-319-47166-2\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HeinzeA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Hennicker16,
  author       = {Rolf Hennicker},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Calculus for Open Ensembles and Their Composition},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {570--588},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_40},
  doi          = {10.1007/978-3-319-47166-2\_40},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Hennicker16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HolthusenNTS16,
  author       = {S{\"{o}}nke Holthusen and
                  Michael Nieke and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Proof-Carrying Apps: Contract-Based Deployment-Time Verification},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {839--855},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_58},
  doi          = {10.1007/978-3-319-47166-2\_58},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HolthusenNTS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/IftikharLW16,
  author       = {M. Usman Iftikhar and
                  Jonas Lundberg and
                  Danny Weyns},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Model Interpreter for Timed Automata},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {243--258},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_17},
  doi          = {10.1007/978-3-319-47166-2\_17},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/IftikharLW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/JahnichenW16,
  author       = {Stefan J{\"{a}}hnichen and
                  Martin Wirsing},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Rigorous Engineering of Collective Adaptive Systems Track Introduction},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {535--538},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_37},
  doi          = {10.1007/978-3-319-47166-2\_37},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/JahnichenW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/JahnichenW16a,
  author       = {Stefan J{\"{a}}hnichen and
                  Martin Wirsing},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Adaptation to the Unforeseen: Do we Master our Autonomous Systems?
                  Questions to the Panel - Panel Introduction},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {639--641},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_44},
  doi          = {10.1007/978-3-319-47166-2\_44},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/JahnichenW16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/JasperS16,
  author       = {Marc Jasper and
                  Markus Schordan},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Multi-core Model Checking of Large-Scale Reactive Systems Using Different
                  State Representations},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {212--226},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_15},
  doi          = {10.1007/978-3-319-47166-2\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/JasperS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/JorgesLMNS16,
  author       = {Sven J{\"{o}}rges and
                  Anna{-}Lena Lamprecht and
                  Tiziana Margaria and
                  Stefan Naujokat and
                  Bernhard Steffen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Synthesis from a Practical Perspective},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {282--302},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_20},
  doi          = {10.1007/978-3-319-47166-2\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/JorgesLMNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
  author       = {Kenan Kalajdzic and
                  Cyrille J{\'{e}}gourel and
                  Anna Lukina and
                  Ezio Bartocci and
                  Axel Legay and
                  Scott A. Smolka and
                  Radu Grosu},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Feedback Control for Statistical Model Checking of Cyber-Physical
                  Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {46--61},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_4},
  doi          = {10.1007/978-3-319-47166-2\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/KosmatovMMS16,
  author       = {Nikolai Kosmatov and
                  Claude March{\'{e}} and
                  Yannick Moy and
                  Julien Signoles},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Static versus Dynamic Verification in Why3, Frama-C and {SPARK} 2014},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {461--478},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_32},
  doi          = {10.1007/978-3-319-47166-2\_32},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/KosmatovMMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Kretinsky16,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}}},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Survey of Statistical Verification of Linear Unbounded Properties:
                  Model Checking and Distances},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {27--45},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_3},
  doi          = {10.1007/978-3-319-47166-2\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Kretinsky16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LarsenL16,
  author       = {Kim G. Larsen and
                  Axel Legay},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Statistical Model Checking: Past, Present, and Future},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {3--15},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_1},
  doi          = {10.1007/978-3-319-47166-2\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LarsenL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LegayST16,
  author       = {Axel Legay and
                  Sean Sedwards and
                  Louis{-}Marie Traonouez},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Plasma Lab: {A} Modular Statistical Model Checking Platform},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {77--93},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_6},
  doi          = {10.1007/978-3-319-47166-2\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LegayST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LeofanteVAT016,
  author       = {Francesco Leofante and
                  Simone Vuotto and
                  Erika {\'{A}}brah{\'{a}}m and
                  Armando Tacchella and
                  Nils Jansen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Combining Static and Runtime Methods to Achieve Safe Standing-Up for
                  Humanoid Robots},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {496--514},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_34},
  doi          = {10.1007/978-3-319-47166-2\_34},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LeofanteVAT016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Leucker16,
  author       = {Martin Leucker},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On Combinations of Static and Dynamic Analysis - Panel Introduction},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {515--516},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_35},
  doi          = {10.1007/978-3-319-47166-2\_35},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Leucker16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LinardB16,
  author       = {Alexis Linard and
                  Marcos L. P. Bueno},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {134--150},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_9},
  doi          = {10.1007/978-3-319-47166-2\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/LinardB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MalacariaTD16,
  author       = {Pasquale Malacaria and
                  Michael Tautschnig and
                  Dino Distefano},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Information Leakage Analysis of Complex {C} Code and Its application
                  to OpenSSL},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {909--925},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_63},
  doi          = {10.1007/978-3-319-47166-2\_63},
  timestamp    = {Thu, 27 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/MalacariaTD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MammarL16,
  author       = {Amel Mammar and
                  R{\'{e}}gine Laleau},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B
                  Specifications},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {325--339},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_23},
  doi          = {10.1007/978-3-319-47166-2\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/MammarL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MargheriNNP16,
  author       = {Andrea Margheri and
                  Hanne Riis Nielson and
                  Flemming Nielson and
                  Rosario Pugliese},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Static Analysis of Policy-Based Self-adaptive Computing Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {554--569},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_39},
  doi          = {10.1007/978-3-319-47166-2\_39},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/MargheriNNP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MehlhaseJCH16,
  author       = {Alexandra Mehlhase and
                  Stefan J{\"{a}}hnichen and
                  Amir Czwink and
                  Robert Heinrichs},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Library and Scripting Language for Tool Independent Simulation Descriptions},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {622--638},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_43},
  doi          = {10.1007/978-3-319-47166-2\_43},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/MehlhaseJCH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/NamDF16,
  author       = {Min{-}Young Nam and
                  Julien Delange and
                  Peter H. Feiler},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Integrated Modeling Workflow for Security Assurance},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {926--941},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_64},
  doi          = {10.1007/978-3-319-47166-2\_64},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/NamDF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Peled16,
  author       = {Doron Peled},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Automatic Synthesis of Code Using Genetic Programming},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {182--187},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_12},
  doi          = {10.1007/978-3-319-47166-2\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Peled16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/PoplavkoKSBB16,
  author       = {Peter Poplavko and
                  Rany Kahil and
                  Dario Socci and
                  Saddek Bensalem and
                  Marius Bozga},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {605--621},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_42},
  doi          = {10.1007/978-3-319-47166-2\_42},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/PoplavkoKSBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Probst16,
  author       = {Christian W. Probst},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Guaranteeing Privacy-Observing Data Exchange},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {958--969},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_66},
  doi          = {10.1007/978-3-319-47166-2\_66},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Probst16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/QuilbeufCTOBL16,
  author       = {Jean Quilbeuf and
                  Everton Cavalcante and
                  Louis{-}Marie Traonouez and
                  Fl{\'{a}}vio Oquendo and
                  Tha{\'{\i}}s Batista and
                  Axel Legay},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Logic for the Statistical Model Checking of Dynamic Software Architectures},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {806--820},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_56},
  doi          = {10.1007/978-3-319-47166-2\_56},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/QuilbeufCTOBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Reger16,
  author       = {Giles Reger},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Considering Typestate Verification for Quantified Event Automata},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {479--495},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_33},
  doi          = {10.1007/978-3-319-47166-2\_33},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Reger16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ReijsbergenBS16,
  author       = {Dani{\"{e}}l Reijsbergen and
                  Pieter{-}Tjerk de Boer and
                  Werner R. W. Scheinhardt},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {16--26},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_2},
  doi          = {10.1007/978-3-319-47166-2\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ReijsbergenBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/RuijtersS16,
  author       = {Enno Ruijters and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Better Railway Engineering Through Statistical Model Checking},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {151--165},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_10},
  doi          = {10.1007/978-3-319-47166-2\_10},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/RuijtersS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/SaidABB16,
  author       = {Najah Ben Said and
                  Takoua Abdellatif and
                  Saddek Bensalem and
                  Marius Bozga},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {A Model-Based Approach to Secure Multiparty Distributed Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {893--908},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_62},
  doi          = {10.1007/978-3-319-47166-2\_62},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/SaidABB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Schordan0L16,
  author       = {Markus Schordan and
                  Dirk Beyer and
                  Jonas Lundberg},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Evaluation and Reproducibility of Program Analysis and Verification
                  (Track Introduction)},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {191--194},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_13},
  doi          = {10.1007/978-3-319-47166-2\_13},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Schordan0L16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Serugendo16,
  author       = {Giovanna Di Marzo Serugendo},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance
                  Issues - ISOLA'2016 - Panel Discussion Position Paper},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {714--719},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_50},
  doi          = {10.1007/978-3-319-47166-2\_50},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Serugendo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Strnadel16,
  author       = {Josef Strnadel},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On Creation and Analysis of Reliability Models by Means of Stochastic
                  Timed Automata and Statistical Model Checking: Principle},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {166--181},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_11},
  doi          = {10.1007/978-3-319-47166-2\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Strnadel16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Vassev16,
  author       = {Emil Vassev},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Safe Artificial Intelligence and Formal Methods - (Position Paper)},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {704--713},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_49},
  doi          = {10.1007/978-3-319-47166-2\_49},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Vassev16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/VassevH16,
  author       = {Emil Vassev and
                  Mike Hinchey},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Integration and Promotion of Autonomy with the {ARE} Framework},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {689--703},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_48},
  doi          = {10.1007/978-3-319-47166-2\_48},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/VassevH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/WatsonKSC16,
  author       = {Bruce W. Watson and
                  Derrick G. Kourie and
                  Ina Schaefer and
                  Loek Cleophas},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Correctness-by-Construction and Post-hoc Verification: {A} Marriage
                  of Convenience?},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {730--748},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_52},
  doi          = {10.1007/978-3-319-47166-2\_52},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/WatsonKSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/WoodcockFB16,
  author       = {Jim Woodcock and
                  Simon Foster and
                  Andrew Butterfield},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Heterogeneous Semantics and Unifying Theories},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {374--394},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_26},
  doi          = {10.1007/978-3-319-47166-2\_26},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/WoodcockFB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ZonGH16,
  author       = {Natalia Zon and
                  Stephen Gilmore and
                  Jane Hillston},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Rigorous Graphical Modelling of Movement in Collective Adaptive Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {674--688},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_47},
  doi          = {10.1007/978-3-319-47166-2\_47},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ZonGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isola/2016-1,
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2},
  doi          = {10.1007/978-3-319-47166-2},
  isbn         = {978-3-319-47165-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/2016-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.