ETAPS 2014: CALL FOR SATELLITE EVENTS

ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — SATELLITE EVENTS — The ETAPS 2014 Organizing Committee invites proposals for Satellite Events (workshops, tutorials, etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the […]

Read More

ETAPS 2014 @ Grenoble, 5-13 April 2014

ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — ABOUT ETAPS — The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event […]

Read More

Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation

The paper Runtime Verification of Component-Based Systems in the BIP Framework with Formally-Proved Sound and Complete Instrumentation has been accepted to the international journal SOSYM: SOftware and SYstem Modeling. Here is an abstract of the paper: Verification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact […]

Read More

RV 2013: Fourth International Conference on Runtime Verification

RV’13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013. About Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional […]

Read More

Runtime Enforcement of Timed Properties

The paper Runtime Enforcement of Timed Properties has been accepted for publication at the conference RV’12: 3rd international conference on Runtime Verification, Istanbul, Turkey. Here is an abstract of this paper below: Runtime enforcement is a powerful technique to ensure that a running system respects some desired properties. Using an enforcement monitor, an (untrusted) input […]

Read More

Towards Certified Runtime Verification

The paper Towards Certified Runtime Verification has been accepted for publication to ICFEM’2012: 14th International Conference on Formal Engineering Methods. Here is an abstract below. Runtime verification (RV) is an important technique to monitor system behavior at runtime and potentially take compensating actions in case of deviation from a specification. For the usage in safety […]

Read More

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

The paper Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors has been accepted for publication at FM’2012 (the 18th international symposium on Formal Methods). Below is the abstract: Runtime verification is the process of checking a property on a trace of events produced by the execution of a computational system. Runtime verification techniques have recently […]

Read More