Skip to main content
SpringerLink
Log in

Fundamentals of Software Engineering

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Farhad Arbab

    1. CWI Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marjan Sirjani

    1. Reykjavik University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Conference proceedings of the International Conference on Fundamentals of Software Engineering, FSEN 2013
  • Includes supplementary material: sn.pub/extras

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FSEN 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Unbounded Allocation in Bounded Heaps

    • Jurriaan Rot, Frank de Boer, Marcello Bonsangue
    Pages 1-16

  3. On the Complexity of Adding Convergence

    • Alex Klinkhamer, Ali Ebnenasir
    Pages 17-33

  4. Deadlock Checking by Data Race Detection

    • Ka I Pun, Martin Steffen, Volker Stolz
    Pages 34-50

  5. Delta Modeling and Model Checking of Product Families

    • Hamideh Sabouri, Ramtin Khosravi
    Pages 51-65

  6. Lending Petri Nets and Contracts

    • Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
    Pages 66-82

  7. On Efficiency Preorders

    • Manish Gaur, S. Arun-Kumar
    Pages 83-94

  8. Compiling Cooperative Task Management to Continuations

    • Keiko Nakata, Andri Saar
    Pages 95-110

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

    • Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
    Pages 111-132

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

    • Dimitris Vekris, Catalin Dima
    Pages 133-149

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

    • Elham Ramezani, Natalia Sidorova, Christian Stahl
    Pages 150-167

  12. Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

    • Luca Battisti, Damiano Macedonio, Massimo Merro
    Pages 168-182

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

    • I.T. Banu-Demergian, C.I. Paduraru, G. Stefanescu
    Pages 183-198

  14. Push-Down Automata with Gap-Order Constraints

    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
    Pages 199-216

  15. Model Checking MANETs with Arbitrary Mobility

    • Fatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar
    Pages 217-232

  16. Validating SCTP Simultaneous Open Procedure

    • Somsak Vanit-Anunchai
    Pages 233-249

  17. Improving Time Bounded Reachability Computations in Interactive Markov Chains

    • Hassan Hatefi, Holger Hermanns
    Pages 250-266

  18. Checking Compatibility of Web Services Behaviorally

    • Kais Klai, Hanen Ochi
    Pages 267-282

  19. Back Matter

    Pages 283-283
    Download chapter PDF
Back to top

Other volumes

  1. Fundamentals of Software Engineering

Keywords

About this book

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

Editors and Affiliations

  • CWI Amsterdam, Amsterdam, The Netherlands

    Farhad Arbab

  • Reykjavik University, Reykjavik, Iceland

    Marjan Sirjani

Bibliographic Information

  • Book Title: Fundamentals of Software Engineering

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

  • Editors: Farhad Arbab, Marjan Sirjani

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-40213-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2013

  • Softcover ISBN: 978-3-642-40212-8Published: 13 September 2013

  • eBook ISBN: 978-3-642-40213-5Published: 30 August 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIX, 283

  • Number of Illustrations: 85 b/w illustrations

  • Topics: Logics and Meanings of Programs, Software Engineering

  • Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications

Publish with us

Policies and ethics

Back to top

Search

Navigation