Clara

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

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