Communications in Computer and Information Science

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: Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (Eds.)

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

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-34781-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-34780-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (19 chapters)

  • A Role-Based Language for Collaborative Robot Applications

    Götz, Sebastian (et al.)

    Pages 1-15

  • Efficient Localization for Robot Soccer Using Pattern Matching

    Whelan, Thomas (et al.)

    Pages 16-30

  • A NUPlatform for Software on Articulated Mobile Robots

    Kulk, Jason (et al.)

    Pages 31-45

  • Service Component Architectures in Robotics: The SCA-Orocos Integration

    Brugali, Davide (et al.)

    Pages 46-60

  • Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

    Toben, Tobe (et al.)

    Pages 61-75

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-34781-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-34780-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Leveraging Applications of Formal Methods, Verification, and Validation
Book Subtitle
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
  • Reiner Hähnle
  • Jens Knoop
  • Tiziana Margaria
  • Dietmar Schreiner
  • Bernhard Steffen
Series Title
Communications in Computer and Information Science
Series Volume
336
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-34781-8
DOI
10.1007/978-3-642-34781-8
Softcover ISBN
978-3-642-34780-1
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XII, 261
Number of Illustrations and Tables
94 b/w illustrations
Topics