1. 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 1 to 20 of 36  next >
Issue DateTitleAuthor(s)
2017Automated checking for deterministic monitor behaviourBuhagiar, Andrew
2022Concurrency and Petri net modelsSpiteri Staines, Tony
2015Conditional permissions in contractsPace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2017A domain specific language integrating testing and runtime verificationAttard, Natasha
2017Exploring the link between test suite quality and automatic specification inferenceChircop, Luke; Colombo, Christian; Micallef, Mark
2014Extending the classes of montorable properties in detectERCutajar, Kurt (2014)
2013Formal security analysis of NFC M-coupon protocols using Casper/FDRAlshehri, Ali; Briffa, Johann A.; Schneider, Steve; Wesemeyer, Stephan
2012Foundational block modeling structures for computer systems representationSpiteri Staines, Tony
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
2024A monitoring tool for linear-time 饾渿HMLAceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, L茅o; Francalanza, Adrian; Ing贸lfsd贸ttir, Anna
2017Non-deterministic contract automataCroucher, Andr茅
2022On probabilistic monitorabilityAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ing贸lfsd贸ttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard
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)
Showing results 1 to 20 of 36  next >