1. OAR@UM

Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-8 of 8 (Search time: 0.044 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2021Runtime verification: passing on the batonColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2019A 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
2019A 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
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo

Discover