OAR@UM: Browsing OAR@UM

Browsing by Subject Computer logic

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 24 next >

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
2020	The complexity of identifying characteristic formulae	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2021	Computer says no : verdict explainability for runtime monitors using a local proof	Francalanza, Adrian; Cini, Clare
2019	The cost of monitoring alone	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
1986	Design of a logic state and logic timing analyser	Zammit, Saviour (1986)
2020	Developing theoretical foundations for runtime enforcement	Cassar, Ian (2020)
2014	Extending the classes of montorable properties in detectER	Cutajar, Kurt (2014)
2018	A framework for parameterized monitorability	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2020	Mapping the future of legal personality	Ganado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2021	On bidirectional runtime enforcement	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2018	On runtime enforcement via suppressions	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2021	On the monitorability of session types, in theory and practice	Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2021	On the monitorability of session types, in theory and practice (Artifact)	Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
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
2019	Pushing runtime verification to the limit : may process semantics be with us	Della Monica, Dario; Francalanza, Adrian
2019	Residual-based combination of static and runtime verification	Azzopardi, Shaun (2019)
2023	Runtime verification for trustworthy computing	Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo
2023	Runtime verification program side‐effects in OCaml	Sciberras, Emma (2023)

Showing results 1 to 20 of 24 next >