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鈥檚 event was held at , in Italy.
The winning paper is titled 鈥淎 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 .
