{"id":51887,"date":"2022-06-16T10:31:10","date_gmt":"2022-06-16T08:31:10","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51887"},"modified":"2022-06-16T10:35:06","modified_gmt":"2022-06-16T08:35:06","slug":"discotec-22-best-paper-awarded-to-behapi-researcher","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/discotec-22-best-paper-awarded-to-behapi-researcher\/","title":{"rendered":"DisCoTec 22 Best Paper Awarded to BehAPI Researcher"},"content":{"rendered":"\n<p>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 \u201c<strong><a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-08143-9_12\" target=\"_blank\">A Monitoring Tool for Linear-Time \u03bcHML<\/a><\/strong>\u201d and is co-authored with Luca Aceto, Antonis Achilleos, L\u00e9o Exibard, Adrian Francalanza and Anna Ing\u00f3lfsd\u00f3ttir.  It is available from: <a rel=\"noreferrer noopener\" href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-08143-9_12\" target=\"_blank\">https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-08143-9_12 <\/a><\/p>\n\n\n\n<p>One of the main contributions of the paper is an extension to the runtime verification tool <strong>detectEr<\/strong> to support the verification of linear-time properties. This extension can be accessed at: <a href=\"https:\/\/duncanatt.github.io\/detecter\/detecter-linear-time\/setting-up-detecter.html\">https:\/\/duncanatt.github.io\/detecter\/detecter-linear-time\/setting-up-detecter.html<\/a> We are very proud of this wonderful achievement!<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>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<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/discotec-22-best-paper-awarded-to-behapi-researcher\/\">Read More<\/a><\/div>\n","protected":false},"author":1,"featured_media":51893,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51887"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51887"}],"version-history":[{"count":1,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51887\/revisions"}],"predecessor-version":[{"id":51890,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51887\/revisions\/51890"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51893"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51887"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51887"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51887"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}