Browsing by Author Sánchez, César
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
| 2020 | Reliable smart contracts | Pace, Gordon J.; Sánchez, César; Schneider, Gerardo |
| 2018 | Runtime verification for decentralised and distributed systems | Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César |
| 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 |
