Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/