Fundamentals of Software Engineering

5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Editors:

ISBN: 978-3-642-40212-8 (Print) 978-3-642-40213-5 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XIX

  2. No Access

    Book Chapter

    Pages 1-16

    Unbounded Allocation in Bounded Heaps

  3. No Access

    Book Chapter

    Pages 17-33

    On the Complexity of Adding Convergence

  4. No Access

    Book Chapter

    Pages 34-50

    Deadlock Checking by Data Race Detection

  5. No Access

    Book Chapter

    Pages 51-65

    Delta Modeling and Model Checking of Product Families

  6. No Access

    Book Chapter

    Pages 66-82

    Lending Petri Nets and Contracts

  7. No Access

    Book Chapter

    Pages 83-94

    On Efficiency Preorders

  8. No Access

    Book Chapter

    Pages 95-110

    Compiling Cooperative Task Management to Continuations

  9. No Access

    Book Chapter

    Pages 111-132

    Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

  10. No Access

    Book Chapter

    Pages 133-149

    Efficient Operational Semantics for \( EB ^3\) for Verification of Temporal Properties

  11. No Access

    Book Chapter

    Pages 150-167

    Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

  12. No Access

    Book Chapter

    Pages 168-182

    Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

  13. No Access

    Book Chapter

    Pages 183-198

    A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming

  14. No Access

    Book Chapter

    Pages 199-216

    Push-Down Automata with Gap-Order Constraints

  15. No Access

    Book Chapter

    Pages 217-232

    Model Checking MANETs with Arbitrary Mobility

  16. No Access

    Book Chapter

    Pages 233-249

    Validating SCTP Simultaneous Open Procedure

  17. No Access

    Book Chapter

    Pages 250-266

    Improving Time Bounded Reachability Computations in Interactive Markov Chains

  18. No Access

    Book Chapter

    Pages 267-282

    Checking Compatibility of Web Services Behaviorally

  19. Back Matter

    Pages 283-283