ICE-TCS seminar: Luca Aceto - Reykjavik University and Gran Sasso Science Institute

Testing equivalence vs. runtime monitoring

  • 22.1.2019, 12:15 - 13:00


ICE-TCS seminar #327

Date and time: Tuesday, 22 January 2019, 12:10-13:00
Location: Room M120 (note the new room for the spring 2019 semester)
Speaker:  Luca Aceto (Reykjavik University and Gran Sasso Science Institute)

Title: Testing equivalence vs. runtime monitoring

Abstract: When do two programs, or, more generally, computing systems exhibit the same behaviour? This is a fundamental question in computer science that appears in programming, compiler design, software engineering and many other fields. 

A classic and seminal answer to that question was provided 35 years ago in a journal paper by De Nicola and Hennessy, who studied three notions of testing equivalence. In this talk, I will introduce the main ideas behind the testing equivalences à la De Nicola-Hennessy and relate them with the framework for runtime monitoring  we have developed  in the context of the project ‘TheoFoMon: Theoretical Foundations for Monitorability’ (

The talk builds on joint work with Antonis Achilleos and Anna Ingólfsdóttir (RU), Adrian Francalanza (University of Malta) and Karoliina Lehtinen (University of Liverpool). 

Warning: This whiteboard talk will be accessible to students and assumes no previous knowledge of testing equivalences and runtime monitoring. 

Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á eða með því að senda tölvupóst á netfangið:
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our or send an e-mail: