Gerardo Schneider
Göteborgs universitet
H-index: 32
Europe-Sweden
Top articles of Gerardo Schneider
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae | Shaun Azzopardi David Lidell Nir Piterman Gerardo Schneider | 2023/10/19 | |
CLawK: Monitoring Business Processes in Smart Contracts | arXiv preprint arXiv:2305.08254 | Mojtaba Eshghie Wolfgang Ahrendt Cyrille Artho Thomas Troels Hildebrandt Gerardo Schneider | 2023/5/14 |
When is good enough good enough? On software assurances | ERA Forum | Joshua Ellul Gordon J Pace Ioannis Revolidis Gerardo Schneider | 2023/2 |
Attribute-based encryption with enforceable obligations | Journal of Cryptographic Engineering | Hamed Arshad Pablo Picazo-Sanchez Christian Johansen Gerardo Schneider | 2023/9 |
LTL Synthesis on Infinite-State Arenas defined by Programs | arXiv preprint arXiv:2307.09776 | Shaun Azzopardi Nir Piterman Gerardo Schneider Luca di Stefano | 2023/7/19 |
Synchronous Agents, Verification, and Blame—A Deontic View | Karam Kharraz Shaun Azzopardi Gerardo Schneider Martin Leucker | 2023/11/23 | |
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts | arXiv preprint arXiv:2306.08144 | Piergiuseppe Mallozzi Nir Piterman Pierluigi Nuzzo Gerardo Schneider Patrizio Pelliccione | 2023/6/13 |
Capturing Smart Contract Design with DCR Graphs | Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings | Thomas Troels Hildebrandt Gerardo Schneider | 2023/10/30 |
Cheap and secure metatransactions on the blockchain using hash-based authorisation and preferred batchers | Blockchain: Research and Applications | William Hughes Tobias Magnusson Alejandro Russo Gerardo Schneider | 2023/6/1 |
A multidisciplinary definition of privacy labels | Information & Computer Security | Johanna Johansen Tore Pedersen Simone Fischer-Hübner Christian Johansen Gerardo Schneider | 2022/5/27 |
Formal verification of security protocols | Markus Roggenbach Siraj Ahmed Shaikh Hoang Nga Nguyen | 2022/6/23 | |
Runtime verification meets controller synthesis | Shaun Azzopardi Nir Piterman Gerardo Schneider | 2022/10/17 | |
Formal Methods | Handbook of software engineering | Doron A Peled | 2019 |
Assumption monitoring of temporal task planning using stream runtime verification | Felipe Gorostiaga Sebastián Zudaire César Sánchez Gerardo Schneider Sebastián Uchitel | 2022/10/17 | |
An Automata-Based Formalism for Normative Documents with Real-Time | Legal Knowledge and Information Systems: JURIX 2022: The Thirty-fifth Annual Conference, Saarbrücken, Germany, 14-16 December 2022 | E Francesconi | 2022/12/21 |
Specification and Verification of Normative Documents | Gerardo Schneider | 2022/6/23 | |
Runtime Verification of Kotlin Coroutines | Denis Furian Shaun Azzopardi Yliès Falcone Gerardo Schneider | 2022/9/23 | |
Correction to: Formal Methods for Software Engineering | Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh | 2022/12/20 | |
Precise analysis of purpose limitation in Data Flow Diagrams | Hanaa Alshareef Katja Tuma Sandro Stucki Gerardo Schneider Riccardo Scandariato | 2022/8/23 | |
Logics for Software Engineering | Bernd-Holger Schlingloff Markus Roggenbach Gerardo Schneider Antonio Cerone | 2022/6/23 |