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

  • Reiner Hähnle
  • Jens Knoop
  • Tiziana Margaria
  • Dietmar Schreiner
  • Bernhard Steffen
Conference proceedings

DOI: 10.1007/978-3-642-34781-8

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

Table of contents

  1. Front Matter
  2. Software Aspects of Robotic Systems (SARS 2011)

    1. Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke et al.
      Pages 1-15
    2. Thomas Whelan, Sonja Stüdli, John McDonald, Richard H. Middleton
      Pages 16-30
    3. Jason Kulk, James S. Welsh
      Pages 31-45
    4. Davide Brugali, Luca Gherardi, Markus Klotzbücher, Herman Bruyninckx
      Pages 46-60
    5. Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup
      Pages 61-75
    6. Emil Vassev, Mike Hinchey
      Pages 91-105
    7. Markus Vincze, Walter Wohlkinger, Sven Olufs, Peter Einramhof, Robert Schwarz, Karthik Varadarajan
      Pages 106-120
    8. Michael Zillich, Wolfgang Ponweiser, Markus Vincze
      Pages 121-135
  3. Special Session on KOROS

    1. Martin Pongratz, Klaus Pollhammer, Alexander Szep
      Pages 136-143
    2. Dietmar Bruckner, Friedrich Gelbard
      Pages 144-149
    3. Dietmar Schreiner
      Pages 150-155
    4. Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner
      Pages 156-161
  4. Machine Learning for System Construction (MLSC 2011)

    1. Matthias Gander, Michael Felderer, Basel Katt, Ruth Breu
      Pages 162-180
    2. Dilian Gurov, Bjarte M. Østvold, Ina Schaefer
      Pages 181-199
    3. Karl Meinke, F. Niu, M. Sindhu
      Pages 200-219
    4. Amel Bennaceur, Valérie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes, Romina Spalazzese
      Pages 220-231
    5. Falk Howar, Oliver Bauer, Maik Merten, Bernhard Steffen, Tiziana Margaria
      Pages 232-247
    6. Maik Merten, Falk Howar, Bernhard Steffen, Tiziana Margaria
      Pages 248-260

About these proceedings

Introduction

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.

Keywords

Web services automata learning autonomous robots knowledge management software engineering

Editors and affiliations

  • Reiner Hähnle
    • 1
  • Jens Knoop
    • 2
  • Tiziana Margaria
    • 3
  • Dietmar Schreiner
    • 4
  • Bernhard Steffen
    • 5
  1. 1.Department of Computer Science, Software Engineering GroupTU DarmstadtDarmstadtGermany
  2. 2.Institute of Computer LanguagesTU Vienna, Faculty of InformaticsViennaAustria
  3. 3.Institute of Informatics, Service and Software Engineering GroupUniversity PotsdamPotsdamGermany
  4. 4.Faculty of Informatics, Institute of Computer LanguagesTU ViennaViennaAustria
  5. 5.Faculty of Informatics, Chair of Programming SystemsTU DortmundDortmundGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-34780-1
  • Online ISBN 978-3-642-34781-8
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937