Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 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

Editors:

  1. Reiner Hähnle

    1. Department of Computer Science, Software Engineering Group, TU Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jens Knoop

    1. Institute of Computer Languages, TU Vienna, Faculty of Informatics, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tiziana Margaria

    1. Institute of Informatics, Service and Software Engineering Group, University Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dietmar Schreiner

    1. Faculty of Informatics, Institute of Computer Languages, TU Vienna, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Bernhard Steffen

    1. Faculty of Informatics, Chair of Programming Systems, TU Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Communications in Computer and Information Science (CCIS, volume 336)

Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods

Conference proceedings info: ISoLA 2011.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (19 papers)

  1. Front Matter

    PDF

  2. Software Aspects of Robotic Systems (SARS 2011)

    1. A Role-Based Language for Collaborative Robot Applications

      • Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke et al.
      Pages 1-15

    2. Efficient Localization for Robot Soccer Using Pattern Matching

      • Thomas Whelan, Sonja Stüdli, John McDonald, Richard H. Middleton
      Pages 16-30

    3. A NUPlatform for Software on Articulated Mobile Robots

      • Jason Kulk, James S. Welsh
      Pages 31-45

    4. Service Component Architectures in Robotics: The SCA-Orocos Integration

      • Davide Brugali, Luca Gherardi, Markus Klotzbücher, Herman Bruyninckx
      Pages 46-60

    5. Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

      • Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup
      Pages 61-75

    7. Representing Knowledge in Robotic Systems with KnowLang

      • Emil Vassev, Mike Hinchey
      Pages 91-105

    8. Object Detection and Classification for Domestic Robots

      • Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Varadarajan
      Pages 106-120

    9. A Software Integration Framework for Cognitive Systems

      • Michael Zillich, Wolfgang Ponweiser, Markus Vincze
      Pages 121-135

  3. Special Session on KOROS

    1. KOROS Initiative: Automatized Throwing and Catching for Material Transportation

      • Martin Pongratz, Klaus Pollhammer, Alexander Szep
      Pages 136-143

    2. Cognitive Decision Unit Applied to Autonomous Robots

      • Dietmar Bruckner, Friedrich Gelbard
      Pages 144-149

    3. Building iRIS: A Robotic Immune System

      • Dietmar Schreiner
      Pages 150-155

    4. Towards Reorientation with a Humanoid Robot

      • Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner
      Pages 156-161

  4. Machine Learning for System Construction (MLSC 2011)

    1. Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing

      • Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu
      Pages 162-180

    2. A Hierarchical Variability Model for Software Product Lines

      • Dilian Gurov, Bjarte M. Østvold, Ina Schaefer
      Pages 181-199

    3. Learning-Based Software Testing: A Tutorial

      • Karl Meinke, F. Niu, M. Sindhu
      Pages 200-219

    4. Machine Learning for Automatic Classification of Web Service Interface Descriptions

      • Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes, Romina Spalazzese
      Pages 220-231

    5. The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning

      • Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
      Pages 232-247

    6. Automata Learning with On-the-Fly Direct Hypothesis Construction

      • Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
      Pages 248-260
Back to top

Other Volumes

  1. Leveraging Applications of Formal Methods, Verification, and Validation

Back to top

About this book

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, Software Engineering Group, TU Darmstadt, Darmstadt, Germany

    Reiner Hähnle

  • Institute of Computer Languages, TU Vienna, Faculty of Informatics, Vienna, Austria

    Jens Knoop

  • Institute of Informatics, Service and Software Engineering Group, University Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Faculty of Informatics, Institute of Computer Languages, TU Vienna, Vienna, Austria

    Dietmar Schreiner

  • Faculty of Informatics, Chair of Programming Systems, TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation