OAR@UM: Browsing OAR@UM

Browsing by Subject Computer science

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 16 to 35 of 46 < previous next >

Issue Date	Title	Author(s)
2016	Determinizing monitors for HML with recursion	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016	Device-centric monitoring for mobile device management	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2017-12	Effectiveness of EUMEDGRID	Vella, Kevin; EUMEDGRID
2018	Expressing runtime verification properties using regular expression in LARVA	Chatlani, Avinash
2000	Fast multi-threading on shared memory multiprocessors	Cordina, Joseph (2000)
2016	First international summer school on runtime verification : as part of the ArVi COST Action 1402	Colombo, Christian; Falcone, Yliès
2008	Flight-32 debugger	Cassar, Jonathan (2008)
2013	A formal semantics for imperative compensations	Camilleri, Jennifer (2013)
2002	High performance wait-free thread scheduling on shared memory multiprocessors	Debattista, Kurt; Vella, Kevin
2018	In search of the fastest sorting algorithm	Attard Cassar, Emmanuel
2002	Integrating fast network communication with a user-level thread scheduler	Busuttil, Steven
2009	Knowledge assistant	Grech, Olivia Ann (2009)
2017-08	Mapping CSP networks to MPI clusters using channel graphs and dynamic instrumentation	Azzopardi, Gabriella; Vella, Kevin; Muscat, Adrian
2016-11	Nested window management and task-oriented user interfaces	Vella, Kevin; Zammit, Alan
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
2013	Parallel construction and update of acceleration structures for ray tracing	Napoli, Kevin (2013)
2011	Permission-based separation logic for message-passing concurrency	Francalanza, Adrian; Rathke, Julian; Sassone, Vladimiro
2016-06	Run-time monitoring for the diagnosis and recovery of complex physical systems	Cataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2012	Runtime verification and compensations	Colombo, Christian (2012)

Showing results 16 to 35 of 46 < previous next >