Leveraging Applications of Formal Methods, Verification and Validation

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Editors:

ISBN: 978-3-540-88478-1 (Print) 978-3-540-88479-8 (Online)

Table of contents (61 chapters)

previous Page of 4
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-13

      Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)

    2. No Access

      Book Chapter

      Pages 14-14

      Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action

  3. Keynote

    1. No Access

      Book Chapter

      Pages 15-36

      Modelling Coordination and Compensation

  4. Tools and Applications in Industrial Software Quality Control

    1. No Access

      Book Chapter

      Pages 37-55

      Animating Event B Models by Formal Data Models

    2. No Access

      Book Chapter

      Pages 56-70

      Automated Formal Testing of C API Using T2C Framework

  5. Introduction of Multi-core Systems in Automotive Applications

    1. No Access

      Book Chapter

      Pages 71-81

      Tailoring and Optimising Software for Automotive Multicore Systems

    2. No Access

      Book Chapter

      Pages 82-92

      Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications

    3. No Access

      Book Chapter

      Pages 93-107

      Timing Validation of Automotive Software

  6. Model-Driven SOA

    1. No Access

      Book Chapter

      Pages 108-123

      Towards Using Reo for Compliance-Aware Business Process Modeling

    2. No Access

      Book Chapter

      Pages 124-138

      On the Risk Management and Auditing of SOA Based Business Processes

    3. No Access

      Book Chapter

      Pages 139-154

      SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction

  7. Applications of Formal Approaches to Service-Oriented Computing

    1. No Access

      Book Chapter

      Pages 155-169

      A Use-Case Driven Approach to Formal Service-Oriented Modelling

    2. No Access

      Book Chapter

      Pages 170-190

      Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

    3. No Access

      Book Chapter

      Pages 191-205

      Safety and Response-Time Analysis of an Automotive Accident Assistance Service

    4. No Access

      Book Chapter

      Pages 206-220

      A Framework for Analyzing and Testing the Performance of Software Services

    5. No Access

      Book Chapter

      Pages 221-236

      A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application

  8. Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia

    1. No Access

      Book Chapter

      Pages 237-251

      ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions

    2. No Access

      Book Chapter

      Pages 252-261

      Computing Must and May Alias to Detect Null Pointer Dereference

    3. No Access

      Book Chapter

      Pages 262-276

      A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking

    4. No Access

      Book Chapter

      Pages 277-291

      Program Verification by Reduction to Semi-algebraic Systems Solving

previous Page of 4