Prof. Dr. Eric Bodden

Shahar Maoz (RWTH Aachen) and I will be guest-editing a special issue of the Springer Journal Transactions on Aspect-Oriented Software Development. We invite you all to contribute! Papers may address any aspect of runtime verification related to aspects, including but not limited to:

• historical or comparative surveys related to aspects and runtime verification / dynamic analysis
• transformations from high-level specifications or models to monitoring aspects
• correctness of monitoring aspects
• static and dynamic optimizations of monitoring aspects
• aspects for security and traceability
• domain-specific AOP language abstractions or visual formalisms for runtime verification
• modularity and composability of runtime monitors or dynamic analysis code
• runtime verification of hardware or hardware descriptions

Submission deadline is August 15th, 2012. Find more information here.