Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines
Eric Bodden.
International Workshop on the Foundations of Aspect-Oriented Languages (FOAL). 2010. To appear.
PDF bibtex
Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Eric Bodden.
International Conference of Software Engineering (ICSE). ACM Press. 2010. To appear. Acceptance rate: 52/380 (13.7%).
PDF bibtex
Aspect-oriented Race Detection in Java
Eric Bodden, Klaus Havelund.
IEEE Transactions on Software Engineering (TSE). 2009. Accepted for publication. To appear.
bibtex
Clara: a framework for implementing hybrid typestate analyses
Eric Bodden.
no. Clara-2. 2009.
PDF bibtex
Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States
Eric Bodden.
no. Clara-1. 2009.
PDF bibtex
Verifying finite-state properties of large-scale programs
Eric Bodden.
McGill University. 2009. Available through ProQuest.
PDF bibtex
Dependent advice: A general approach to optimizing history-based aspects
Eric Bodden, Feng Chen, Grigore Rosu.
AOSD '09: Proceedings of the 8th international conference on Aspect-oriented software development. pp. 3--14. ACM. 2009. Acceptance rate: 19/68 (28%).
PDF bibtex
Collaborative Runtime Verification with Tracematches
Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem.
Oxford Journal of Logics and Computation. 2008.
PDF EXN077 bibtex
Object representatives: a uniform abstraction for pointer information
Patrick Lam, Eric Bodden, Laurie Hendren.
Visions of Computer Science - International Academic Conference of the British Computer Society (BCS 2008), London, United Kingdom. 2008.
PDF PHP bibtex
Transforming Timeline specifications into automata for runtime monitoring
Eric Bodden, Hans Vangheluwe.
no. TR-2008-1. 2008.
PDF bibtex
Relational aspects as tracematches
Reehan Shaikh, Laurie Hendren, Eric Bodden.
AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development. pp. 84--95. ACM. 2008. Acceptance rate: 17/79 (22%).
PDF bibtex
Racer: Effective Race Detection Using AspectJ (extended version)
Eric Bodden, Klaus Havelund.
no. abc-2008-1. 2008.
PDF bibtex
Racer: Effective Race Detection Using AspectJ
Eric Bodden, Klaus Havelund.
International Symposium on Software Testing and Analysis (ISSTA), Seattle, WA. pp. 155--165. ACM. 2008. Acceptance rate: 26/100 (26%).
PDF bibtex
Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Patrick Lam, Laurie Hendren, Eric Bodden.
16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT'08/FSE-16). pp. 36--47. ACM. 2008. Acceptance rate: 31/152 (20%).
PDF bibtex
Relational Aspects as Tracematches
Reehan Shaikh, Laurie Hendren, Eric Bodden.
no. abc-2007-4. 2007.
PDF bibtex
A staged static program analysis to improve the performance of runtime monitoring (extended version)
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
no. abc-2007-2. 2007.
PDF bibtex
Flow-sensitive static optimizations for runtime monitoring
Patrick Lam, Eric Bodden, Laurie Hendren.
no. abc-2007-3. 2007.
PDF bibtex
Arithmetic Coding revealed - A guided tour from theory to praxis
Eric Bodden, Malte Clasen, Joachim Kneis.
no. TR-2007-5. 2007.
PDF bibtex
Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information
Patrick Lam, Eric Bodden, Laurie Hendren.
no. TR-2007-8. 2007.
PDF bibtex
Transforming Timeline specifications into automata for runtime monitoring
Eric Bodden, Hans Vangheluwe.
3rd International Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE). pp. 249--265.
Lecture Notes of Computer Science vol. 5088. Springer. 2007.
PDF bibtex
The design and implementation of formal monitoring techniques
Eric Bodden.
Doctoral Symposium at the 21st European Conference on Object-Oriented Programming, Berlin, Germany. 2007.
PDF bibtex
The design and implementation of formal monitoring techniques
Eric Bodden.
OOPSLA '07: Companion of the 22nd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. 2007. Doctoral Symposium..
PDF bibtex
Domain-Specific Modelling with AToM3
Hans Vangheluwe, Eric Bodden, Ximeng Sun.
Second International Conference on Software and Data Technologies (ICSOFT). Special Session on Metamodelling. pp. 305 -- 314. INSTICC Press. 2007.
PDF bibtex
Collaborative runtime verification with tracematches
Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem.
7th workshop on Runtime Verification at the 6th International Conference on Aspect-Oriented Software Development, Vancouver, Canada. pp. 22--37. vol. 4839. 2007.
PDF bibtex
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
European Conference on Object-Oriented Programming (ECOOP 2007). pp. 525--549. 2007. Acceptance rate: 25/160 (16%).
PDF bibtex
Aspects and Data Refinement
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble.
Mathematics of Program Construction (MPC). Tarmo Uustalu (Eds.).
Lecture Notes in Computer Science. Springer. 2006.
PDF bibtex
Aspects for Trace Monitoring
Elnar Hajiyev, Laurie Hendren, Oege de Moor, Pavel Avgustinov, Eric Bodden, Ondrej Lhotak, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere.
Formal Approaches to Testing Systems and Runtime Verification (FATES/RV). Klaus Havelund, Manuel Nunez, Grigore Rosu, Burkhart Wolff (Eds.). pp. 20--39.
Lecture Notes in Computer Science vol. 4262. Springer. 2006.
PDF bibtex
Tracechecks: Defining Semantic Interfaces with Temporal Logic.
Eric Bodden, Volker Stolz.
Software Composition. pp. 147--162. 2006.
PDF bibtex
Avoiding Infinite Recursion with Stratified Aspects
Eric Bodden, Florian Forster, Friedrich Steimann.
GI-Edition Lecture Notes in Informatics NODe 2006 GSEM 2006'. Robert Hirschfeld, Andreas Polze, Ryszard Kowalczyk (Eds.). pp. 49 -- 64. vol. P-88. Bonner Koellen Verlag. 2006.
PDF bibtex
Efficient temporal pointcuts through dynamic advice deployment
Eric Bodden, Volker Stolz.
Workshop on Open Aspect Languages, Bonn, Germany. 2006.
PDF bibtex
Efficient Trace Monitoring
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam.
no. abc-2006-1. 2006.
PDF bibtex
A staged static program analysis to improve the performance of runtime monitoring
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
no. abc-2006-4. 2006.
PDF bibtex
Zweigstelle, Hauptstelle, Dienstleister: Aspektorientierte Programmierung mit .NET
Eric Bodden, Torsten Weber.
ObjektSPEKTRUM. SIGS-DATACOM. 2006.
HTML bibtex
J-LO - A tool for runtime-checking temporal assertions
Eric Bodden.
RWTH Aachen University. 2005.
PDF bibtex
Concern specific languages and their implementation with abc
Eric Bodden.
3rd Workshop on Software-engineering Properties of Languages and Aspect Technologies (SPLAT) at the 4th International Conference on Aspect-oriented So. 2005.
PDF bibtex
Efficient and Expressive Runtime Verification for Java
Eric Bodden.
Grand Finals of the ACM Student Research Competition 2005. 2005. Winner paper of the Grand Finals..
PDF bibtex
Temporal Assertions using AspectJ
Volker Stolz, Eric Bodden.
5th Workshop on Runtime Verification. pp. 109--124.
Electronic Notes in Theoretical Computer Science vol. 144 no. 4. 2005.
PDF bibtex
A lightweight LTL runtime verification tool for Java
Eric Bodden.
Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, . pp. 306--307. 2004. Student Research Competition..
PDF bibtex
A high-level view of Java applications
Eric Bodden.
OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. pp. 384--385. ACM Press. 2003. Student Research Competition..
PDF bibtex