Fault Localization in Embedded Software based on a Single Cyclic Trace

The paper Fault Localization in Embedded Software based on a Single Cyclic Trace has been accepted to ISSRE 2013, the 24th IEEE International Symposium on Software Reliability Engineering, Pasadena, CA. Locating faults in embedded software, especially in microcontroller context, is still difficult. Quite recently, it became possible to recover execution traces from microcontrollers using specific hardware probes. However, […]

Read More

Runtime Enforcement of K-step Opacity

The paper Runtime Enforcement of K-step Opacity has been accepted to CDC, 52nd IEEE Conference on Decision and Control that will be held Tuesday through Friday, December 10-13, 2013 at Palazzo dei Congressi, Florence, Italy. We study the enforcement of K-step opacity at runtime. In K-step opacity, the knowledge of the secret is of interest to the attacker within K […]

Read More

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