Browsing by Author Lehtinen, Karoliina
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) |
| 2019-01 | Adventures in monitorability : from branching to linear time and back again | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2021 | The best a monitor can do | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2021 | Better late than never or : verifying asynchronous components at runtime | Attard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2019 | The cost of monitoring alone | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2022 | On probabilistic monitorability | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard |
| 2019 | An operational guide to monitorability | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2021 | An operational guide to monitorability with applications to regular properties | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
| 2022 | A synthesis tool for optimal monitors in a branching-time setting | Achilleos, Antonis; Exibard, Leo; Francalanza, Adrian; Lehtinen, Karoliina; Xuereb, Jasmine |
| 2019 | Testing equivalence vs. runtime monitoring | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |
