Eric Bodden

	2012
33		Eric Bodden: Towards typesafe weaving for modular reasoning in aspect-oriented programs. FOAL 2012: 1-2
32		Eric Bodden, Laurie J. Hendren: The Clara framework for hybrid typestate analysis. STTT 14(3): 307-326 (2012)
	2011
31		Eric Bodden: Closure joinpoints: block joinpoints without surprises. AOSD 2011: 117-128
30		Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini: Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. ICSE 2011: 241-250
29		Eric Bodden: MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). RV 2011: 365-369
28		Eric Bodden: Stateful breakpoints: a practical approach to defining parameterized runtime monitors. SIGSOFT FSE 2011: 492-495
27		Milton Inostroza, Éric Tanter, Eric Bodden: Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE 2011: 508-511
	2010
26		Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini: IDE 2.0: collective intelligence in software development. FoSER 2010: 53-58
25		Eric Bodden: Efficient hybrid typestate analysis by determining continuation-equivalent states. ICSE (1) 2010: 5-14
24		Awny Alnusair, Tian Zhao, Eric Bodden: Effective API navigation and reuse. IRI 2010: 7-12
23		Eric Bodden, Patrick Lam, Laurie J. Hendren: Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV 2010: 183-197
22		Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid: Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299
21		Eric Bodden, Patrick Lam: Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV 2010: 74-88
20		Eric Bodden, Klaus Havelund: Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010)
19		Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. J. Log. Comput. 20(3): 707-723 (2010)
	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	Awny Alnusair	[24]
2	Pavel Avgustinov	[5] [7] [8]
3	Don S. Batory	[22]
4	Marcel Bruch	[26]
5	Feng Chen	[18]
6	Florian Forster	[6]
7	Elnar Hajiyev	[7] [8]
8	Klaus Havelund	[15] [20]
9	Laurie J. Hendren	[5] [8] [9] [12] [14] [16] [17] [19] [23] [32]
10	Milton Inostroza	[27]
11	Sarfraz Khurshid	[22]
12	Chang Hwan Peter Kim	[22]
13	Patrick Lam	[9] [14] [16] [19] [21] [23]
14	Ondrej Lhoták	[5] [8] [9] [12] [19]
15	Mira Mezini	[26] [30]
16	Martin Monperrus	[26]
17	Oege de Moor	[5] [7] [8]
18	Nomair A. Naeem	[9] [19]
19	Neil Ongkingco	[5] [7] [8]
20	Hela Oueslati	[30]
21	Grigore Rosu	[18]
22	Damien Sereni	[7] [8]
23	Andreas Sewe	[30]
24	Reehan Shaikh	[17]
25	Jan Sinschek	[30]
26	Ganesh Sittampalam	[5] [7] [8]
27	Friedrich Steimann	[6]
28	Volker Stolz	[3] [4]
29	Ximeng Sun	[11]
30	Éric Tanter	[27]
31	Julian Tibble	[5] [7] [8]
32	Hans Vangheluwe	[11] [13]
33	Mathieu Verbaere	[8]
34	Tian Zhao	[24]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page