|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An overview of the MOP runtime verification framework |
Meredith, Patrick O’Neil |
2011 |
14 | 3 |
p. 249-289 |
artikel |
|
| 2 | Introduction to the special section on runtime verification |
Sokolsky, Oleg |
2011 |
14 | 3 |
p. 243-247 |
artikel |
|
| 3 | Runtime verification of concurrency-specific correctness criteria |
Qadeer, Shaz |
2011 |
14 | 3 |
p. 291-305 |
artikel |
|
| 4 | Software monitoring with controllable overhead |
Huang, Xiaowan |
2010 |
14 | 3 |
p. 327-347 |
artikel |
|
| 5 | The Clara framework for hybrid typestate analysis |
Bodden, Eric |
2010 |
14 | 3 |
p. 307-326 |
artikel |
|
| 6 | What can you verify and enforce at runtime? |
Falcone, Yliès |
2011 |
14 | 3 |
p. 349-382 |
artikel |
6 gevonden resultaten