|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Event-Based Real-Time Monitoring |
Mok, Aloysius K. |
2003 |
89 | 2 |
p. 1- 1 p. |
artikel |
|
| 2 | Formalizing Java-MaC |
Sammapun, Usa |
2003 |
89 | 2 |
p. 171-190 20 p. |
artikel |
|
| 3 | Generating Optimal Monitors for Extended Regular Expressions |
Sen, Koushik |
2003 |
89 | 2 |
p. 226-245 20 p. |
artikel |
|
| 4 | Partial Order Trace Analyzer (POTA) for Distributed Programs |
Sen, Alper |
2003 |
89 | 2 |
p. 22-43 22 p. |
artikel |
|
| 5 | Preface |
Sokolsky, Oleg |
2003 |
89 | 2 |
p. 246-247 2 p. |
artikel |
|
| 6 | Prospec |
Mondragón, Oscar |
2003 |
89 | 2 |
p. 67-88 22 p. |
artikel |
|
| 7 | Redux |
Nethercote, Nicholas |
2003 |
89 | 2 |
p. 149-170 22 p. |
artikel |
|
| 8 | Run-Time Analysis for Atomicity |
Wang, Liqiang |
2003 |
89 | 2 |
p. 191-209 19 p. |
artikel |
|
| 9 | Runtime Conformance Checking of Objects Using Alloy |
Crane, Michelle L. |
2003 |
89 | 2 |
p. 2-21 20 p. |
artikel |
|
| 10 | Run-Time Validation of Speculative Optimizations using CVC. 1 1 This research was supported in by NSF grant CCR-0098299. |
Barrett, Clark |
2003 |
89 | 2 |
p. 89-107 19 p. |
artikel |
|
| 11 | Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems |
Kristoffersen, Kåre Jelling |
2003 |
89 | 2 |
p. 210-225 16 p. |
artikel |
|
| 12 | Testing and Monitoring Model-based Generated Program |
Tan, Li |
2003 |
89 | 2 |
p. 128-148 21 p. |
artikel |
|
| 13 | Towards Monitoring-Oriented Programming |
Chen, Feng |
2003 |
89 | 2 |
p. 108-127 20 p. |
artikel |
|
| 14 | Valgrind |
Nethercote, Nicholas |
2003 |
89 | 2 |
p. 44-66 23 p. |
artikel |
14 gevonden resultaten