| [40] | Transforming Timeline specifications into automata for runtime monitoring (Eric Bodden, Hans Vangheluwe), Technical report SABLE-TR-2008-1, Sable Research Group, School of Computer Science, McGill University, 2008. [bib] [pdf] |
| [39] | Dependent advice: A general approach to optimizing history-based aspects (extended version) (Eric Bodden, Feng Chen, Grigore Rosu), Technical report abc-2008-2, https://www.aspectbench.org/, 2008. [bib] [pdf] |
| [38] | 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] |
| [37] | Racer: Effective Race Detection Using AspectJ (Eric Bodden, Klaus Havelund), In International Symposium on Software Testing and Analysis (ISSTA 2008), Seattle, WA, pages 155--165, ACM, 2008. Awarded: SIGSOFT Distinguished Paper Award [bib] [pdf] |
| [36] | 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] |
| [35] | 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] |
| [34] | Relational aspects as tracematches (Eric Bodden, Reehan Shaikh, Laurie Hendren), In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development, pages 84--95, ACM, 2008. [bib] [pdf] [doi] |
| [33] | Relational Aspects as Tracematches (Eric Bodden, Reehan Shaikh, Laurie Hendren), Technical report abc-2007-4, https://www.aspectbench.org/, 2007. [bib] [pdf] |
| [32] | Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information (Eric Bodden, Patrick Lam, Laurie Hendren), Technical report SABLE-TR-2007-8, Sable Research Group, School of Computer Science, McGill University, 2007. [bib] [pdf] |
| [31] | Flow-sensitive static optimizations for runtime monitoring (Eric Bodden, Patrick Lam, Laurie Hendren), Technical report abc-2007-3, https://www.aspectbench.org/, 2007. [bib] [pdf] |
| [30] | Arithmetic Coding revealed - A guided tour from theory to praxis (Eric Bodden, Malte Clasen, Joachim Kneis), Technical report 2007-5, Sable Research Group, McGill University, 2007. [bib] [pdf] |
| [29] | A staged static program analysis to improve the performance of runtime monitoring (extended version) (Eric Bodden, Laurie Hendren, Ondrej Lhoták), Technical report abc-2007-2, https://www.aspectbench.org/, 2007. [bib] [pdf] |
| [28] | 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] |
| [27] | Efficient runtime monitoring through static analysis (Eric Bodden), Poster, 21st European Conference on Object-Oriented Programming, July 30th 2007, Berlin, Germany, 2007. [bib] |
| [26] | Efficient runtime monitoring through static analysis (Eric Bodden), Poster, 6th International Conference on Aspect-Oriented Software Development, March 12th-16th 2007, Vancouver, BC, Canada, 2007. [bib] |
| [25] | The design and implementation of formal monitoring techniques (Eric Bodden), In OOPSLA '07: Companion of the 22nd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2007. (Doctoral Symposium) [bib] [pdf] |
| [24] | Domain-Specific Modelling with AToM-3 (Hans Vangheluwe, Ximeng Sun, Eric Bodden), In Second International Conference on Software and Data Technologies (ICSOFT). Special Session on Metamodelling -- Utilization in Software Engineering (MUSE), pages 305 -- 314, INSTICC Press, 2007. [bib] [pdf] |
| [23] | The design and implementation of formal monitoring techniques (Eric Bodden), In Doctoral Symposium at the 21st European Conference on Object-Oriented Programming, Berlin, Germany, 2007. [bib] [pdf] |
| [22] | 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] |
| [21] | Transforming Timeline specifications into automata for runtime monitoring (Eric Bodden, Hans Vangheluwe), In 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE), pages 249--265, Volume 5088 of Lecture Notes of Computer Science, Springer, 2007. [bib] [pdf] |
| [20] | abc: How to implement your own tools for AOP research (Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Julian Tibble), Tutorial, 5th International Conference on Aspect-oriented Software Development, March 20th-24th 2006, Bonn, Germany, 2006. [bib] |
| [19] | Efficient Trace Monitoring (Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhoták, Laurie Hendren, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam), Technical report abc-2006-1, https://www.aspectbench.org/, 2006. [bib] [pdf] |
| [18] | A staged static program analysis to improve the performance of runtime monitoring (Eric Bodden, Laurie Hendren, Ondrej Lhoták), Technical report abc-2006-4, https://www.aspectbench.org/, 2006. [bib] [pdf] |
| [17] | Tracechecks: Defining Semantic Interfaces with Temporal Logic (Eric Bodden, Volker Stolz), In Software Composition (Welf Löwe, Mario Südholt, eds.), pages 147--162, Volume 4089 of Lecture Notes in Computer Science, Springer, 2006. [bib] [pdf] |
| [16] | More Efficient Runtime Monitors Through Static Analysis (Eric Bodden), Poster, ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, ON, Canada, 2006. [bib] |