ISoLA Workshops

Publications

volume 336, 2012

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 ISoLA Workshops 336 (2012)

2011

Jason Kulk, James S. Welsh
A NUPlatform for Software on Articulated Mobile Robots. ISoLA Workshops (2011)
Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes, Romina Spalazzese
Machine Learning for Automatic Classification of Web Service Interface Descriptions. ISoLA Workshops (2011)
Karl Meinke, Fei Niu, Muddassar A. Sindhu
Learning-Based Software Testing: A Tutorial. ISoLA Workshops (2011)
Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. ISoLA Workshops (2011)
Dietmar Bruckner, Friedrich Gelbard
Cognitive Decision Unit Applied to Autonomous Robots. ISoLA Workshops (2011)
Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
Automata Learning with On-the-Fly Direct Hypothesis Construction. ISoLA Workshops (2011)
Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner
Towards Reorientation with a Humanoid Robot. ISoLA Workshops (2011)
Dilian Gurov, Bjarte M. Østvold, Ina Schaefer
A Hierarchical Variability Model for Software Product Lines. ISoLA Workshops (2011)
Martin Pongratz, Klaus Pollhammer, Alexander Szep
KOROS Initiative: Automatized Throwing and Catching for Material Transportation. ISoLA Workshops (2011)
Emil Vassev, Mike Hinchey
Representing Knowledge in Robotic Systems with KnowLang. ISoLA Workshops (2011)
Dietmar Schreiner
Building iRIS: A Robotic Immune System. ISoLA Workshops (2011)
Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu
Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing. ISoLA Workshops (2011)
Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. ISoLA Workshops (2011)
Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Mahesh Varadarajan
Object Detection and Classification for Domestic Robots. ISoLA Workshops (2011)
Thomas Whelan, Sonja Stüdli, John McDonald, Richard H. Middleton
Efficient Localization for Robot Soccer Using Pattern Matching. ISoLA Workshops (2011)
Davide Brugali, Luca Gherardi, Markus Klotzbücher, Herman Bruyninckx
Service Component Architectures in Robotics: The SCA-Orocos Integration. ISoLA Workshops (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. ISoLA Workshops (2011)
Franz Wotawa
Adaptive Autonomous Systems - From the System's Architecture to Testing. ISoLA Workshops (2011)
Michael Zillich, Wolfgang Ponweiser, Markus Vincze
A Software Integration Framework for Cognitive Systems. ISoLA Workshops (2011)