OAR@UM: Search

Search

Search:
for

Current filters:

Start a new search

Add filters:

Results/Page | Sort items by In order Authors/record

Results 1-7 of 7 (Search time: 0.006 seconds).

previous
1
next

Item hits:

Issue Date	Title	Author(s)
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
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
2016	Organising LTL monitors over distributed systems with a global clock	Colombo, Christian; Falcone, Yliès
2016	First international summer school on runtime verification : as part of the ArVi COST Action 1402	Colombo, Christian; Falcone, Yliès
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
2019	COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1	Ahrendt, 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