default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA Workshops 2011: Vienna, Austria
- Reiner Hähnle
, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen:
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. Communications in Computer and Information Science 336, Springer 2012, ISBN 978-3-642-34780-1
Software Aspects of Robotic Systems (SARS 2011)
- Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, Uwe Aßmann:
A Role-Based Language for Collaborative Robot Applications. 1-15 - Thomas Whelan, Sonja Stüdli, John McDonald, Richard H. Middleton:
Efficient Localization for Robot Soccer Using Pattern Matching. 16-30 - Jason Kulk, James S. Welsh:
A NUPlatform for Software on Articulated Mobile Robots. 31-45 - Davide Brugali, Luca Gherardi, Markus Klotzbücher, Herman Bruyninckx:
Service Component Architectures in Robotics: The SCA-Orocos Integration. 46-60 - Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup:
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. 61-75 - Franz Wotawa:
Adaptive Autonomous Systems - From the System's Architecture to Testing. 76-90 - Emil Vassev, Mike Hinchey:
Representing Knowledge in Robotic Systems with KnowLang. 91-105 - Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Mahesh Varadarajan:
Object Detection and Classification for Domestic Robots. 106-120 - Michael Zillich, Wolfgang Ponweiser, Markus Vincze:
A Software Integration Framework for Cognitive Systems. 121-135
Special Session on KOROS
- Martin Pongratz, Klaus Pollhammer, Alexander Szep:
KOROS Initiative: Automatized Throwing and Catching for Material Transportation. 136-143 - Dietmar Bruckner, Friedrich Gelbard:
Cognitive Decision Unit Applied to Autonomous Robots. 144-149 - Dietmar Schreiner:
Building iRIS: A Robotic Immune System. 150-155 - Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner:
Towards Reorientation with a Humanoid Robot. 156-161
Machine Learning for System Construction (MLSC 2011)
- Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu:
Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing. 162-180 - Dilian Gurov, Bjarte M. Østvold, Ina Schaefer:
A Hierarchical Variability Model for Software Product Lines. 181-199 - Karl Meinke, Fei Niu, Muddassar A. Sindhu:
Learning-Based Software Testing: A Tutorial. 200-219 - Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes, Romina Spalazzese:
Machine Learning for Automatic Classification of Web Service Interface Descriptions. 220-231 - Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria:
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. 232-247 - Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automata Learning with On-the-Fly Direct Hypothesis Construction. 248-260
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.
last updated on 2026-03-20 23:36 CET 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:
