| 2008 |
|---|
| 13 | EE | Eric Bodden,
Reehan Shaikh,
Laurie J. Hendren:
Relational aspects as tracematches.
AOSD 2008: 84-95 |
| 12 | EE | Eric Bodden,
Klaus Havelund:
Racer: effective race detection using aspectj.
ISSTA 2008: 155-166 |
| 2007 |
|---|
| 11 | EE | Eric Bodden,
Laurie J. Hendren,
Ondrej Lhoták:
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring.
ECOOP 2007: 525-549 |
| 10 | EE | Eric Bodden:
The design and implementation of formal monitoring techniques.
OOPSLA Companion 2007: 939-940 |
| 9 | EE | Eric Bodden,
Laurie J. Hendren,
Patrick Lam,
Ondrej Lhoták,
Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches.
RV 2007: 22-37 |
| 2006 |
|---|
| 8 | EE | Pavel Avgustinov,
Eric Bodden,
Elnar Hajiyev,
Laurie J. Hendren,
Ondrej Lhoták,
Oege de Moor,
Neil Ongkingco,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble,
Mathieu Verbaere:
Aspects for Trace Monitoring.
FATES/RV 2006: 20-39 |
| 7 | EE | Pavel Avgustinov,
Eric Bodden,
Elnar Hajiyev,
Oege de Moor,
Neil Ongkingco,
Damien Sereni,
Ganesh Sittampalam,
Julian Tibble:
Aspects and Data Refinement.
MPC 2006: 5-9 |
| 6 | | Eric Bodden,
Florian Forster,
Friedrich Steimann:
Avoiding Infinite Recursion with Stratified Aspects.
NODe/GSEM 2006: 49-64 |
| 5 | EE | Pavel Avgustinov,
Julian Tibble,
Eric Bodden,
Laurie J. Hendren,
Ondrej Lhoták,
Oege de Moor,
Neil Ongkingco,
Ganesh Sittampalam:
Efficient trace monitoring.
OOPSLA Companion 2006: 685-686 |
| 4 | EE | Eric Bodden,
Volker Stolz:
Tracechecks: Defining Semantic Interfaces with Temporal Logic.
Software Composition 2006: 147-162 |
| 3 | EE | Volker Stolz,
Eric Bodden:
Temporal Assertions using AspectJ.
Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006) |
| 2004 |
|---|
| 2 | EE | Eric Bodden:
A lightweight LTL runtime verification tool for java.
OOPSLA Companion 2004: 306-307 |
| 2003 |
|---|
| 1 | EE | Eric Bodden:
A high-level view of Java applications.
OOPSLA Companion 2003: 384-385 |
