Skip to main content
  • Conference proceedings
  • © 2010

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6415)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

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

Conference proceedings info: ISoLA 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (55 papers)

  1. Front Matter

  2. New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective

    1. New Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective

      • Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
      Pages 1-2
    2. Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

      • Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
      Pages 4-17
    3. Seamless Model-Driven Development Put into Practice

      • Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs
      Pages 18-32
    4. Timely Time Estimates

      • Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig
      Pages 33-46
    5. Compiler-Support for Robust Multi-core Computing

      • Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
      Pages 47-57
  3. Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

    1. Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

      • Yamine Ait Ameur, Frédéric Boniol, Dominique Mery, Virginie Wiels
      Pages 58-59
    2. Analyzing the Security in the GSM Radio Network Using Attack Jungles

      • Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati
      Pages 60-74
    3. Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method

      • Iakovos Ouranos, Petros Stefaneas, Kazuhiro Ogata
      Pages 75-89
    4. Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

      • Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna et al.
      Pages 90-105
    5. Contract-Based Slicing

      • Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
      Pages 106-120
  4. Worst-Case Traversal Time (WCTT)

    1. Special Track on Worst Case Traversal Time (WCTT)

      • Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea et al.
      Pages 121-121
    2. DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems

      • Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea
      Pages 152-168
    3. A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling

      • Jens B. Schmitt, Hao Wang, Ivan Martinovic
      Pages 169-183
    4. Flow Control with (Min,+) Algebra

      • Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin
      Pages 184-197
    5. An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks

      • Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele
      Pages 198-213
    6. Towards Resource-Optimal Routing Plans for Real-Time Traffic

      • Alessandro Lori, Giovanni Stea, Gigliola Vaglini
      Pages 214-227

Other Volumes

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

Keywords

  • Ethernet
  • Internet
  • Routing
  • business process modeling
  • classification
  • cloud computing
  • collaboration
  • colored petri nets
  • communication system
  • crowdsourcing
  • distributed systems
  • embedded systems
  • formal modeling
  • formal semantics
  • formal verification

Editors and Affiliations

  • Institute for Informatics, University of Potsdam, Potsdam, Germany

    Tiziana Margaria

  • Technical University of Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions