To Monitorability and Beyond (online talk)
I will give an overview of our work on the theoretical foundations of runtime verification over the past few years. Monitorability, i.e. the amenability of a specification to verification by monitors, has been a central theme in our work. I will demonstrate the insights that we have gained about its meaning and properties. Another theme that I will focus on is extending our monitoring framework to different settings. The goal is to verify more properties. We choose to use an operational approach and an expressive logic with a linear-time and a branching-time interpretation. I will explain how these decisions inform our work.
Antonis is an assistant professor at the Department of Computer Science of Reykjavik University. He defended his PhD on the complexity properties of multi-agent justification logic at the Graduate Center of CUNY in 2015. His research interests include the theory of runtime verification and monitorability, modal logic, and complexity theory.
Mon 6 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
|To Monitorability and Beyond (online talk)|
I: Antonis Achilleos Reykjavik University
|Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs|
Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida
|Runtime monitoring of Java duplicate memory allocations (online talk)|
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta