Graphically transforming Timeline specifications into automata for runtime monitoring (2008)
Abstract. In runtime monitoring, a programmer specifies a piece of code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runtime...
Aspects and Data Refinement ⋆ (2008)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege De Moor, Neil Ongkingco, Damien Sereni, ...
Abstract. We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conveniently expressed via aspects. Unlike traditional programming...
A Visual Static Analyzer for Java TM (2008)
Eric Bodden, Proposed Richard, E. Jones, Andy M. King
Programmer of a project group consisting of three third-year students at the Univesity of Kent, where he obtained a Diploma in Computer Science (Distinction). He is currently working for the IBM Java...
Eric Bodden, Supervisor Michael Weber
My previous focus on the development of analysis and verification software raised my interest in high-level specification languages for the purpose of describing, documenting, maintaining and...
Eric Bodden, Supervisor Michael Weber
My previous focus on the development of analysis and verification software raised my interest in high-level specification languages for the purpose of describing, documenting, maintaining and...
Static analysis of object-oriented applications has become widespread over the last decade, mainly in the context of compile-time optimizations. The paper describes how static analysis of virtual...
A staged static program analysis to improve the performance of runtime monitoring (2007)
Abstract. In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to AspectJ,...
The abc Group Relational Aspects as Tracematches (2007)
Eric Bodden, Reehan Shaikh, Laurie Hendren
2.1 Object-oriented solution by Gamma et al.............................. 6 2.2 AspectJ solution by Hannemann and Kiczales........................... 6
Eric Bodden, Mcgill Univeristy, Bernd Finkbeiner, Moonzoo Kim Kaist, Oege De Moor, Klaus Ostermann, ...
Avoiding infinite recursion with stratified aspects (2006)
Eric Bodden, Florian Forster, Friedrich Steimann
Abstract: Infinite recursion is a known problem of aspect-oriented programming with AspectJ: if no special precautions are taken, aspects advising aspects can easily and unintentionally advise...
Efficient trace monitoring (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Neil Ongkingco, ...
Abstract. A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a convenient...
A staged static program analysis to improve the performance of runtime monitoring
Efficient Trace Monitoring (2006)
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege De Moor, ...
A trace monitor observes the sequence of actions in a software system, and when it detects that this sequence matches a given pattern, it executes some extra code of its own. Trace monitors are often...
Efficient trace monitoring (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Damien Sereni, ...
Abstract. A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a convenient...
Implementing concern-specific languages with abc Seminar on Aspect-oriented programming (2005)
Fachgebiet Wissensbasierte Systeme, Eric Bodden
In this work first we introduce the notion of concern specific languages (CSL) [Bod05] which are to a specific crosscutting concern, what domain specific languages are to a specific domain....
Eric Bodden, In Informatik, Lehrstuhl Informatik Für, Programmiersprachen Und Programmanalyse
A tool for runtime-checking temporal assertions
Temporal Assertions using AspectJ (2005)
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during...
Arithmetic Coding revealed - A guided tour from theory to praxis (2001)
Eric Bodden, Eric Bodden, Malte Clasen, Malte Clasen, Joachim Kneis, Joachim Kneis
Motivation and History 7 2