1. OAR@UM

Browsing by Author Colombo, Christian

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 99 to 118 of 124 < previous   next >
Issue DateTitleAuthor(s)
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2012Safer asynchronous runtime monitoring using compensationsColombo, Christian; Pace, Gordon J.; Abela, Patrick
2020Secure communication in the quantum era : (group) key establishmentColombo, Christian; González Vasco, María Isabel; Steinwandt, Rainer; Zajac, Pavol
2021Secure implementation of a quantum-future GAKE protocolAbela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2012-04Separating compensation concerns and programming them with compensating automataColombo, Christian; Pace, Gordon J.
2012Simplifying contract-violating tracesColombo, Christian; Francalanza, Adrian; Grima, Ian
2009Slowdown invariance of timed regular expressionsBondin, Ingram; Pace, Gordon J.; Colombo, Christian
2013SMock - a test platform for monitoring toolsColombo, Christian; Mizzi, Ruth; Pace, Gordon J.
2020SpotCheck : on-device anomaly detection for AndroidMark Joseph; Colombo, Christian
2009Statistics and runtime verificationGauci, Andrew; Pace, Gordon J.; Colombo, Christian
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
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
2020A technique for automata-based verification with residual reasoningAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020Themulus : a timed contract-calculusAranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2020Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verificationColombo, Christian; Mark Joseph
2012Towards a specification-based correctness of Erlang systems through asynchronous monitoringColombo, Christian; Francalanza, Adrian
2013Towards incremental mutation testingCachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2012-06Trusting the machinePace, Gordon J.; Colombo, Christian
2015Using control flow analysis to improve the effectiveness of incremental mutation testingBajada, Luke; Micallef, Mark; Colombo, Christian
Showing results 99 to 118 of 124 < previous   next >