Adding trace matching with free variables to AspectJ

C Allan, P Avgustinov, AS Christensen… - ACM SIGPLAN …, 2005 - dl.acm.org
An aspect observes the execution of a base program; when certain actions occur, the aspect
runs some extra code of its own. In the AspectJ language, the observations that an aspect …

Ksplice: Automatic rebootless kernel updates

J Arnold, MF Kaashoek - Proceedings of the 4th ACM European …, 2009 - dl.acm.org
Ksplice allows system administrators to apply patches to their operating system kernels
without rebooting. Unlike previous hot update systems, Ksplice operates at the object code …

A quantitative analysis of aspects in the eCos kernel

D Lohmann, F Scheler, R Tartler, O Spinczyk… - ACM SIGOPS …, 2006 - dl.acm.org
Nearly ten years after its first presentation and five years after its first application to operating
systems, the suitability of Aspect-Oriented Programming (AOP) for the development of …

MATA: A unified approach for composing UML aspect models based on graph transformation

J Whittle, P Jayaraman, A Elkhodary, A Moreira… - Transactions on Aspect …, 2009 - Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML
aspect-oriented modeling (AOM) technique that uses graph transformations to specify and …

Managing the evolution of aspect-oriented software with model-based pointcuts

A Kellens, K Mens, J Brichau, K Gybels - … , Nantes, France, July 3-7, 2006 …, 2006 - Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still
suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe …

Explicitly distributed AOP using AWED

LDB Navarro, M Südholt, W Vanderperren… - Proceedings of the 5th …, 2006 - dl.acm.org
Distribution-related concerns, such as data replication, often crosscut the business code of a
distributed application. Currently such crosscutting concerns are frequently realized on top …

Runtime verification of C programs

K Havelund - International Workshop on Formal Approaches to …, 2008 - Springer
We present in this paper a framework, Rmor, for monitoring the execution of C programs
against state machines, expressed in a textual (non-graphical) format in files separate from …

Dependable model-driven development of CPS: From stateflow simulation to verified implementation

Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan… - ACM Transactions on …, 2018 - dl.acm.org
Simulink is widely used for model-driven development (MDD) of cyber-physical systems.
Typically, the Simulink-based development starts with Stateflow modeling, followed by …

Making trace monitors feasible

P Avgustinov, J Tibble, O de Moor - … of the 22nd annual ACM SIGPLAN …, 2007 - dl.acm.org
A trace monitor observes an execution trace at runtime; when it recognises a specified
sequence of events, the monitor runs extra code. In the aspect-oriented programming …

Reasoning about semantic conflicts between aspects

PEA Durr, T Staijen, M Aksit - First Aspect, Dependencies, and …, 2006 - research.utwente.nl
Aspects have been successfully promoted as a means to improve the modularization of
software in the presence of crosscutting concerns. The socalled aspect interference problem …