OAR@UM: Search

Search

Results 1-10 of 11 (Search time: 0.013 seconds).

previous
1
2
next

Item hits:

Issue Date	Title	Author(s)
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008	A practical approach to runtime verification of real-time properties for Java programs	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009	Safe runtime verification of real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008	Dynamic event-based runtime monitoring of real-time and contextual properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009	Resource-bounded runtime verification of Java programs with real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
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
2018	COST Action IC1402 runtime verification beyond monitoring	Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
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