Gerardo Schneider
Avdelningschef at
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
http://www.cse.chalmers.se/~gersch/
Source: chalmers.se
Showing 5 publications
2018
MoVEMo - A structured approach for engineering reward functions
Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Paper in proceedings
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 in proceedings
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 proceedings
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 proceedings
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 proceedings
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.