Gerardo Schneider

Avdelningschef vid Formella metoder

http://www.cse.chalmers.se/~gersch/

Källa: chalmers.se

Kontaktuppgifter

Publikationer (9)
Projekt (1)

Visar 9 publikationer

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

Artikel i vetenskaplig tidskrift

2019

After you, please: browser extensions order attacks and countermeasures

Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider

International Journal of Information Security

Artikel i vetenskaplig tidskrift

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 i proceeding

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, p. 250-257

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

Paper i 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 i 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 i 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

Artikel i vetenskaplig tidskrift

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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Visar 1 forskningsprojekt

2012–2016

Informationsdriven säker Business Intelligence (DataBIN)

David Sands Programvaruteknik

Devdatt Dubhashi Datavetenskap

Peter Damaschke Datavetenskap

Gerardo Schneider Programvaruteknik

Olof Mogren Datavetenskap

Raul Pardo Jimenez Programvaruteknik

Hamid Ebadi Tavallaei Programvaruteknik

Fredrik Johansson Datavetenskap

Andrei Sabelfeld Programvaruteknik

Stiftelsen för Strategisk forskning (SSF)

Det kan finnas fler projekt där Gerardo Schneider medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.