Browsing by Author Della Monica, Dario
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2017 | A foundation for runtime monitoring | Francalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna |
2019 | Pushing runtime verification to the limit : may process semantics be with us | Della Monica, Dario; Francalanza, Adrian |
2015 | Towards a hybrid approach to software verification | Della Monica, Dario; Francalanza, Adrian |