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 9 to 28 of 32 < previous   next >
Issue DateTitleAuthor(s)
2018Introduction to runtime verificationBartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2020Mapping the future of legal personalityGanado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2017Non-deterministic contract automataCroucher, André
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2021Optional monitoring for long-lived transactionsEllul, Joshua; Pace, Gordon J.
2019Residual-based combination of static and runtime verificationAzzopardi, Shaun (2019)
2023Runtime monitoring for asynchronous reactive componentsAttard, Duncan Paul (2023)
2006Runtime monitoring of duration calculus assertions for real-time applicationsD'Emanuele, Karlston (2006)
2006Runtime monitoring of duration calculus assertions for real-time applicationsD’Emanuele, Karlston
2012Runtime verification and compensationsColombo, Christian (2012)
2020Runtime verification for API based softwareBartolo Burlo`, Christian (2020)
2018Runtime verification for decentralised and distributed systemsFrancalanza, Adrian; Pérez, Jorge A.; Sánchez, César
2023Runtime verification for trustworthy computingAbela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo
2020Runtime verification of contracts with ThemulusAranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2021Runtime verification: passing on the batonColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2014State-based monitoring using LARVAJustine, Scicluna (2014)
2019A 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
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin