Publications

Publications of Eric Bodden & Keywords: Clara [rss]
Theses
[1] Verifying finite-state properties of large-scale programs (Eric Bodden), PhD thesis, McGill University, 2009. (Available in print through ProQuest) [bib] [pdf]
Refereed Articles and Book Chapters
[1] Collaborative Runtime Verification with Tracematches (Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem), In Oxford Journal of Logics and Computation, 2008. [bib] [pdf] [doi]
Refereed Conference Papers
[1] Reducing Configurations to Monitor in a Software Product Line (Chang Hwan Peter Kim, Eric Bodden, Don Batory, Sarfraz Khurshid), In 1st International Conference on Runtime Verification (RV), pages 285–299, Volume 6418 of LNCS, Springer, 2010. [bib] [pdf]
[2] Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors (Eric Bodden, Patrick Lam, Laurie Hendren), In 1st International Conference on Runtime Verification (RV), pages 74–88, Volume 6418 of LNCS, Springer, 2010. [bib] [pdf]
[3] Clara: Partially Evaluating Runtime Monitors at Compile Time (Eric Bodden, Patrick Lam), In 1st International Conference on Runtime Verification (RV), pages 183–197, Volume 6418 of LNCS, Springer, 2010. (Tutorial) [bib] [pdf]
[4] Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States (Eric Bodden), In ICSE ’10: International Conference on Software Engineering, pages 5–14, ACM, 2010. [bib] [pdf]
[5] Dependent advice: A general approach to optimizing history-based aspects (Eric Bodden, Feng Chen, Grigore Rosu), In AOSD ’09: Proceedings of the 8th international conference on Aspect-oriented software development, pages 3–14, ACM, 2009. [bib] [pdf]
[6] Finding programming errors earlier by evaluating runtime monitors ahead-of-time (Eric Bodden, Patrick Lam, Laurie Hendren), In 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT’08/FSE-16), pages 36–47, ACM, 2008. [bib] [pdf] [doi]
[7] Object representatives: a uniform abstraction for pointer information (Eric Bodden, Patrick Lam, Laurie Hendren), In Visions of Computer Science – International Academic Conference of the British Computer Society (BCS 2008), London, United Kingdom, 2008. [bib] [pdf]
[8] A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (Eric Bodden, Laurie Hendren, Ondrej Lhoták), In ECOOP (Erik Ernst, ed.), pages 525–549, Volume 4609 of Lecture Notes in Computer Science, Springer, 2007. [bib] [pdf]
Refereed Workshop Papers
[1] Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines (Eric Bodden), In International Workshop on the Foundations of Aspect-Oriented Languages (FOAL), 2010. [bib] [pdf]
[2] Collaborative runtime verification with tracematches (Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem), In 7th workshop on Runtime Verification at the 6th International Conference on Aspect-Oriented Software Development, Vancouver, Canada, pages 22–37, Volume 4839 of LNCS, Springer, 2007. [bib] [pdf]
Other Publications
[1] Clara: a framework for implementing hybrid typestate analyses (Eric Bodden), Technical report Clara-2, http://www.bodden.de/clara/, 2009. [bib] [pdf]
[2] Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States (Eric Bodden), Technical report Clara-1, http://www.bodden.de/clara/, 2009. [bib] [pdf]
[3] Dependent advice: A general approach to optimizing history-based aspects (extended version) (Eric Bodden, Feng Chen, Grigore Rosu), Technical report abc-2008-2, http://www.aspectbench.org/, 2008. [bib] [pdf]
Powered by bibtexbrowser