| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Collecting Statistics over Runtime Executions 1 1 This research was supported in part by NSF(ITR) grant CCR-01-21403, by NSF grant CCR-99-00984-001, by ARO grant DAAD19-01-1-0723, and by ARPA/AF contracts F33615-00-C-1693 and F33615-99-C-3014.
|
Finkbeiner, Bernd
|
|
2002
|
70 |
4 |
p. 36-54
19 p.
|
artikel
|
| 2 |
Combining Monitors for Runtime System Verification 1 1 This research is sponsored by DARPA under contract number N66001-00-C-8058. The views herein are those of the authors and do not necessarily reflect the views of the supporting agency.
|
Levy, Joshua
|
|
2002
|
70 |
4 |
p. 112-127
16 p.
|
artikel
|
| 3 |
Computational Analysis of Run-time Monitoring
|
Kim, Moonjoo
|
|
2002
|
70 |
4 |
p. 80-94
15 p.
|
artikel
|
| 4 |
Dynamic Event Generation for Runtime Checking using the JDI 1 1 This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1.
|
Brörkens, Mark
|
|
2002
|
70 |
4 |
p. 21-35
15 p.
|
artikel
|
| 5 |
jContractor
|
Abercrombie, Parker
|
|
2002
|
70 |
4 |
p. 55-79
25 p.
|
artikel
|
| 6 |
Monitoring, Checking, and Steering of Real-Time Systems
|
Kim, Moonjoo
|
|
2002
|
70 |
4 |
p. 95-111
17 p.
|
artikel
|
| 7 |
Preface
|
Havelund, Klaus
|
|
2002
|
70 |
4 |
p. 201-202
2 p.
|
artikel
|
| 8 |
Reducing the Overhead of Dynamic Analysis 1 1 This work was supported in part by the National Science Foundation under grants CCR-9970707 and CCR-9987435.
|
Yong, Suan Hsi
|
|
2002
|
70 |
4 |
p. 158-178
21 p.
|
artikel
|
| 9 |
Requirements for a Practical Network Event Recognition Language
|
Bhargavan, Karthikeyan
|
|
2002
|
70 |
4 |
p. 1-20
20 p.
|
artikel
|
| 10 |
Testing Concurrent Java Programs using Randomized Scheduling
|
Stoller, Scott D.
|
|
2002
|
70 |
4 |
p. 142-157
16 p.
|
artikel
|
| 11 |
Tracing the executions of concurrent programs
|
Gunter, Elsa
|
|
2002
|
70 |
4 |
p. 128-141
14 p.
|
artikel
|
| 12 |
Translation and Run-Time Validation of Optimized Code 1 1 This research was supported in part by NSF grant CCR-0098299, ONR grant N00014-99-1-0131, and the John von Neumann Minerva Center for Verification of Reactive Systems.
|
Zuck, Lenore
|
|
2002
|
70 |
4 |
p. 179-200
22 p.
|
artikel
|
Tijdschrift beschrijving