Gerardo Schneider

Avdelningschef at Chalmers, Computer Science and Engineering (Chalmers), Formal methods


Showing 8 publications


After you, please: browser extensions order attacks and countermeasures

Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
International Journal of Information Security
Journal article

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 proceedings

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Paper in proceedings

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, p. 185-202
Paper in proceedings

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 proceedings

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 proceedings

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

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 proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

Showing 1 research projects


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.