Volume 113; Issue none

2

Runtime Verification of Concurrent Haskell Programs

Year:
2005
Language:
english
File:
PDF, 271 KB
english, 2005
3

Runtime Refinement Checking of Concurrent Data Structures

Year:
2005
Language:
english
File:
PDF, 265 KB
english, 2005
6

Guaranteeing Correctness Properties of a Java Card Applet

Year:
2005
Language:
english
File:
PDF, 276 KB
english, 2005
9

Enforcing Concurrent Temporal Behaviors

Year:
2005
Language:
english
File:
PDF, 324 KB
english, 2005
11

JVM Independent Replay in Java

Year:
2005
Language:
english
File:
PDF, 625 KB
english, 2005
12

Deductive Runtime Certification

Year:
2005
Language:
english
File:
PDF, 320 KB
english, 2005
13

Preface

Year:
2005
Language:
english
File:
PDF, 64 KB
english, 2005