![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FSEN 2013: Tehran, Iran
- Farhad Arbab, Marjan Sirjani:
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8161, Springer 2013, ISBN 978-3-642-40212-8 - Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
:
Unbounded Allocation in Bounded Heaps. 1-16 - Alex P. Klinkhamer, Ali Ebnenasir:
On the Complexity of Adding Convergence. 17-33 - Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock Checking by Data Race Detection. 34-50 - Hamideh Sabouri, Ramtin Khosravi:
Delta Modeling and Model Checking of Product Families. 51-65 - Massimo Bartoletti
, Tiziana Cimoli
, G. Michele Pinna
:
Lending Petri Nets and Contracts. 66-82 - Manish Gaur
, S. Arun-Kumar:
On Efficiency Preorders. 83-94 - Keiko Nakata, Andri Saar:
Compiling Cooperative Task Management to Continuations. 95-110 - Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali:
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. 111-132 - Dimitris Vekris, Catalin Dima
:
Efficient Operational Semantics for for Verification of Temporal Properties. 133-149 - Elham Ramezani, Natalia Sidorova
, Christian Stahl:
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. 150-167 - Luca Battisti, Damiano Macedonio, Massimo Merro
:
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. 168-182 - Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu:
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. 183-198 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. 199-216 - Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink
, Ali Movaghar
:
Model Checking MANETs with Arbitrary Mobility. 217-232 - Somsak Vanit-Anunchai
:
Validating SCTP Simultaneous Open Procedure. 233-249 - Hassan Hatefi, Holger Hermanns:
Improving Time Bounded Reachability Computations in Interactive Markov Chains. 250-266 - Kais Klai, Hanen Ochi:
Checking Compatibility of Web Services Behaviorally. 267-282
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.