| Issue Date | Title | Author(s) |
| 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 |
| 2015 | KeY + LARVA = STARVOORS | Ahrendt, Wolfgang; Pace, Gordon J. |
| 2015 | A specification language for static and runtime verification of data and control properties | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |
| 2016 | StaRVOOrS - episode II : strengthen and distribute the force | Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
| 2015 | StaRVOOrS : a tool for combined static and runtime verification of Java | Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
| 2015 | StaRVOOrS : unifying static and runtime verification of Java | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; 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 |
| 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 |
| 2012 | A unified approach for static and runtime verification : framework and applications | Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
| 2017 | Verifying data- and control-oriented properties combining static and runtime verification : theory and tools | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |
