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

ISBN: 978-3-642-34780-1 (Print) 978-3-642-34781-8 (Online)

Table of contents (19 chapters)

  1. Front Matter

    Pages -

  2. Software Aspects of Robotic Systems (SARS 2011)

    1. No Access

      Book Chapter

      Pages 1-15

      A Role-Based Language for Collaborative Robot Applications

    2. No Access

      Book Chapter

      Pages 16-30

      Efficient Localization for Robot Soccer Using Pattern Matching

    3. No Access

      Book Chapter

      Pages 31-45

      A NUPlatform for Software on Articulated Mobile Robots

    4. No Access

      Book Chapter

      Pages 46-60

      Service Component Architectures in Robotics: The SCA-Orocos Integration

    5. No Access

      Book Chapter

      Pages 61-75

      Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

    6. No Access

      Book Chapter

      Pages 76-90

      Adaptive Autonomous Systems – From the System’s Architecture to Testing

    7. No Access

      Book Chapter

      Pages 91-105

      Representing Knowledge in Robotic Systems with KnowLang

    8. No Access

      Book Chapter

      Pages 106-120

      Object Detection and Classification for Domestic Robots

    9. No Access

      Book Chapter

      Pages 121-135

      A Software Integration Framework for Cognitive Systems

  3. Special Session on KOROS

    1. No Access

      Book Chapter

      Pages 136-143

      KOROS Initiative: Automatized Throwing and Catching for Material Transportation

    2. No Access

      Book Chapter

      Pages 144-149

      Cognitive Decision Unit Applied to Autonomous Robots

    3. No Access

      Book Chapter

      Pages 150-155

      Building iRIS: A Robotic Immune System

    4. No Access

      Book Chapter

      Pages 156-161

      Towards Reorientation with a Humanoid Robot

  4. Machine Learning for System Construction (MLSC 2011)

    1. No Access

      Book Chapter

      Pages 162-180

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

    2. No Access

      Book Chapter

      Pages 181-199

      A Hierarchical Variability Model for Software Product Lines

    3. No Access

      Book Chapter

      Pages 200-219

      Learning-Based Software Testing: A Tutorial

    4. No Access

      Book Chapter

      Pages 220-231

      Machine Learning for Automatic Classification of Web Service Interface Descriptions

    5. No Access

      Book Chapter

      Pages 232-247

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

    6. No Access

      Book Chapter

      Pages 248-260

      Automata Learning with On-the-Fly Direct Hypothesis Construction

  5. Back Matter

    Pages -