Gerardo Schneider

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 86

Top Venues

CoRR

ISoLA (1)

J. Log. Algebraic Methods Program.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
CLawK: Monitoring Business Processes in Smart Contracts. CoRR (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Capturing Smart Contract Design with DCR Graphs. CoRR (2023)
Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR (2023)
Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider
Attribute-based encryption with enforceable obligations. J. Cryptogr. Eng. 13 (3) (2023)
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR (2023)
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Capturing Smart Contract Design with DCR Graphs. SEFM (2023)
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616 (2022)
Stefan Chircop, Gordon J. Pace, Gerardo Schneider
An Automata-Based Formalism for Normative Documents with Real-Time. JURIX (2022)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) (2022)
Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld
Are chrome extensions compliant with the spirit of least privilege? Int. J. Inf. Sec. 21 (6) (2022)
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Runtime Verification of Kotlin Coroutines. RV (2022)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Runtime Verification Meets Controller Synthesis. ISoLA (1) (2022)
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
A multidisciplinary definition of privacy labels. Inf. Comput. Secur. 30 (3) (2022)
Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
Precise Analysis of Purpose Limitation in Data Flow Diagrams. ARES (2022)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Refining Privacy-Aware Data Flow Diagrams. SEFM (2021)
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA (2021)
William Hughes, Alejandro Russo, Gerardo Schneider
MultiCall: A Transaction-batching Interpreter for Ethereum. BSCI (2021)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR (2021)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
On the Specification and Monitoring of Timed Normative Systems. RV (2021)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space (2021)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Transforming Data Flow Diagrams for Privacy Compliance. MODELSWARD (2021)
Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
Timed Dyadic Deontic Logic. JURIX (2021)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA (2021)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58 (1-2) (2021)
Farzane Karami, Olaf Owe, Gerardo Schneider
Security Wrappers for Information-Flow Control in Active Object Languages with Futures. CoRR (2020)
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. CoRR (2020)
Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld
HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security. CANS (2020)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Transforming Data Flow Diagrams for Privacy Compliance (Long Version). CoRR (2020)
Gordon J. Pace, César Sánchez, Gerardo Schneider
Reliable Smart Contracts. ISoLA (3) (2020)
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
A collaborative access control framework for online social networks. J. Log. Algebraic Methods Program. 114 (2020)
Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
After you, please: browser extensions order attacks and countermeasures. Int. J. Inf. Sec. 19 (6) (2020)
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
CROME: Contract-Based Robotic Mission Specification. MEMOCODE (2020)
Farzane Karami, Olaf Owe, Gerardo Schneider
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. NordSec (2020)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-Box Monitoring of Hyperproperties. FM (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR (2019)
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN (2019)
Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
After You, Please: Browser Extensions Order Attacks and Countermeasures. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors. Future Gener. Comput. Syst. 96 (2019)
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. RoSE@ICSE (2019)
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks. FM (2018)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development (2018)
Gerardo Schneider
Is Privacy by Construction Possible? ISoLA (1) (2018)
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
Security of Pacemakers using Runtime Verification. MEMOCODE (2018)
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
A web-based tool for analysing normative documents in english. SAC (2018)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
Migrating Monitors + ABE: A Suitable Combination for Secure IoT? ISoLA (4) (2018)
Srinivas Pinisetty, Gerardo Schneider, David Sands
Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) (2018)
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
Monitoring Data Minimisation. CoRR (2018)
César Sánchez, Gerardo Schneider, Martin Leucker
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) (2018)
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
Testing meets static and runtime verification. FormaliSE@ICSE (2018)
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
Privacy Compliance Via Model Transformations. EuroS&P Workshops (2018)
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
MoVEMo: A Structured Approach for Engineering Reward Functions. IRC (2018)
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM (2017)
John J. Camilleri, Gerardo Schneider
Modelling and analysis of normative documents. J. Log. Algebraic Methods Program. 91 (2017)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. 51 (1) (2017)
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
A Web-Based Tool for Analysing Normative Documents in English. CoRR (2017)
Raúl Pardo, César Sánchez, Gerardo Schneider
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR (2017)
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
Secure Photo Sharing in Social Networks. SEC (2017)
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Specification, design, and verification of an accountability-aware surveillance protocol. SAC (2017)
Thibaud Antignac, David Sands, Gerardo Schneider
Data Minimisation: A Language-Based Approach. SEC (2017)
Raúl Pardo, Gerardo Schneider
Model Checking Social Network Models. GandALF (2017)
Raúl Pardo, Musard Balliu, Gerardo Schneider
Formalising privacy policies in social networks. J. Log. Algebraic Methods Program. 90 (2017)
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Extracting Formal Models from Normative Texts. CoRR (2017)
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Extracting Formal Models from Normative Texts. CoRR (2016)
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
Specification of Evolving Privacy Policies for Online Social Networks. TIME (2016)
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV (2016)
Gerardo Schneider
On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. ISoLA (2) (2016)
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24 (3) (2016)
Thibaud Antignac, David Sands, Gerardo Schneider
Data Minimisation: a Language-Based Approach (Long Version). CoRR (2016)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) (2016)
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Extracting Formal Models from Normative Texts. NLDB (2016)
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
A Privacy-Aware Conceptual Model for Handling Personal Data. ISoLA (1) (2016)
Gordon J. Pace, Raúl Pardo, Gerardo Schneider
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) (2016)
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV (2015)
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
A Specification Language for Static and Runtime Verification of Data and Control Properties. FM (2015)
Hamid Ebadi, David Sands, Gerardo Schneider
Differential Privacy: Now it's Getting Personal. POPL (2015)
Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Conditional Permissions in Contracts. JURIX (2015)
Gilles Barthe, Alberto Pardo, Gerardo Schneider
SEFM: software engineering and formal methods. Softw. Syst. Model. 14 (1) (2015)
Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
Specification and Verification of NormativeTexts Using C-O Diagrams. IEEE Trans. Software Eng. 40 (8) (2014)
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
A CNL for Contract-Oriented Diagrams. CoRR (2014)
Raúl Pardo, Gerardo Schneider
A Formal Privacy Policy Framework for Social Networks. SEFM (2014)
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
A CNL for Contract-Oriented Diagrams. CNL (2014)
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. 78 (12) (2013)
Robert Nagy, Gerardo Schneider, Aram Timofeitchik
Automatic Testing of Real-Time Graphics Systems. TACAS (2013)
Pavel Rabetski, Gerardo Schneider
Migration of an On-Premise Application to the Cloud: Experience Report. ESOCC (2013)
Krasimir Angelov, John J. Camilleri, Gerardo Schneider
A framework for conflict analysis of normative texts written in controlled natural language. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 81 (2) (2012)
Cristian Prisacariu, Gerardo Schneider
A dynamic deontic logic for complex contracts. J. Log. Algebraic Methods Program. 81 (4) (2012)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) (2012)
Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider
Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211 (2012)
Gordon J. Pace, Gerardo Schneider
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80 (1) (2011)
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
Timed Automata Semantics for Visual e-Contracts FLACOS (2011)

Gerardo Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gerardo Schneider