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/isola2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/isola/Ait-SadouneA08,
author = {Idir A{\"{\i}}t{-}Sadoune and
Yamine A{\"{\i}}t Ameur},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Animating Event {B} Models by Formal Data Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {37--55},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_4},
doi = {10.1007/978-3-540-88479-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Ait-SadouneA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArbabKM08,
author = {Farhad Arbab and
Natallia Kokash and
Sun Meng},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Using Reo for Compliance-Aware Business Process Modeling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {108--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_9},
doi = {10.1007/978-3-540-88479-8\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ArbabKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Argent-KatwalaCFGMT08,
author = {Ashok Argent{-}Katwala and
Allan Clark and
Howard Foster and
Stephen Gilmore and
Philip Mayer and
Mirco Tribastone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safety and Response-Time Analysis of an Automotive Accident Assistance
Service},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {191--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_14},
doi = {10.1007/978-3-540-88479-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Argent-KatwalaCFGMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArkhipovaZ08,
author = {M. V. Arkhipova and
Sergey V. Zelenov},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Directed Generation of Test Data for Static Semantics Checker},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {753--768},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_54},
doi = {10.1007/978-3-540-88479-8\_54},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ArkhipovaZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArkoudasS08,
author = {Konstantine Arkoudas and
Olin Shivers},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Trusted Theorem Proving: {A} Case Study in SLD-Resolution},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {782--796},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_56},
doi = {10.1007/978-3-540-88479-8\_56},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ArkoudasS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AssisS08,
author = {Patricia Seefelder de Assis and
Daniel Schwabe},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {548--560},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_39},
doi = {10.1007/978-3-540-88479-8\_39},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AssisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Attiogbe08,
author = {J. Christian Attiogb{\'{e}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Event-Based Approach to Modelling Dynamic Architecture: Application
to Mobile Ad-Hoc Network},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {769--781},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_55},
doi = {10.1007/978-3-540-88479-8\_55},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Attiogbe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BajohrM08,
author = {Markus Bajohr and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {High Service Availability in MaTRICS for the {OCS}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {572--586},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_41},
doi = {10.1007/978-3-540-88479-8\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BajohrM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BarbosaM08,
author = {Ellen Francine Barbosa and
Jos{\'{e}} Carlos Maldonado},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Specialization and Instantiation Aspects of a Standard Process for
Developing Educational Modules},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {503--518},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_36},
doi = {10.1007/978-3-540-88479-8\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BarbosaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BarnatB08,
author = {Jiri Barnat and
Lubos Brim},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Squeeze All the Power Out of Your Hardware to Verify Your Software!},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {604--618},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_43},
doi = {10.1007/978-3-540-88479-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BarnatB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckschulzeSSK08,
author = {Eva Beckschulze and
Falk Salewski and
Thomas Siegbert and
Stefan Kowalewski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical
Automotive Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {82--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_7},
doi = {10.1007/978-3-540-88479-8\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckschulzeSSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BertolinoAMIST08,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Antinisca Di Marco and
Paola Inverardi and
Antonino Sabetta and
Massimo Tivoli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Framework for Analyzing and Testing the Performance of Software
Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {206--220},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_15},
doi = {10.1007/978-3-540-88479-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BertolinoAMIST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BocchiFL08,
author = {Laura Bocchi and
Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Use-Case Driven Approach to Formal Service-Oriented Modelling},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {155--169},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_12},
doi = {10.1007/978-3-540-88479-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BocchiFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Boute08,
author = {Raymond T. Boute},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Simple Gedanken Experiments in Leveraging Applications of Formal Methods},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {847--861},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_60},
doi = {10.1007/978-3-540-88479-8\_60},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Boute08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BreitmanH08,
author = {Karin Koogan Breitman and
Michael G. Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Use of Formal Ontology to Specify Context in Ubiquitous Computing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {561--571},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_40},
doi = {10.1007/978-3-540-88479-8\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BreitmanH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BreuLWK08,
author = {Ruth Breu and
Alexander Lechner and
Mathias Willburger and
Basel Katt},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Workflow Testing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {709--723},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_51},
doi = {10.1007/978-3-540-88479-8\_51},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BreuLWK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrionesLD08,
author = {Laura Brand{\'{a}}n Briones and
Alexander Lazovik and
Philippe Dague},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Optimizing the System Observability Level for Diagnosability},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {815--830},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_58},
doi = {10.1007/978-3-540-88479-8\_58},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BrionesLD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Broy08,
author = {Manfred Broy},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Architecture Based Specification and Verification of Embedded Software
Systems (Work in Progress)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {1--13},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_1},
doi = {10.1007/978-3-540-88479-8\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Broy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BruinKLT08,
author = {Jeroen S. de Bruin and
Joost N. Kok and
Nada Lavrac and
Igor Trajkovski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Design of Knowledge Discovery Services Design Patterns and
Their Application in a Use Case Implementation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {649--662},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_46},
doi = {10.1007/978-3-540-88479-8\_46},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BruinKLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CafezeiroFRHE08,
author = {Isabel Cafezeiro and
Jos{\'{e}} Viterbo Filho and
Alexandre Rademaker and
Edward Hermann Haeusler and
Markus Endler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous
Computing},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {519--533},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_37},
doi = {10.1007/978-3-540-88479-8\_37},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CafezeiroFRHE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CerioliLMR08,
author = {Maura Cerioli and
Giovanni Lagorio and
Enrico Morten and
Gianna Reggio},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Gesper: Support to Capitalize on Experience in a Network of SMEs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {738--752},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_53},
doi = {10.1007/978-3-540-88479-8\_53},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CerioliLMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ColasMHKWRVMCBHSK08,
author = {Fabrice Colas and
Ingrid Meulenbelt and
Jeanine J. Houwing{-}Duistermaat and
Margreet Kloppenburg and
Iain Watt and
Stephanie M. van Rooden and
Martine Visser and
Johan Marinus and
Edward O. Cannon and
Andreas Bender and
Jacobus J. van Hilten and
P. Eline Slagboom and
Joost N. Kok},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics
Data},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {669--683},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_48},
doi = {10.1007/978-3-540-88479-8\_48},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ColasMHKWRVMCBHSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FarahbodGJV08,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Piper J. Jackson and
Mona Vajihollahi},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {High Level Analysis, Design and Validation of Distributed Mobile Systems
with CoreASM},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {797--814},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_57},
doi = {10.1007/978-3-540-88479-8\_57},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/FarahbodGJV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Franz08,
author = {Florian Franz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Experiences with Evolutionary Timing Test of Automotive Software Components},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {415--429},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_29},
doi = {10.1007/978-3-540-88479-8\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Franz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Georgakopoulos08,
author = {Dimitrios Georgakopoulos},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Information System Engineering Supporting Observation, Orientation,
Decision, and Compliant Action},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_2},
doi = {10.1007/978-3-540-88479-8\_2},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Georgakopoulos08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Gibson08,
author = {J. Paul Gibson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Weaving a Formal Methods Education with Problem-Based Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {460--472},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_32},
doi = {10.1007/978-3-540-88479-8\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Gibson08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GreciMM08,
author = {Paolo Greci and
Fabio Martinelli and
Ilaria Matteucci},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Framework for Contract-Policy Matching Based on Symbolic Simulations
for Securing Mobile Device Application},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {221--236},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_16},
doi = {10.1007/978-3-540-88479-8\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GreciMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GuoR08,
author = {Liang Guo and
Abhik Roychoudhury},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Debugging Statecharts Via Model-Code Traceability},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {292--306},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_21},
doi = {10.1007/978-3-540-88479-8\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GuoR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GustafssonLSFGJB08,
author = {Jan Gustafsson and
Bj{\"{o}}rn Lisper and
Markus Schordan and
Christian Ferdinand and
Peter Gliwa and
Marek Jersak and
Guillem Bernat},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ALL-TIMES} - {A} European Project on Integrating Timing Technology},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {445--459},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_31},
doi = {10.1007/978-3-540-88479-8\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GustafssonLSFGJB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HahnAHR08,
author = {Axel Hahn and
Stephan gro{\ss}e Austing and
Stefan H{\"{a}}usler and
Matthias Reinelt},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Requirements for Ontology Based Design Project Assessment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {684--692},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_49},
doi = {10.1007/978-3-540-88479-8\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HahnAHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HaidarA08,
author = {Ali Nasrat Haidar and
Ali E. Abdallah},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Weaving Authentication and Authorization Requirements into the Functional
Model of a System Using {Z} Promotion},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {831--846},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_59},
doi = {10.1007/978-3-540-88479-8\_59},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HaidarA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HaidarA08a,
author = {Ali Nasrat Haidar and
Ali E. Abdallah},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Composition of Web Services Using Wrappers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {862--865},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_61},
doi = {10.1007/978-3-540-88479-8\_61},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HaidarA08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/He08,
author = {Jifeng He},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modelling Coordination and Compensation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {15--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_3},
doi = {10.1007/978-3-540-88479-8\_3},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/He08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Hinchey08,
author = {Michael G. Hinchey},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Encouraging the Uptake of Formal Methods Training in an Industrial
Context},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {473--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_33},
doi = {10.1007/978-3-540-88479-8\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Hinchey08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HormannMMNST08,
author = {Martina H{\"{o}}rmann and
Tiziana Margaria and
Thomas Mender and
Ralf Nagel and
Bernhard Steffen and
Hong Trinh},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The jABC Approach to Rigorous Collaborative Development of {SCM} Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {724--737},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_52},
doi = {10.1007/978-3-540-88479-8\_52},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HormannMMNST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JinZ08,
author = {Naiyong Jin and
Huibiao Zhu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ASERE:} Assuring the Satisfiability of Sequential Extended Regular
Expressions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {237--251},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_17},
doi = {10.1007/978-3-540-88479-8\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JinZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JungMNSSV08,
author = {Georg Jung and
Tiziana Margaria and
Ralf Nagel and
Wolfgang Schubert and
Bernhard Steffen and
Horst Voigt},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{SCA} and jABC: Bringing a Service-Oriented Paradigm to Web-Service
Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {139--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_11},
doi = {10.1007/978-3-540-88479-8\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/JungMNSSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KastnerWHSPJRF08,
author = {Daniel K{\"{a}}stner and
Reinhard Wilhelm and
Reinhold Heckmann and
Marc Schlickling and
Markus Pister and
Marek Jersak and
Kai Richter and
Christian Ferdinand},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Timing Validation of Automotive Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {93--107},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_8},
doi = {10.1007/978-3-540-88479-8\_8},
timestamp = {Thu, 19 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KastnerWHSPJRF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KhoroshilovRS08,
author = {Alexey V. Khoroshilov and
Vladimir V. Rubanov and
Eugene A. Shatokhin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Formal Testing of {C} {API} Using {T2C} Framework},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {56--70},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_5},
doi = {10.1007/978-3-540-88479-8\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KhoroshilovRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KoznovP08,
author = {Dmitrij V. Koznov and
Michel Pliskin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Computer-Supported Collaborative Learning with Mind-Maps},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {478--489},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_34},
doi = {10.1007/978-3-540-88479-8\_34},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KoznovP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KugeleHTW08,
author = {Stefan Kugele and
Wolfgang Haberl and
Michael Tautschnig and
Martin Wechs},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {400--414},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_28},
doi = {10.1007/978-3-540-88479-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KugeleHTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KuhnMS08,
author = {Eva K{\"{u}}hn and
Richard Mordinyi and
Christian Schreiber},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Extensible Space-Based Coordination Approach for Modeling Complex
Patterns in Large Systems,},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {634--648},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_45},
doi = {10.1007/978-3-540-88479-8\_45},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KuhnMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LangerT08,
author = {Boris Langer and
Michael Tautschnig},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Navigating the Requirements Jungle},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {354--368},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_25},
doi = {10.1007/978-3-540-88479-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LangerT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LiuMS08,
author = {Zhiming Liu and
Charles Morisset and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Component-Based Access Control Monitor},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {339--353},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_24},
doi = {10.1007/978-3-540-88479-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LiuMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MaWD08,
author = {Xiaodong Ma and
Ji Wang and
Wei Dong},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Computing Must and May Alias to Detect Null Pointer Dereference},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {252--261},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_18},
doi = {10.1007/978-3-540-88479-8\_18},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MaWD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaS08,
author = {Tiziana Margaria and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Agile {IT:} Thinking in User-Centric Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {490--502},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_35},
doi = {10.1007/978-3-540-88479-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MittermayrB08,
author = {Robert Mittermayr and
Johann Blieberger},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static Partial-Order Reduction of Concurrent Systems in Polynomial
Time},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {619--633},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_44},
doi = {10.1007/978-3-540-88479-8\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MittermayrB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/OrriensHP08,
author = {Bart Orri{\"{e}}ns and
Willem{-}Jan van den Heuvel and
Mike P. Papazoglou},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Risk Management and Auditing of {SOA} Based Business Processes},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {124--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_10},
doi = {10.1007/978-3-540-88479-8\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/OrriensHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PaulitschRS08,
author = {Michael Paulitsch and
Harald Rue{\ss} and
Maria Sorea},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Non-functional Avionics Requirements},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {369--384},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_26},
doi = {10.1007/978-3-540-88479-8\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PaulitschRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PolleU08,
author = {Torsten Polle and
Michael Uelschen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Tailoring and Optimising Software for Automotive Multicore Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {71--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_6},
doi = {10.1007/978-3-540-88479-8\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PolleU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/QuanQL08,
author = {Long Quan and
Zongyan Qiu and
Zhiming Liu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Use of Design Patterns and Refactoring},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {323--338},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_23},
doi = {10.1007/978-3-540-88479-8\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/QuanQL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SpinolaPT08,
author = {Rodrigo O. Sp{\'{\i}}nola and
Felipe C. R. Pinto and
Guilherme Horta Travassos},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Supporting Requirements Definition and Quality Assurance in Ubiquitous
Software Project},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {587--603},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_42},
doi = {10.1007/978-3-540-88479-8\_42},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SpinolaPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Stam08,
author = {Andries Stam},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The {ASK} System and the Challenge of Distributed Knowledge Discovery},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {663--668},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_47},
doi = {10.1007/978-3-540-88479-8\_47},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Stam08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SunLD08,
author = {Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model Checking {CSP} Revisited: Introducing a Process Analysis Toolkit},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {307--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_22},
doi = {10.1007/978-3-540-88479-8\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SunLD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VanschorenBPH08,
author = {Joaquin Vanschoren and
Hendrik Blockeel and
Bernhard Pfahringer and
Geoffrey Holmes},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Organizing the World's Machine Learning Information},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {693--708},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_50},
doi = {10.1007/978-3-540-88479-8\_50},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VanschorenBPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WangHHW08,
author = {Zhonglei Wang and
Wolfgang Haberl and
Andreas Herkersdorf and
Martin Wechs},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Simulation Approach for Performance Validation during Embedded Systems
Design},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {385--399},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_27},
doi = {10.1007/978-3-540-88479-8\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WangHHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WenzelKRP08,
author = {Ingomar Wenzel and
Raimund Kirner and
Bernhard Rieder and
Peter P. Puschner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Measurement-Based Timing Analysis},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {430--444},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_30},
doi = {10.1007/978-3-540-88479-8\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WenzelKRP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WolterD08,
author = {Uwe Wolter and
Zinovy Diskin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Contexts and Context Awareness in View of the Diagram Predicate Framework},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {534--547},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_38},
doi = {10.1007/978-3-540-88479-8\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WolterD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/XiaYZ08,
author = {Bican Xia and
Lu Yang and
Naijun Zhan},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Program Verification by Reduction to Semi-algebraic Systems Solving},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {277--291},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_20},
doi = {10.1007/978-3-540-88479-8\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/XiaYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZhaoWL08,
author = {Jianhua Zhao and
Linzhang Wang and
Xuandong Li},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Partial Order Reduction Technique for Parallel Timed Automaton Model
Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {262--276},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_19},
doi = {10.1007/978-3-540-88479-8\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ZhaoWL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
publisher = {Springer},
year = {2008},
isbn = {978-3-540-88478-1},
timestamp = {Fri, 14 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/2008.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-05-10 18:05 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:
