Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/isola/isola2014-2.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/Al-AreqiKLRWM14,
author = {Samih Al{-}Areqi and
Steffen Kriewald and
Anna{-}Lena Lamprecht and
Dominik Reusser and
Markus Wrobel and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Flexible Assessment of Climate Impacts: The Example of Agile
Workflows for the ci: grasp Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {420--435},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_33},
doi = {10.1007/978-3-662-45231-8\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Al-AreqiKLRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AlbertFMR14,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Enrique Martin{-}Martin and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static Inference of Transmission Data Sizes in Distributed Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {104--119},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_8},
doi = {10.1007/978-3-662-45231-8\_8},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AlbertFMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AmeurGM14,
author = {Yamine A{\"{\i}}t Ameur and
J. Paul Gibson and
Dominique M{\'{e}}ry},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Implicit and Explicit Semantics: Integration Issues in Proof-Based
Development of Systems - Version to Read},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {604--618},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_50},
doi = {10.1007/978-3-662-45231-8\_50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AmeurGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Attiogbe14,
author = {J. Christian Attiogb{\'{e}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling and Verifying an Evolving Distributed Control System Using
an Event-Based Approach},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {573--587},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_48},
doi = {10.1007/978-3-662-45231-8\_48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Attiogbe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BallariniGGM14,
author = {Paolo Ballarini and
Emmanuelle Gallet and
Pascale Le Gall and
Matthieu Manceny},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Analysis of the Wnt/{\(\beta\)}-catenin through Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {193--207},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_14},
doi = {10.1007/978-3-662-45231-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BallariniGGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciGS14,
author = {Ezio Bartocci and
Sicun Gao and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Medical Cyber-Physical Systems - (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {353--355},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_25},
doi = {10.1007/978-3-662-45231-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BohlenderBJKNN14,
author = {Dimitri Bohlender and
Harold Bruintjes and
Sebastian Junges and
Jens Katelaan and
Viet Yen Nguyen and
Thomas Noll},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic
Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {177--192},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_13},
doi = {10.1007/978-3-662-45231-8\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BohlenderBJKNN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BosselmannM14,
author = {Steve Bo{\ss}elmann and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Domain-Specific Business Modeling with the Business Model Developer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {545--560},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_45},
doi = {10.1007/978-3-662-45231-8\_45},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BosselmannM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BotellaLPV14,
author = {Julien Botella and
Bruno Legeard and
Fabien Peureux and
Alexandre Vernotte},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Risk-Based Vulnerability Testing Using Security Test Patterns},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {337--352},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_24},
doi = {10.1007/978-3-662-45231-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BotellaLPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoyerLT14,
author = {Beno{\^{\i}}t Boyer and
Axel Legay and
Louis{-}Marie Traonouez},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formalism for Stochastic Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {160--176},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_12},
doi = {10.1007/978-3-662-45231-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoyerLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BubelHP14,
author = {Richard Bubel and
Reiner H{\"{a}}hnle and
Maria Pelevina},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fully Abstract Operation Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {120--134},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_9},
doi = {10.1007/978-3-662-45231-8\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BubelHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BufoBSBLB14,
author = {Sara Bufo and
Ezio Bartocci and
Guido Sanguinetti and
Massimo Borelli and
Umberto Lucangelo and
Luca Bortolussi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Temporal Logic Based Monitoring of Assisted Ventilation in Intensive
Care Patients},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {391--403},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_30},
doi = {10.1007/978-3-662-45231-8\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BufoBSBLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP14,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Distributed Energy Management Case Study: {A} Formal Approach to Analyzing
Utility Functions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {74--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_6},
doi = {10.1007/978-3-662-45231-8\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChatzieleftheriouCK14,
author = {George Chatzieleftheriou and
Apostolos Chatzopoulos and
Panagiotis Katsaros},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Test-Driving Static Analysis Tools in Search of {C} Code Vulnerabilities
{II} - (Extended Abstract)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {486--488},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_39},
doi = {10.1007/978-3-662-45231-8\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ChatzieleftheriouCK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ClarkeG14,
author = {Edmund M. Clarke and
Sicun Gao},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking Hybrid Systems - (Invited Talk)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {385--386},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_28},
doi = {10.1007/978-3-662-45231-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ClarkeG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/El-HarakeFJLM14,
author = {Khalil El{-}Harake and
Yli{\`{e}}s Falcone and
Wassim Jerad and
Matthieu Langet and
Mariem Mamlouk},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Blocking Advertisements on Android Devices Using Monitoring Techniques},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {239--253},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_17},
doi = {10.1007/978-3-662-45231-8\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/El-HarakeFJLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FeldererHPB14,
author = {Michael Felderer and
Christian Haisjackl and
Viktor Pekar and
Ruth Breu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Risk Assessment Framework for Software Testing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {292--308},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_21},
doi = {10.1007/978-3-662-45231-8\_21},
timestamp = {Wed, 04 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FeldererHPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FeldererWS14,
author = {Michael Felderer and
Marc{-}Florian Wendland and
Ina Schieferdecker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Risk-Based Testing - (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {274--276},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_19},
doi = {10.1007/978-3-662-45231-8\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FeldererWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GaynorWG14,
author = {Mark Gaynor and
George M. Wyner and
Amar Gupta},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Dr. Watson? Balancing Automation and Human Expertise in Healthcare
Delivery},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {561--569},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_46},
doi = {10.1007/978-3-662-45231-8\_46},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GaynorWG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GiachinoL14,
author = {Elena Giachino and
Cosimo Laneve},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards the Typing of Resource Deployment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {88--103},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_7},
doi = {10.1007/978-3-662-45231-8\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GiachinoL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GibsonA14,
author = {J. Paul Gibson and
Idir A{\"{\i}}t{-}Sadoune},
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.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {570--572},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_47},
doi = {10.1007/978-3-662-45231-8\_47},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GibsonA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GoriJSS14,
author = {Georg G{\"{o}}ri and
Einar Broch Johnsen and
Rudolf Schlatte and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Erlang-Style Error Recovery for Concurrent Objects with Cooperative
Scheduling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {5--21},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_2},
doi = {10.1007/978-3-662-45231-8\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GoriJSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrossmannSVW14,
author = {J{\"{u}}rgen Gro{\ss}mann and
Martin A. Schneider and
Johannes Viehmann and
Marc{-}Florian Wendland},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Combining Risk Analysis and Security Testing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {322--336},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_23},
doi = {10.1007/978-3-662-45231-8\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrossmannSVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuCCCDFGGGMRS14,
author = {Radu Grosu and
Elizabeth Cherry and
Edmund M. Clarke and
Rance Cleaveland and
Sanjay Dixit and
Flavio H. Fenton and
Sicun Gao and
James Glimm and
Richard A. Gray and
Rahul Mangharam and
Arnab Ray and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Compositional, Approximate, and Quantitative Reasoning for Medical
Cyber-Physical Systems with Application to Patient-Specific Cardiac
Dynamics and Devices},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {356--364},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_26},
doi = {10.1007/978-3-662-45231-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuCCCDFGGGMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuPRSSY14,
author = {Radu Grosu and
Doron A. Peled and
C. R. Ramakrishnan and
Scott A. Smolka and
Scott D. Stoller and
Junxing Yang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Using Statistical Model Checking for Measuring Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {223--238},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_16},
doi = {10.1007/978-3-662-45231-8\_16},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuPRSSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HahnleJ14,
author = {Reiner H{\"{a}}hnle and
Einar Broch Johnsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Introduction to Track on Engineering Virtualized Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {1--4},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_1},
doi = {10.1007/978-3-662-45231-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HahnleJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Havelund14,
author = {Klaus Havelund},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Monitoring with Data Automata},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {254--273},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_18},
doi = {10.1007/978-3-662-45231-8\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Havelund14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JegourelLS14,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Effective Heuristic for Adaptive Importance Splitting in Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {143--159},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_11},
doi = {10.1007/978-3-662-45231-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JegourelLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JimenezW14,
author = {Beatriz Garc{\'{\i}}a Jim{\'{e}}nez and
Mark D. Wilkinson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {464--478},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_36},
doi = {10.1007/978-3-662-45231-8\_36},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JimenezW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KhouriBJA14,
author = {Selma Khouri and
Ladjel Bellatreche and
St{\'{e}}phane Jean and
Yamine A{\"{\i}}t Ameur},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Requirements Driven Data Warehouse Design: We Can Go Further},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {588--603},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_49},
doi = {10.1007/978-3-662-45231-8\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KhouriBJA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KokLTW14,
author = {Joost N. Kok and
Anna{-}Lena Lamprecht and
Kenneth J. Turner and
Katy Wolstencroft},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Track Introduction: Scientific Workflows},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {404--406},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_31},
doi = {10.1007/978-3-662-45231-8\_31},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KokLTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KwiatkowskaMP14,
author = {Marta Z. Kwiatkowska and
Alexandru Mereacre and
Nicola Paoletti},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Quantitative Software Quality Assurance Methodologies for Cardiac
Pacemakers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {365--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_27},
doi = {10.1007/978-3-662-45231-8\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KwiatkowskaMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LaneseLBJSSZ14,
author = {Ivan Lanese and
Michael Lienhardt and
Mario Bravetti and
Einar Broch Johnsen and
Rudolf Schlatte and
Volker Stolz and
Gianluigi Zavattaro},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fault Model Design Space for Cooperative Concurrency},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {22--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_3},
doi = {10.1007/978-3-662-45231-8\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LaneseLBJSSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LarsenL14,
author = {Kim Guldstrand Larsen and
Axel Legay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Statistical Model Checking Past, Present, and Future - (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {135--142},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_10},
doi = {10.1007/978-3-662-45231-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LarsenL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leucker14,
author = {Martin Leucker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Challenges for the Dynamic Interconnection of Medical Devices},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {387--390},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_29},
doi = {10.1007/978-3-662-45231-8\_29},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Leucker14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Lisper14,
author = {Bj{\"{o}}rn Lisper},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{SWEET} - {A} Tool for {WCET} Flow Analysis (Extended Abstract)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {482--485},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_38},
doi = {10.1007/978-3-662-45231-8\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Lisper14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaFCLNS14,
author = {Tiziana Margaria and
Barry D. Floyd and
Rodolfo Gonzalez Camargo and
Anna{-}Lena Lamprecht and
Johannes Neubauer and
Marilia Seelaender},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Simple Management of High Assurance Data in Long-Lived Interdisciplinary
Healthcare Research: {A} Proposal},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {526--544},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_44},
doi = {10.1007/978-3-662-45231-8\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaFCLNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaR14,
author = {Tiziana Margaria and
Christoph Rasche},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Processes and Data Integration in the Networked Healthcare - (Track
Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {524--525},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_43},
doi = {10.1007/978-3-662-45231-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NobakhtB14,
author = {Behrooz Nobakht and
Frank S. de Boer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Programming with Actors in Java 8},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {37--53},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_4},
doi = {10.1007/978-3-662-45231-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NobakhtB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Podpecan14,
author = {Vid Podpecan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {436--448},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_34},
doi = {10.1007/978-3-662-45231-8\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Podpecan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuaresmaPN14,
author = {Jose Quaresma and
Christian W. Probst and
Flemming Nielson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Guided System Development Framework: Modeling and Verifying Communication
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {509--523},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_42},
doi = {10.1007/978-3-662-45231-8\_42},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuaresmaPN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RivalTC14,
author = {Xavier Rival and
Antoine Toubhans and
Bor{-}Yuh Evan Chang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Construction of Abstract Domains for Heterogeneous Properties (Position
Paper)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {489--492},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_40},
doi = {10.1007/978-3-662-45231-8\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/RivalTC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchordanLB14,
author = {Markus Schordan and
Welf L{\"{o}}we and
Dirk Beyer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Evaluation and Reproducibility of Program Analysis (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {479--481},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_37},
doi = {10.1007/978-3-662-45231-8\_37},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchordanLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchordanLQP14,
author = {Markus Schordan and
Pei{-}Hung Lin and
Daniel J. Quinlan and
Louis{-}No{\"{e}}l Pouchet},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of Polyhedral Optimizations with Constant Loop Bounds
in Finite State Space Computations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {493--508},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_41},
doi = {10.1007/978-3-662-45231-8\_41},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SchordanLQP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Seehusen14,
author = {Fredrik Seehusen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Technique for Risk-Based Test Procedure Identification, Prioritization
and Selection},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {277--291},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_20},
doi = {10.1007/978-3-662-45231-8\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Seehusen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VisK14,
author = {Jonathan K. Vis and
Joost N. Kok},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {407--419},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_32},
doi = {10.1007/978-3-662-45231-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VisK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WickertL14,
author = {Alexander Wickert and
Anna{-}Lena Lamprecht},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {jABCstats: An Extensible Process Library for the Empirical Analysis
of jABC Workflows},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {449--463},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_35},
doi = {10.1007/978-3-662-45231-8\_35},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WickertL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WognsenHL14,
author = {Erik Ramsgaard Wognsen and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Battery-Aware Scheduling of Mixed Criticality Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {208--222},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_15},
doi = {10.1007/978-3-662-45231-8\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WognsenHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WoodcockCFFL14,
author = {Jim Woodcock and
Ana Cavalcanti and
John S. Fitzgerald and
Simon Foster and
Peter Gorm Larsen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Contracts in {CML}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {54--73},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_5},
doi = {10.1007/978-3-662-45231-8\_5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WoodcockCFFL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/YahavKB14,
author = {Inbal Yahav and
Ron S. Kenett and
Xiaoying Bai},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Data Driven Testing of Open Source Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {309--321},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_22},
doi = {10.1007/978-3-662-45231-8\_22},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/YahavKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-2,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8},
doi = {10.1007/978-3-662-45231-8},
isbn = {978-3-662-45230-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2014-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 16:08 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:
