Browse by People

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

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 and back again. Proceedings of the ACM on Programming Languages, 3 (POPL). pp. 1-29.

Pitsikalis, Manolis, Lisitsa, Alexei and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2023) Handling of Past and Future with Phenesthe+. .

Lehtinen, Karoliina ORCID: 0000-0003-1171-8790, Achilleos, Antonis, Francalanza, Adrian, Aceto, Luca and Ingolfsdottir, Anna
(2019) An Operational Guide to Monitorability. Journal of Software and Systems Modeling,, 11724. pp. 433-453.

This list was generated on Mon Apr 15 13:57:58 2024 BST.