OAR@UM: Search

Search

Results 61-70 of 103 (Search time: 0.018 seconds).

previous
1
...
4
5
6
7
8
9
10
...
11
next

Item hits:

Issue Date	Title	Author(s)
2016	Runtime verification for stream processing applications	Colombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian
2021	Runtime verification: passing on the baton	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
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
2014	Monitoring distributed systems with distributed polyLarva	Cassar, Ian; Francalanza, Adrian; Colombo, Christian
2014	Verifying web applications : from business level specifications to automated model-based testing	Colombo, Christian; Micallef, Mark; Scerri, Mark
2016-11	Improving the automatic runtime monitor generation process via pruning : a way forward	Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.
2019	First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014	Bartocci, 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
2018	Considering academia-industry projects meta-characteristics in runtime verification design	Colombo, Christian; Pace, Gordon J.
2020	Themulus : a timed contract-calculus	Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2018	Runtime verification	Colombo, Christian; Leucker, Martin