|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Checking Finite Traces using Alternating Automata |
Finkbeiner, Bernd |
2001 |
55 | 2 |
p. 147-163 17 p. |
artikel |
|
| 2 | Collecting and Analyzing Data from Distributed Control Programs |
Kortenkamp, David |
2001 |
55 | 2 |
p. 236-254 19 p. |
artikel |
|
| 3 | Dynamic Assertions Using TXP |
Dudani, Surrendra |
2001 |
55 | 2 |
p. 134-146 13 p. |
artikel |
|
| 4 | DynaMICs |
Gates, Ann Q. |
2001 |
55 | 2 |
p. 164-180 17 p. |
artikel |
|
| 5 | Efficient Automated Trace Analysis |
Ducassé, Mireille |
2001 |
55 | 2 |
p. 118-133 16 p. |
artikel |
|
| 6 | Jass — Java with Assertions 1 1 This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1. |
Bartetzko, Detlef |
2001 |
55 | 2 |
p. 103-117 15 p. |
artikel |
|
| 7 | Java-MaC |
Kim, M. |
2001 |
55 | 2 |
p. 218-235 18 p. |
artikel |
|
| 8 | Monitoring Java Programs with Java PathExplorer |
Havelund, Klaus |
2001 |
55 | 2 |
p. 200-217 18 p. |
artikel |
|
| 9 | On the Construction of Monitors for Temporal Logic Properties |
Geilen, M.C.W. |
2001 |
55 | 2 |
p. 181-199 19 p. |
artikel |
|
| 10 | Preface |
Havelund, Klaus |
2001 |
55 | 2 |
p. 287-288 2 p. |
artikel |
|
| 11 | Static verification of dynamically detected program invariants |
Nimmer, Jeremy W. |
2001 |
55 | 2 |
p. 255-276 22 p. |
artikel |
|
| 12 | Timing Analysis and Code Generation of Vehicle Control Software using Taxys |
Tripakis, Stavros |
2001 |
55 | 2 |
p. 277-286 10 p. |
artikel |
12 gevonden resultaten