Browsing by Author Ingolfsdottir, Anna
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) |
2016 | Determinizing monitors for HML with recursion | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingolfsdottir, Anna; Kjartansson, Saevar Orn |
2017 | eAOP : an aspect oriented programming framework for Erlang | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna |
2017 | A foundation for runtime monitoring | Francalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingolfsdottir, Anna |
2017 | Monitorability for the Hennessy-Milner logic with recursion | Francalanzaa, Adrian; Aceto, Luca; Ingolfsdottir, Anna |
2017 | On the complexity of determinizing monitors | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingolfsdottir, Anna; Kjartansson, Saevar Orn |
2015 | On verifying Hennessy-Milner logic with recursion at runtime | Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna |
2017 | A runtime monitoring tool for actor-based systems | Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna |
2017 | A survey of runtime monitoring instrumentation techniques | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna |