Clara

Reducing Configurations to Monitor in a Software Product Line
Chang Hwan Peter Kim, Don Batory, Eric Bodden, Sarfraz Khurshid.
1st International Conference on Runtime Verification (RV). LNCS. Springer. 2010. To appear. PDF bibtex

Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors
Eric Bodden, Patrick Lam, Laurie Hendren.
1st International Conference on Runtime Verification (RV). LNCS. Springer. 2010. To appear. PDF bibtex

Clara: Partially Evaluating Runtime Monitors at Compile Time
Eric Bodden, Patrick Lam.
1st International Conference on Runtime Verification (RV). LNCS. Springer. 2010. (Tutorial) To appear. PDF bibtex

Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Eric Bodden.
International Conference of Software Engineering (ICSE). pp. 5–14. ACM. 2010. PDF 1806805 bibtex

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

Verifying finite-state properties of large-scale programs
Eric Bodden.
McGill University. 2009. Available through ProQuest. 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

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

Dependent advice: A general approach to optimizing history-based aspects (extended version)
Eric Bodden, Feng Chen, Grigore Rosu.
no. abc-2008-2. 2008. 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

Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Patrick Lam, Eric Bodden, Laurie Hendren.
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

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