Abstract<\/strong>: Runtime verification is a dynamic and lightweight approach to the verification of computing systems. It is based on the analysis of the events systems perform as they execute and uses the result of that analysis to find bugs. In light of its flexibility and wide range of applicability, this technique has become increasingly popular in many areas of computer science, and has the been the subject of extensive research both within the “Track A” and “Track B” communities.<\/p>\nMonitorability provides the theoretical foundations for runtime verification because it delineates what properties can be verified at runtime and should inform the design of software tools that automate the runtime-verification process. But when is a system property monitorable? The literature presents a plethora of definitions of the notion of “monitorability”, few of which are given explicitly in terms of the operational guarantees provided by monitors, which are the computational entities carrying out the verification at runtime.<\/p>\n
In this talk, I will argue that monitorability should be viewed as a spectrum, where the fewer guarantees that are required of monitors, the more properties become monitorable. I will present a monitorability hierarchy based on this trade-off, discuss variations on the resulting spectrum and argue for the importance of syntactic characterisations of the monitorable properties.<\/p>\n
I will close the talk by highlighting avenues for future work that might be of interest to theoretical computer scientists, regardless of their “track allegiance”.<\/p>\n
This presentation is based on joint work with several colleagues and students, including Antonis Achilleos (Reykjavik University), Elli Aastasiadi (Reykjavik University), Duncan Paul Attard (Reykjavik University and University of Malta), Ian Cassar (Reykjavik University and University of Malta), Adrian Francalanza (University of Malta), Anna Ing\u00f3lfsd\u00f3ttir (Reykjavik University) and Karoliina Lehtinen (CNRS, Aix-Marseille Universit\u00e9, LIS).<\/p>\n
\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"
Keynote SpeakersFabrizio Grandoni Website IDSIA, USI-SUPSI Title: Unsplittable Flow on a Path and Related Problems Abstract: In the unsplittable flow on a path problem (UFP) we are given a path graph with edge capacities. Furthermore we are given a collection of n tasks, where each task is characterized by a subpath, a demand, and a […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/pages\/12"}],"collection":[{"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/comments?post=12"}],"version-history":[{"count":9,"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":397,"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/pages\/12\/revisions\/397"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/ictcs2022\/wp-json\/wp\/v2\/media?parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}