| [65] | Identifying meaningless parameterized linear-temporal-logic formulas (Eric Bodden), Technical report TUD-CS-2012-0014, CASED, 2012. [bib] [pdf] |
| [64] | On the Expressiveness of Parameterized Finite-state Runtime Monitors (Eric Bodden), Technical report TUD-CS-2012-0013, CASED, 2012. [bib] [pdf] |
| [63] | Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs (Milton Inostroza, Éric Tanter, Eric Bodden), In ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 508--511, 2011. [bib] [pdf] |
| [62] | The Soot framework for Java program analysis: a retrospective (Patrick Lam, Eric Bodden, Ondrej Lhoták, Laurie Hendren), In Cetus Users and Compiler Infrastructure Workshop (CETUS 2011), 2011. [bib] [pdf] |
| [61] | Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders (Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini), In ICSE '11: International Conference on Software Engineering, pages 241--250, ACM, 2011. [bib] [pdf] |
| [60] | Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors (Eric Bodden), In ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 492--495, 2011. [bib] [pdf] |
| [59] | Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses (Eric Bodden), In WODA '11: International Workshop on Dynamic Analysis, pages 24--28, ACM, 2011. [bib] [pdf] |
| [58] | Closure Joinpoints: Block joinpoints without surprises (Eric Bodden), In AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development, pages 117--128, ACM, 2011. [bib] [pdf] |
| [57] | Modular Reasoning with Join Point Interfaces (Milton Inostroza, Éric Tanter, Eric Bodden), Technical report TUD-CS-2011-0272, CASED, 2011. [bib] [pdf] |
| [56] | Defining Access Control Policies as Tracematches (Eric Bodden), Technical report TUD-CS-2011-0149, CASED, 2011. [bib] [pdf] |
| [55] | 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] |
| [54] | 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] |
| [53] | 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] |
| [52] | IDE 2.0: Collective Intelligence in Software Development (Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini), In FSE/SDP Workshop on the Future of Software Engineering, pages 53--58, ACM, 2010. [bib] [pdf] |
| [51] | Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders (Eric Bodden, Andreas Sewe, Jan Sinschek, Mira Mezini), Technical report TUD-CS-2010-0066, CASED, 2010. [bib] [pdf] |
| [50] | Aspect-oriented Race Detection in Java (Eric Bodden, Klaus Havelund), In IEEE Transactions on Software Engineering (TSE), pages 509--527, 36(4), 2010. [bib] [pdf] |
| [49] | Sicher fahren: Absicherung moderner Fahrzeugsoftware (Eric Bodden, Mira Mezini, Sven Patzina, Lars Patzina, Andreas Sewe, Andy Schürr), Forschen, Technische Universität Darmstadt, 2010. [bib] [pdf] |
| [48] | Effective API Navigation and Reuse (Awny Alnusair, Tian Zhao, Eric Bodden), In International Conference on Information Reuse and Integration (IEEE IRI), pages 7--12, IEEE, 2010. [bib] [pdf] [doi] |
| [47] | 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] |
| [46] | Method and system for performance profiling of software (Eric Bodden, Christopher Goodfellow, Howard Hellyer), US Patent No. 7765094 (granted), 2010. [bib] [pdf] |
| [45] | 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] |
| [44] | Verifying finite-state properties of large-scale programs (Eric Bodden), PhD thesis, McGill University, 2009. (Available in print through ProQuest) [bib] [pdf] |
| [43] | Clara: a framework for implementing hybrid typestate analyses (Eric Bodden), Technical report Clara-2, https://www.bodden.de/clara/, 2009. [bib] [pdf] |
| [42] | Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States (Eric Bodden), Technical report Clara-1, https://www.bodden.de/clara/, 2009. [bib] [pdf] |
| [41] | 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] |