B. Bonakdarpour

This paper introduces a novel runtime verification technique for a rich sub-class of Clarkson and Schneider's hyperproperties. Expand

In this paper, we introduce a time-triggered approach for runtime verification of sequential systems where the monitor is timetriggered. Expand

We propose a method for producing automatically efficient and correct-by-construction distributed implementations from a model of the application software in Behavior, Interaction, Priority (BIP). Expand

The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference. Expand

Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complexity. Expand

We propose an algorithm for runtime verification of asynchronous distributed programs for the 3-valued semantics of LTL specifications defined over the global state of the program. Expand

We introduce a time-triggered runtime verification method that can reduce the runtime overhead of a program under scrutiny at run time. Expand

We propose a methodology for producing automatically efficient and correct-by-construction distributed implementations by starting from a high-level model of the application software in BIP and transforming it into Send/Receive BIP models. Expand

We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). Expand