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/isola2011w.bht:"
download as .bib file
@proceedings{DBLP:conf/isola/2011w,
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34781-8},
doi = {10.1007/978-3-642-34781-8},
isbn = {978-3-642-34780-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/2011w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BennaceurIJMSS11,
author = {Amel Bennaceur and
Val{\'{e}}rie Issarny and
Richard Johansson and
Alessandro Moschitti and
Daniel Sykes and
Romina Spalazzese},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Machine Learning for Automatic Classification of Web Service Interface
Descriptions},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {220--231},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_17},
doi = {10.1007/978-3-642-34781-8\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BennaceurIJMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrucknerG11,
author = {Dietmar Bruckner and
Friedrich Gelbard},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Cognitive Decision Unit Applied to Autonomous Robots},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {144--149},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_11},
doi = {10.1007/978-3-642-34781-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BrucknerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrucknerVH11,
author = {Dietmar Bruckner and
Markus Vincze and
Isabella Hinterleitner},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Towards Reorientation with a Humanoid Robot},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {156--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_13},
doi = {10.1007/978-3-642-34781-8\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BrucknerVH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrugaliGKB11,
author = {Davide Brugali and
Luca Gherardi and
Markus Klotzb{\"{u}}cher and
Herman Bruyninckx},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Service Component Architectures in Robotics: The SCA-Orocos Integration},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {46--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_4},
doi = {10.1007/978-3-642-34781-8\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BrugaliGKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GanderFKB11,
author = {Matthias Gander and
Michael Felderer and
Basel Katt and
Ruth Breu},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Monitoring Anomalies in IT-Landscapes Using Clustering Techniques
and Complex Event Processing},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {162--180},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_14},
doi = {10.1007/978-3-642-34781-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GanderFKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GotzLRSWWA11,
author = {Sebastian G{\"{o}}tz and
Max Leuth{\"{a}}user and
Jan Reimann and
Julia Schroeter and
Christian Wende and
Claas Wilke and
Uwe A{\ss}mann},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {A Role-Based Language for Collaborative Robot Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {1--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_1},
doi = {10.1007/978-3-642-34781-8\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GotzLRSWWA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GurovOS11,
author = {Dilian Gurov and
Bjarte M. {\O}stvold and
Ina Schaefer},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {A Hierarchical Variability Model for Software Product Lines},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {181--199},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_15},
doi = {10.1007/978-3-642-34781-8\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GurovOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarBMSM11,
author = {Falk Howar and
Oliver Bauer and
Maik Merten and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata
Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {232--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_18},
doi = {10.1007/978-3-642-34781-8\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarBMSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KulkW11,
author = {Jason Kulk and
James S. Welsh},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {A NUPlatform for Software on Articulated Mobile Robots},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {31--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_3},
doi = {10.1007/978-3-642-34781-8\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KulkW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MeinkeNS11,
author = {Karl Meinke and
Fei Niu and
Muddassar A. Sindhu},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Learning-Based Software Testing: {A} Tutorial},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {200--219},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_16},
doi = {10.1007/978-3-642-34781-8\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MeinkeNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSM11,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Automata Learning with On-the-Fly Direct Hypothesis Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {248--260},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_19},
doi = {10.1007/978-3-642-34781-8\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MertenHSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PongratzPS11,
author = {Martin Pongratz and
Klaus Pollhammer and
Alexander Szep},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {{KOROS} Initiative: Automatized Throwing and Catching for Material
Transportation},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {136--143},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_10},
doi = {10.1007/978-3-642-34781-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PongratzPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schreiner11,
author = {Dietmar Schreiner},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Building iRIS: {A} Robotic Immune System},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {150--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_12},
doi = {10.1007/978-3-642-34781-8\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Schreiner11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TobenEKSWR11,
author = {Tobe Toben and
S{\"{o}}nke Eilers and
Christian Kuka and
S{\"{o}}ren Schweigert and
Hannes Winkelmann and
Stefan Ruehrup},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {61--75},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_5},
doi = {10.1007/978-3-642-34781-8\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/TobenEKSWR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VassevH11,
author = {Emil Vassev and
Mike Hinchey},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Representing Knowledge in Robotic Systems with KnowLang},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {91--105},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_7},
doi = {10.1007/978-3-642-34781-8\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VassevH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VinczeWOESV11,
author = {Markus Vincze and
Walter Wohlkinger and
Sven Olufs and
Peter Einramhof and
Robert Schwarz and
Karthik Mahesh Varadarajan},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Object Detection and Classification for Domestic Robots},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {106--120},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_8},
doi = {10.1007/978-3-642-34781-8\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VinczeWOESV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WhelanSMM11,
author = {Thomas Whelan and
Sonja St{\"{u}}dli and
John McDonald and
Richard H. Middleton},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Efficient Localization for Robot Soccer Using Pattern Matching},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {16--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_2},
doi = {10.1007/978-3-642-34781-8\_2},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WhelanSMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Wotawa11,
author = {Franz Wotawa},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Adaptive Autonomous Systems - From the System's Architecture to Testing},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {76--90},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_6},
doi = {10.1007/978-3-642-34781-8\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Wotawa11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZillichPV11,
author = {Michael Zillich and
Wolfgang Ponweiser and
Markus Vincze},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {A Software Integration Framework for Cognitive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {121--135},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_9},
doi = {10.1007/978-3-642-34781-8\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ZillichPV11.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-02 09:03 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:
