Table of Contents
|
Fundamentals of Software Engineering
Farhad Arbab, Marjan Sirjani (Eds.)
|
Front Matter |
Unbounded Allocation in Bounded Heaps
Jurriaan Rot, Frank Boer, Marcello Bonsangue |
1-16 |
On the Complexity of Adding Convergence
Alex Klinkhamer, Ali Ebnenasir |
17-33 |
Deadlock Checking by Data Race Detection
Ka Pun, Martin Steffen, Volker Stolz |
34-50 |
Delta Modeling and Model Checking of Product Families
Hamideh Sabouri, Ramtin Khosravi |
51-65 |
Lending Petri Nets and Contracts
Massimo Bartoletti, Tiziana Cimoli, G. Pinna |
66-82 |
On Efficiency Preorders
Manish Gaur, S. Arun-Kumar |
83-94 |
Compiling Cooperative Task Management to Continuations
Keiko Nakata, Andri Saar |
95-110 |
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali |
111-132 |
Efficient Operational Semantics for $ EB ^3$ for Verification of Temporal Properties
Dimitris Vekris, Catalin Dima |
133-149 |
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
Elham Ramezani, Natalia Sidorova, Christian Stahl |
150-167 |
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
Luca Battisti, Damiano Macedonio, Massimo Merro |
168-182 |
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming
I.T. Banu-Demergian, C.I. Paduraru, G. Stefanescu |
183-198 |
Push-Down Automata with Gap-Order Constraints
Parosh Abdulla, Mohamed Atig, Giorgio Delzanno, Andreas Podelski |
199-216 |
Model Checking MANETs with Arbitrary Mobility
Fatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar |
217-232 |
Validating SCTP Simultaneous Open Procedure
Somsak Vanit-Anunchai |
233-249 |
Improving Time Bounded Reachability Computations in Interactive Markov Chains
Hassan Hatefi, Holger Hermanns |
250-266 |
Checking Compatibility of Web Services Behaviorally
Kais Klai, Hanen Ochi |
267-282 |
Hosted by HAL : 