Eric Bodden

Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford: Automated API Property Inference Techniques. IEEE Trans. Software Eng. 39(5): 613-637 (2013)

Eric Bodden, Laurie J. Hendren: The Clara framework for hybrid typestate analysis. STTT 14(3): 307-326 (2012)

Eric Bodden, Patrick Lam, Laurie J. Hendren: Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Trans. Program. Lang. Syst. 34(2): 7 (2012)

Eric Bodden: Towards typesafe weaving for modular reasoning in aspect-oriented programs. FOAL 2012: 1-2

Eric Bodden, Andreas Follner, Siegfried Rasthofer: Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. ISoLA (1) 2012: 4-18

Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz: Delta-Oriented Monitor Specification. ISoLA (1) 2012: 162-177

Andreas Thies, Eric Bodden: RefaFlex: safer refactorings for reflective Java programs. ISSTA 2012: 1-11

Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Mira Mezini, Stefan Katzenbeisser: Dynamic Anomaly Detection for More Trustworthy Outsourced Computation. ISC 2012: 168-187

Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden, Kardelen Hatun, Lukás Marek, Zhengwei Qi, Aibek Sarimbekov, Andreas Sewe, Petr Tuma, Yudi Zheng: Challenges for Refinement and Composition of Instrumentations: Position Paper. Software Composition 2012: 86-96

Eric Bodden, Madanlal Musuvathi (Eds.): Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. ACM 2012, isbn 978-1-4503-1455-8

Eric Bodden: Closure joinpoints: block joinpoints without surprises. AOSD 2011: 117-128

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

Eric Bodden: Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. WODA 2011: 24-28

Eric Bodden: MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). RV 2011: 365-369

Eric Bodden: Stateful breakpoints: a practical approach to defining parameterized runtime monitors. SIGSOFT FSE 2011: 492-495

Milton Inostroza, Éric Tanter, Eric Bodden: Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE 2011: 508-511

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)

Eric Bodden, Klaus Havelund: Aspect-Oriented Race Detection in Java. IEEE Trans. Software Eng. 36(4): 509-527 (2010)

Eric Bodden: Efficient hybrid typestate analysis by determining continuation-equivalent states. ICSE (1) 2010: 5-14

Awny Alnusair, Tian Zhao, Eric Bodden: Effective API navigation and reuse. IRI 2010: 7-12

Eric Bodden, Patrick Lam: Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. RV 2010: 74-88

Eric Bodden, Patrick Lam, Laurie J. Hendren: Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. RV 2010: 183-197

Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid: Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299

Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini: IDE 2.0: collective intelligence in software development. FoSER 2010: 53-58

Eric Bodden, Feng Chen, Grigore Rosu: Dependent advice: a general approach to optimizing history-based aspects. AOSD 2009: 3-14

Eric Bodden, Reehan Shaikh, Laurie J. Hendren: Relational aspects as tracematches. AOSD 2008: 84-95

Eric Bodden, Patrick Lam, Laurie J. Hendren: Object representatives: a uniform abstraction for pointer information. BCS Int. Acad. Conf. 2008: 391-405

Eric Bodden, Klaus Havelund: Racer: effective race detection using aspectj. ISSTA 2008: 155-166

Eric Bodden, Patrick Lam, Laurie J. Hendren: Finding programming errors earlier by evaluating runtime monitors ahead-of-time. SIGSOFT FSE 2008: 36-47

Eric Bodden, Hans Vangheluwe: Transforming Timeline Specifications into Automata for Runtime Monitoring. AGTIVE 2007: 249-264

Eric Bodden, Laurie J. Hendren, Ondrej Lhoták: A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. ECOOP 2007: 525-549

Hans Vangheluwe, Ximeng Sun, Eric Bodden: Domain-Specific Modelling With Atom3. ICSOFT (PL/DPS/KE/MUSE) 2007: 298-304

Eric Bodden: The design and implementation of formal monitoring techniques. OOPSLA Companion 2007: 939-940

Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem: Collaborative Runtime Verification with Tracematches. RV 2007: 22-37

Volker Stolz, Eric Bodden: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4): 109-124 (2006)

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

Eric Bodden, Florian Forster, Friedrich Steimann: Avoiding Infinite Recursion with Stratified Aspects. NODe/GSEM 2006: 49-64

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

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

Eric Bodden, Volker Stolz: Tracechecks: Defining Semantic Interfaces with Temporal Logic. Software Composition 2006: 147-162

Eric Bodden: A lightweight LTL runtime verification tool for java. OOPSLA Companion 2004: 306-307

Eric Bodden: A high-level view of Java applications. OOPSLA Companion 2003: 384-385