Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Fundamentals of Software Engineering

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

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)

Conference series link(s): FSEN: International Conference on Fundamentals of Software Engineering

Conference proceedings info: FSEN 2013.

Sections

Buy it now

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

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

Table of contents (17 papers)

  1. Front Matter

    Pages I-XIX
    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

  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

  18. Checking Compatibility of Web Services Behaviorally

    • Kais Klai, Hanen Ochi
    Pages 267-282

  19. Back Matter

    Pages 283-283
    PDF
Back to top

Other Volumes

  1. Fundamentals of Software Engineering

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • CWI Amsterdam, Amsterdam, The Netherlands

    Farhad Arbab

  • Reykjavik University, Reykjavik, Iceland

    Marjan Sirjani

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation