Duncan Paul Attard, a PhD student at the Department of Computer Science (Faculty of ICT) at the University of Malta and the Department of Computer Science at Reykjavik University, accepted the award for best paper at , a premier federation of conferences on distributed computing. This year’s event was held at , in Italy.
The winning paper is titled “A Monitoring Tool for Linear-Time μHML” and is co-authored with Luca Aceto, Antonis Achilleos, Léo Exibard, Professor Adrian Francalanza and Anna Ingólfsdóttir. It is available .
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 tool extension can be accessed .
