OAR@UM: Browsing OAR@UM

Browsing by Subject Formal methods (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 7 to 26 of 32 < previous next >

Issue Date	Title	Author(s)
2013	Formal security analysis of NFC M-coupon protocols using Casper/FDR	Alshehri, Ali; Briffa, Johann A.; Schneider, Steve; Wesemeyer, Stephan
2012	Foundational block modeling structures for computer systems representation	Spiteri Staines, Tony
2018	Introduction to runtime verification	Bartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
2015	Investigating instrumentation techniques for ESB runtime verification	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2020	Mapping the future of legal personality	Ganado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2017	Non-deterministic contract automata	Croucher, André
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2021	Optional monitoring for long-lived transactions	Ellul, Joshua; Pace, Gordon J.
2019	Residual-based combination of static and runtime verification	Azzopardi, Shaun (2019)
2023	Runtime monitoring for asynchronous reactive components	Attard, Duncan Paul (2023)
2006	Runtime monitoring of duration calculus assertions for real-time applications	D'Emanuele, Karlston (2006)
2006	Runtime monitoring of duration calculus assertions for real-time applications	D’Emanuele, Karlston
2012	Runtime verification and compensations	Colombo, Christian (2012)
2020	Runtime verification for API based software	Bartolo Burlo`, Christian (2020)
2018	Runtime verification for decentralised and distributed systems	Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César
2023	Runtime verification for trustworthy computing	Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo
2020	Runtime verification of contracts with Themulus	Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2021	Runtime verification: passing on the baton	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2014	State-based monitoring using LARVA	Justine, Scicluna (2014)

Showing results 7 to 26 of 32 < previous next >