[ecoop-info] Call for Papers: TAOSD - Special Issue on Runtime Verification and Analysis

Eric Bodden bodden at st.informatik.tu-darmstadt.de
Tue Mar 13 08:27:33 CET 2012

*** TAOSD: Transactions on Aspect-Oriented Software Development ***

*** Special Issue on Runtime Verification and Analysis ***


Submission deadline: August 15th, 2012
First Round Review Notification: November 1st, 2012
Re-Submission Revised Papers: January 31st, 2013
Second Round Review Notifications: March 30, 2013
Submission of Camera-Ready Copy: April 31, 2013

For more than a decade, researchers and practitioners have wondered
about a so-called “killer application” for aspect-oriented programming
(AOP). Runtime verification (RV) has turned out to be one of the most
convincing use cases for AOP. Runtime verification tools typically
instrument a program under test with an oracle, defined through a
high-level specification language such as a temporal logic or
model-based formalism. Prior to the advent of AOP, all of those tools
resorted to manual program instrumentation, on source code, bytecode
or machine code. This made tools and approaches hard to understand,
compare, compose and prove correct. Since then, the advent of AOP has
radically changed the way in which tools for RV and dynamic analysis
are developed. Nowadays, most tools instrument programs by generating
aspects from domain-specific textual descriptions or visual models, or
use a programming model based on AOP concepts. But research results
also flow in the other direction: requirements for RV and dynamic
analysis tools have lead to novel AOP language constructs improving
the performance, modularity and maintainability of the analysis code.
The purpose of this special issue is to collect a set of papers that
demonstrate how the two fields of AOP and RV / dynamic analysis have
influenced and continue to influence each other.

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

Extended versions of previously published workshop or conference
publications will be considered for publication in this special issue
if the new content exceeds 30% of the submitted manuscript’s
contribution. Submitted papers should include information about how
they relate to the authors’ own previous work, and an accompanying
letter should state any previously published parts if applicable.
Also, we ask authors to include a description of how the described
approach uses AO concepts, and how it compares to other AO techniques
in the field.

Manuscripts should follow LNCS formatting guidelines, and should be
submitted as PDF files via EasyChair at:
While there is no strict page limit, we encourage authors to describe
their research as thoroughly as necessary but as concisely as possible
at the same time. For any enqueries, please contact the guest editors
at sirva2012 at easychair.org.

Eric Bodden, Secure Software Engineering Group
European Center for Security and Privacy by Design, Technische
Universität Darmstadt, Germany

Shahar Maoz, Software Engineering, Department of Computer Science 3
RWTH Aachen University, Aachen, Germany

More information about the ecoop-info mailing list