Eric Bodden

	2009
18		Eric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14
	2008
17		Eric Bodden, Reehan Shaikh, Laurie J. Hendren: Relational aspects as tracematches. AOSD 2008: 84-95
16		Eric Bodden, Patrick Lam, Laurie J. Hendren: Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405
15		Eric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166
14		Eric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47
	2007
13		Eric Bodden, Hans Vangheluwe: Transforming Timeline Specifications into Automata for Runtime Monitoring. AGTIVE 2007: 249-264
12		Eric Bodden, Laurie J. Hendren, Ondrej Lhoták: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549
11		Hans Vangheluwe, Ximeng Sun, Eric Bodden: Domain-Specific Modelling With Atom3. ICSOFT (PL/DPS/KE/MUSE) 2007: 298-304
10		Eric Bodden: The design and implementation of formal monitoring techniques. OOPSLA Companion 2007: 939-940
9		Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
	2006
8		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		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		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		Eric Bodden, Volker Stolz: Tracechecks: Defining Semantic Interfaces with Temporal Logic. Software Composition 2006: 147-162
3		Volker Stolz, Eric Bodden: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006)
	2004
2		Eric Bodden: A lightweight LTL runtime verification tool for java. OOPSLA Companion 2004: 306-307
	2003
1		Eric Bodden: A high-level view of Java applications. OOPSLA Companion 2003: 384-385

Coauthor Index

1	Pavel Avgustinov	[5] [7] [8]
2	Feng Chen	[18]
3	Florian Forster	[6]
4	Elnar Hajiyev	[7] [8]
5	Klaus Havelund	[15]
6	Laurie J. Hendren	[5] [8] [9] [12] [14] [16] [17]
7	Patrick Lam	[9] [14] [16]
8	Ondrej Lhoták	[5] [8] [9] [12]
9	Oege de Moor	[5] [7] [8]
10	Nomair A. Naeem	[9]
11	Neil Ongkingco	[5] [7] [8]
12	Grigore Rosu	[18]
13	Damien Sereni	[7] [8]
14	Reehan Shaikh	[17]
15	Ganesh Sittampalam	[5] [7] [8]
16	Friedrich Steimann	[6]
17	Volker Stolz	[3] [4]
18	Ximeng Sun	[11]
19	Julian Tibble	[5] [7] [8]
20	Hans Vangheluwe	[11] [13]
21	Mathieu Verbaere	[8]

Colors in the list of coauthors