Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 14 (Search time: 0.005 seconds).
Item hits:
Issue DateTitleAuthor(s)
2019First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi
2020Secure communication in the quantum era : (group) key establishmentColombo, Christian; González Vasco, María Isabel; Steinwandt, Rainer; Zajac, Pavol
2020Runtime verification of contracts with ThemulusAranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2018COST Action IC1402 runtime verification beyond monitoringColombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2019COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2021Model-based static and runtime verification for ethereum smart contractsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020A technique for automata-based verification with residual reasoningAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020CLARVA : model-based residual verification of Java programsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2022RV-TEE-based trustworthy secure shell deployment : an empirical evaluationCurmi, Axel; Colombo, Christian; Vella, Mark Joseph
2020SpotCheck : on-device anomaly detection for AndroidMark Joseph; Colombo, Christian