On the public citation graph
Aspects for Trace Monitoring
0 signed · 89 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11531142openalex-snapshot
ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
inferredcites →https://doi.org/10.1007/11531142_7openalex-snapshot
Open Modules: Modular Reasoning About Advice
inferredcites →https://doi.org/10.1007/11575467_8openalex-snapshot
Using Datalog with Binary Decision Diagrams for Program Analysis
inferredcites →https://doi.org/10.1007/11687061_9openalex-snapshot
abc : An Extensible AspectJ Compiler
inferredcites →https://doi.org/10.1007/11785477_2openalex-snapshot
codeQuest: Scalable Source Code Queries with Datalog
inferredcites →https://doi.org/10.1007/11922827openalex-snapshot
Transactions on Aspect-Oriented Software Development II
inferredcites →https://doi.org/10.1007/3-540-45429-2openalex-snapshot
Metalevel Architectures and Separation of Crosscutting Concerns
inferredcites →https://doi.org/10.1007/3-540-45429-2_13openalex-snapshot
A formal definition of crosscuts
inferredcites →https://doi.org/10.1007/3-540-45821-2_11openalex-snapshot
A Framework for the Detection and Resolution of Aspect Interactions
inferredcites →https://doi.org/10.1007/3-540-45821-2_19openalex-snapshot
Meta-programming with Concrete Object Syntax
inferredcites →https://doi.org/10.1007/3-540-48443-4openalex-snapshot
Meta-Level Architectures and Reflection
inferredcites →https://doi.org/10.1007/3-540-48443-4_22openalex-snapshot
Aspect-Oriented Logic Meta Programming
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2_8openalex-snapshot
Demand Interprocedural Program Analysis Using Logic Databases
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_23openalex-snapshot
Analysis of Recursive Game Graphs Using Data Flow Equations
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_5openalex-snapshot
Rule-Based Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-540-28644-8_14openalex-snapshot
μABC: A Minimal Aspect Calculus
inferredcites →https://doi.org/10.1007/978-3-540-28644-8_19openalex-snapshot
Reversible Communicating Systems
inferredcites →https://doi.org/10.1007/bfb0053371openalex-snapshot
ECOOP'97 — Object-Oriented Programming
inferredcites →https://doi.org/10.1016/j.entcs.2006.02.007openalex-snapshot
Temporal Assertions using AspectJ
inferredcites →https://doi.org/10.1109/32.489080openalex-snapshot
A query algebra for program databases
inferredcites →https://doi.org/10.1109/32.48940openalex-snapshot
The C information abstraction system
inferredcites →https://doi.org/10.1109/32.667879openalex-snapshot
Design of flexible static program analyzers with PQL
inferredcites →https://doi.org/10.1109/icsm.1994.336782openalex-snapshot
Querying source code using an algebraic query language
inferredcites →https://doi.org/10.1145/1018203.1018208openalex-snapshot
A semantics for advice and dynamic join points in aspect-oriented programming
inferredcites →https://doi.org/10.1145/1028976.1028986openalex-snapshot
Scalable extensibility via nested inheritance
inferredcites →https://doi.org/10.1145/1028976.1028990openalex-snapshot
Measuring the dynamic behaviour of AspectJ programs
inferredcites →https://doi.org/10.1145/1029894.1029918openalex-snapshot
Implementing protocols via declarative event patterns
inferredcites →https://doi.org/10.1145/1052898.1052901openalex-snapshot
An expressive aspect language for system applications with Arachne
inferredcites →https://doi.org/10.1145/1052898.1052907openalex-snapshot
What does aspect-oriented programming mean to Cobol?
inferredcites →https://doi.org/10.1145/1065167.1065169openalex-snapshot
Context-sensitive program analysis as database queries
inferredcites →https://doi.org/10.1145/1082983.1083249openalex-snapshot
Event-based runtime verification of java programs
inferredcites →https://doi.org/10.1145/1083246.1083249openalex-snapshot
Event-based runtime verification of java programs
inferredcites →https://doi.org/10.1145/1094811.1094815openalex-snapshot
Scalable component abstractions
inferredcites →https://doi.org/10.1145/1094811.1094839openalex-snapshot
Adding trace matching with free variables to AspectJ
inferredcites →https://doi.org/10.1145/1094811.1094840openalex-snapshot
Finding application errors and security flaws using PQL
inferredcites →https://doi.org/10.1145/1094811.1094841openalex-snapshot
Relational queries over program traces
inferredcites →https://doi.org/10.1145/1103845.1094840openalex-snapshot
Finding application errors and security flaws using PQL
inferredcites →https://doi.org/10.1145/1119655.1119664openalex-snapshot
Adding open modules to AspectJ
inferredcites →https://doi.org/10.1145/231379.231399openalex-snapshot
Practical program analysis using general purpose logic programming systems—a case study
inferredcites →https://doi.org/10.1145/390010.808258openalex-snapshot
Implementing relational views of programs
inferredcites →https://doi.org/10.1145/643603.643610openalex-snapshot
Arranging language features for more robust pattern-based crosscuts
inferredcites →https://doi.org/10.1145/643603.643622openalex-snapshot
Navigating and querying code without getting lost
inferredcites →https://doi.org/10.1145/800020.808258openalex-snapshot
Implementing relational views of programs
inferredcites →https://doi.org/10.1145/960112.28700openalex-snapshot
CommonLoops: merging Lisp and object-oriented programming
inferredcites →https://doi.org/10.1145/976270.976288openalex-snapshot
Composition, reuse and interaction analysis of stateful aspects
inferredcites →https://doi.org/10.5860/choice.29-3938openalex-snapshot
The art of the metaobject protocol
inferredcites →https://doi.org/10.7551/mitpress/1405.001.0001openalex-snapshot
The Art of the Metaobject Protocol
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_21openalex-snapshot
Protocol Modeling with Model Program Composition
inferred← citeshttps://doi.org/10.1007/978-3-540-89247-2_10openalex-snapshot
Runtime Monitoring of Object Invariants with Guarantee
inferred← citeshttps://doi.org/10.1007/978-3-642-02059-9_3openalex-snapshot
Open Bisimulation for Aspects
inferred← citeshttps://doi.org/10.1007/978-3-642-14819-4_8openalex-snapshot
An Aspect-Oriented Framework for Event Capture and Usability Evaluation
inferred← citeshttps://doi.org/10.1007/s11390-009-9225-4openalex-snapshot
Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension
inferred← citeshttps://doi.org/10.1016/j.cl.2008.06.002openalex-snapshot
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts
inferred← citeshttps://doi.org/10.1016/j.scico.2015.02.001openalex-snapshot
An expressive stateful aspect language
inferred← citeshttps://doi.org/10.1049/iet-sen.2018.5324openalex-snapshot
Dealing with crosscutting and dynamic features in component software using aspect‐orientation: requirements and experiences
inferred← citeshttps://doi.org/10.1109/iccit.2010.5711132openalex-snapshot
Credibility evaluation of software behavior based on behavioral attribute distance
inferred← citeshttps://doi.org/10.1109/ictaacs69003.2025.11399295openalex-snapshot
Modeling and Evaluating Self-Repair in FPGA-Based UAV Embedded Systems
inferred← citeshttps://doi.org/10.1109/icws.2008.27openalex-snapshot
Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension
inferred← citeshttps://doi.org/10.1145/1218563.1218577openalex-snapshot
Open bisimulation for aspects
inferred← citeshttps://doi.org/10.1145/1496653.1496660openalex-snapshot
AOP as a formal framework for runtime monitoring
inferred← citeshttps://doi.org/10.1145/1509307.1509310openalex-snapshot
AOP for the domain of runtime monitoring
inferred← citeshttps://doi.org/10.1145/1739230.1739249openalex-snapshot
Composing aspects with aspects
inferred← citeshttps://doi.org/10.1145/3414080.3414093openalex-snapshot
Understanding Lua’s Garbage Collection
inferred← citeshttps://doi.org/10.1145/3567512.3567526openalex-snapshot
jGuard: Programming Misuse-Resilient APIs
inferred← citeshttps://doi.org/10.1504/ijwgs.2013.055699openalex-snapshot
Runtime verification of service-oriented systems: a well-rounded survey
inferred← citeshttps://doi.org/10.22215/etd/2017-12062openalex-snapshot
Towards Efficient Instrumentation for Reverse-Engineering Object Oriented Software through Static and Dynamic Analyses
inferred← citeshttps://doi.org/10.3233/mgs-190307openalex-snapshot
Monitoring open multi-agent systems: An aspect-oriented programming based approach
inferred← citeshttps://doi.org/10.48550/arxiv.2005.13057openalex-snapshot
Understanding Lua's Garbage Collection -- Towards a Formalized Static Analyzer
inferred← citeshttps://doi.org/10.70675/978ca4d0z7648z4c07z9833zb7ac8bec5a0copenalex-snapshot
Aspectualizing Component Models : implementation and Interferences Analysis
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.