default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFSEN 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
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.
last updated on 2026-06-09 22:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
