Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingolfdottir, Anna and Lehtinen, MK ORCID: 0000-0003-1171-8790
(2019) Adventures in monitorability: From branching time to linear time an back again. Proceedings of the ACM on Programming Languages, 3 (POPL).


Lehtinen, Karoliina, Achilleos, Antonis, Francalanza, Adrian, Aceto, Luca and Ingolfsdottir, Anna
(2020) An Operational Guide to Monitorability. Journal of Software and Systems Modeling,.

This list was generated on Sun Jan 17 11:53:32 2021 GMT.