Eric Bodden - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2010

2009

Dependent advice: a general approach to optimizing history-based aspectsEric Bodden, Feng Chen, Grigore Rosu. AOSD 2009: 3-14 [doi]

2008

2007

2006

Aspects for Trace MonitoringPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. fates 2006: 20-39 [doi]

Efficient trace monitoringPavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam. OOPSLA 2006: 685-686 [doi]

Aspects and Data RefinementPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble. mpc 2006: 5-9 [doi]

Tracechecks: Defining Semantic Interfaces with Temporal LogicEric Bodden, Volker Stolz. SC 2006: 147-162 [doi]

Avoiding Infinite Recursion with Stratified AspectsEric Bodden, Florian Forster, Friedrich Steimann. gsem 2006: 49-64

Temporal Assertions using AspectJVolker Stolz, Eric Bodden. ENTCS, 144(4):109-124, 2006. [doi]

2004

A lightweight LTL runtime verification tool for javaEric Bodden. OOPSLA 2004: 306-307 [doi]

2003

A high-level view of Java applicationsEric Bodden. OOPSLA 2003: 384-385 [doi]

Sign in or sign up to see more results.

runs on WebDSL