IFIP TC6 Open Digital Library

FSEN 2013: Tehran, Iran

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

Farhad Arbab, Marjan Sirjani

Springer, Lecture Notes in Computer Science 8161, ISBN: 978-3-642-40212-8


Unbounded Allocation in Bounded Heaps.

Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue


On the Complexity of Adding Convergence.

Alex Klinkhamer, Ali Ebnenasir


Deadlock Checking by Data Race Detection.

Ka I. Pun, Martin Steffen, Volker Stolz


Delta Modeling and Model Checking of Product Families.

Hamideh Sabouri, Ramtin Khosravi


Lending Petri Nets and Contracts.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna


On Efficiency Preorders.

Manish Gaur, S. Arun-Kumar


Compiling Cooperative Task Management to Continuations.

Keiko Nakata, Andri Saar


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

Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali


Efficient Operational Semantics for for Verification of Temporal Properties.

Dimitris Vekris, Catalin Dima


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

Elham Ramezani, Natalia Sidorova, Christian Stahl


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

Luca Battisti, Damiano Macedonio, Massimo Merro


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

Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu


Push-Down Automata with Gap-Order Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski


Model Checking MANETs with Arbitrary Mobility.

Fatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar


Validating SCTP Simultaneous Open Procedure.

Somsak Vanit-Anunchai


Improving Time Bounded Reachability Computations in Interactive Markov Chains.

Hassan Hatefi, Holger Hermanns


Checking Compatibility of Web Services Behaviorally.

Kais Klai, Hanen Ochi