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 16 to 32 of 32 < previous

Issue Date	Title	Author(s)
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)
2019	A survey of challenges for runtime verification from advanced application domains (beyond software)	Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2015	Synthesising correct concurrent runtime monitors	Francalanza, Adrian; Seychell, Aldrin
2020	Themulus : a timed contract-calculus	Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2016	Towards modular monitoring for concurrent systems	Attard, Duncan Paul
2017	Trace partitioning and local monitoring for asynchronous components	Attard, Duncan Paul; Francalanza, Adrian
2008	UJ : type soundness for universe types	Cunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter

Showing results 16 to 32 of 32 < previous