dblp.uni-trier.dewww.uni-trier.de

Eric Bodden

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
17EEEric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14
2008
16EEEric Bodden, Reehan Shaikh, Laurie J. Hendren: Relational aspects as tracematches. AOSD 2008: 84-95
15EEEric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166
14EEEric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47
2007
13EEEric Bodden, Hans Vangheluwe: Transforming Timeline Specifications into Automata for Runtime Monitoring. AGTIVE 2007: 249-264
12EEEric 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
10EEEric Bodden: The design and implementation of formal monitoring techniques. OOPSLA Companion 2007: 939-940
9EEEric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37
2006
8EEPavel 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
7EEPavel 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
5EEPavel 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
4EEEric Bodden, Volker Stolz: Tracechecks: Defining Semantic Interfaces with Temporal Logic. Software Composition 2006: 147-162
3EEVolker Stolz, Eric Bodden: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006)
2004
2EEEric Bodden: A lightweight LTL runtime verification tool for java. OOPSLA Companion 2004: 306-307
2003
1EEEric Bodden: A high-level view of Java applications. OOPSLA Companion 2003: 384-385

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)