Abstract is missing.
- Unbounded Allocation in Bounded HeapsJurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue. 1-16 [doi]
- On the Complexity of Adding ConvergenceAlex Klinkhamer, Ali Ebnenasir. 17-33 [doi]
- Deadlock Checking by Data Race DetectionKa I. Pun, Martin Steffen, Volker Stolz. 34-50 [doi]
- Delta Modeling and Model Checking of Product FamiliesHamideh Sabouri, Ramtin Khosravi. 51-65 [doi]
- Lending Petri Nets and ContractsMassimo Bartoletti, Tiziana Cimoli, G. Michele Pinna. 66-82 [doi]
- On Efficiency PreordersManish Gaur, S. Arun-Kumar. 83-94 [doi]
- Compiling Cooperative Task Management to ContinuationsKeiko Nakata, Andri Saar. 95-110 [doi]
- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time SystemsAbdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali. 111-132 [doi]
- Efficient Operational Semantics for for Verification of Temporal PropertiesDimitris Vekris, Catalin Dima. 133-149 [doi]
- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and RepairElham Ramezani, Natalia Sidorova, Christian Stahl. 150-167 [doi]
- Statistical Model Checking of a Clock Synchronization Protocol for Sensor NetworksLuca Battisti, Damiano Macedonio, Massimo Merro. 168-182 [doi]
- A New Representation of Two-Dimensional Patterns and Applications to Interactive ProgrammingI. T. Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu. 183-198 [doi]
- Push-Down Automata with Gap-Order ConstraintsParosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski. 199-216 [doi]
- Model Checking MANETs with Arbitrary MobilityFatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar. 217-232 [doi]
- Validating SCTP Simultaneous Open ProcedureSomsak Vanit-Anunchai. 233-249 [doi]
- Improving Time Bounded Reachability Computations in Interactive Markov ChainsHassan Hatefi, Holger Hermanns. 250-266 [doi]
- Checking Compatibility of Web Services BehaviorallyKais Klai, Hanen Ochi. 267-282 [doi]