Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/