Gerardo Schneider

Head of Division at Data Science and AI

Source: chalmers.se

Contact Details

Publications (28)
Projects (1)

Showing 28 publications

2025

Interest Beyond Violation: On Points-of-Interest in Runtime Verification

C. Colombo, Gordon Pace, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15221 LNCS, p. 66-78

Paper in proceeding

2023

When is good enough good enough? On software assurances

Joshua Ellul, Gordon Pace, Ioannis Revolidis et al

ERA Forum. Vol. 23 (3), p. 337-360

Journal article

2023

Synchronous Agents, Verification, and Blame - A Deontic View

Karam Kharraz, Shaun Azzopardi, Gerardo Schneider et al

Paper in proceeding

2022

Are chrome extensions compliant with the spirit of least privilege?

Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider et al

International Journal of Information Security. Vol. 21 (6), p. 1283-1297

Journal article

2022

A multidisciplinary definition of privacy labels

Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner et al

Information and Computer Security. Vol. 30 (3), p. 452-469

Journal article

2021

Incorporating Monitors in Reactive Synthesis without Paying the Price

Shaun Azzopardi, Nir Piterman, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12971 LNCS, p. 337-353

Paper in proceeding

2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez et al

Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2021-May, p. 6824-6830

Paper in proceeding

2021

Transforming data flow diagrams for privacy compliance

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider

MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, p. 207-215

Paper in proceeding

2021

Gray-box monitoring of hyperproperties with an application to privacy

Sandro Stucki, César Sánchez, Gerardo Schneider et al

Formal Methods in System Design. Vol. In press

Journal article

2021

MultiCall: A Transaction-batching Interpreter for Ethereum

William Hughes, Alejandro Russo, Gerardo Schneider

BSCI 2021 - Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, co-located with ASIA CCS 2021, p. 25-35

Paper in proceeding

2021

Refining Privacy-Aware Data Flow Diagrams

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13085 LNCS, p. 121-140

Paper in proceeding

Show project

2021

Runtime Verification: Passing on the Baton

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Lecture Notes in Computer Science. Vol. 13065 LNCS, p. 89-107

Paper in proceeding

2021

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

Farzane Karami, Olaf Owe, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12556 LNCS, p. 74-91

Paper in proceeding

2021

Timed Dyadic Deontic Logic

Karam Kharraz, Martin Leucker, Gerardo Schneider

Frontiers in Artificial Intelligence and Applications. Vol. 346, p. 197-204

Paper in proceeding

2021

On the Specification and Monitoring of Timed Normative Systems

Shaun Azzopardi, Gordon Pace, Fernando Schapachnik et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12974 LNCS, p. 81-99

Paper in proceeding

2020

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione et al

2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020

Paper in proceeding

2020

A collaborative access control framework for online social networks

Hanaa Alshareef, Raul Pardo, Gerardo Schneider et al

Journal of Logical and Algebraic Methods in Programming. Vol. 114

Journal article

2020

After you, please: browser extensions order attacks and countermeasures

Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider

International Journal of Information Security. Vol. 19 (6), p. 623-638

Journal article

2020

HMAC and “secure preferences”: Revisiting chromium-based browsers security

Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12579 LNCS, p. 107-126

Paper in proceeding

2019

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments

Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione et al

Proceedings - 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering, RoSE 2019, p. 5-12

Paper in proceeding

2019

A survey of challenges for runtime verification from advanced application domains (beyond software)

Cesar Sanchez Perez, Gerardo Schneider, Wolfgang Ahrendt et al

Formal Methods in System Design. Vol. 54 (3), p. 279-335

Journal article

2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al

Proceedings - 2nd IEEE International Conference on Robotic Computing, IRC 2018. Vol. 2018-January, p. 250-257

Paper in proceeding

2018

Timed epistemic knowledge bases for social networks

Raul Pardo Jimenez, César Sánchez, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951 LNCS, p. 185-202

Paper in proceeding

2018

A web-based tool for analysing normative documents in english

John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider

Proceedings of the ACM Symposium on Applied Computing. Vol. Part F137816, p. 1865-1872

Paper in proceeding

2018

Testing Meets Static and Runtime Verification

Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider

Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, p. 30-39

Paper in proceeding

2017

Modelling and analysis of normative documents

John J. Camilleri, Gerardo Schneider

Journal of Logical and Algebraic Methods in Programming. Vol. 91, p. 33-59

Journal article

2017

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bjørnar Luteberget, John J. Camilleri, Christian Johansen et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 87-103

Paper in proceeding

2013

Reachability analysis of complex planar hybrid systems

Hallstein A. Hansen, Gerardo Schneider, M. Steffen

Science of Computer Programming. Vol. 78 (12), p. 2511-2536

Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)

Devdatt Dubhashi Computing Science (Chalmers)

Peter Damaschke Computing Science (Chalmers)

Gerardo Schneider Software Technology (Chalmers)

Olof Mogren Computing Science (Chalmers)

Raul Pardo Jimenez Software Technology (Chalmers)

Hamid Ebadi Tavallaei Software Technology (Chalmers)

Fredrik Johansson Computing Science (Chalmers)

Andrei Sabelfeld Software Technology (Chalmers)

Swedish Foundation for Strategic Research (SSF)

There might be more projects where Gerardo Schneider participates, but you have to be logged in as a Chalmers employee to see them.