Duncan Paul Attard, a PhD student at the Department of Computer Science at the University of Malta working on the BehAPI project, accepted the award for best paper at DisCoTec 2022, a premier federation of conferences on distributed computing. The paper is titled “A Monitoring Tool for Linear-Time μHML” and is co-authored with Luca Aceto, Antonis Achilleos, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir. It is available from: https://link.springer.com/chapter/10.1007/978-3-031-08143-9_12

One of the main contributions of the paper is an extension to the runtime verification tool detectEr to support the verification of linear-time properties. This extension can be accessed at: https://duncanatt.github.io/detecter/detecter-linear-time/setting-up-detecter.html We are very proud of this wonderful achievement!

Leave a Reply