Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Gerardo Schneider - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Gerardo Schneider

Professor

Gerardo Schneider
Professor
Akademisk grad: Docent,
gersch@chalmers.se
0 31-772 6073

Rumsnummer: 5482
Postadress: Department of Computer Science and Engineering, 41296 Göteborg
Besöksadress: Rännvägen 6 , 41258 Göteborg


Formella metoder vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
Besöksadress: Rännvägen 6 , 412 58 Göteborg

Senaste publikationer

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo et al.
Lecture Notes in Computer Science: Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243, Springer, Paper i proceeding 2019
Paper i proceeding

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
RoSE 2019, IEEE/ACM 2nd International Workshop on Robotics Software Engineering, p.5-12, IEEE, Paper i proceeding 2019
Paper i proceeding

Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
Future generations computer systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

After you, please: browser extensions order attacks and countermeasures
Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Gray-box monitoring of hyperproperties
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Formal Methods – The Next 30 Years. FM 2019. Lecture Notes in Computer Science, vol 11800, Cham, Springer, Paper i proceeding 2019
Paper i proceeding

A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli et al.
Formal Methods in System Design, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

ECG Dj: Heart Beat Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX, Poster (konferens) 2018
Poster (konferens)

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, Paper i proceeding 2018
Paper i proceeding

Migrating Monitors + ABE: A Suitable Combination for Secure IoT?
Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
ISoLA'18, part IV, vol. 11247 of LNCS, pages 19-24, Paper i proceeding 2018
Paper i proceeding

Timed Epistemic Knowledge Bases for Social Networks
Raul Pardo, César Sánchez, Gerardo Schneider
Formal Methods (FM'18), vol. 10951 of LNCS, pages 185-202., Springer, Paper i proceeding 2018
Paper i proceeding

Visar 31 - 40 av 93

2016

Specification of Evolving Privacy Policies for Online Social Networks
Raul Pardo, Ivana Kellyérova, César Sánchez, Gerardo Schneider
IEEE Computer Society, IEEE, Kapitel i bok 2016
Kapitel i bok

Contract automata: An operational view of contracts between interactive parties
S. Azzopardi, G. J. Pace, F. Schapachnik, Gerardo Schneider
Artificial Intelligence and Law, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks
G. J. Pace, R. Pardo, Gerardo Schneider
Lecture Notes in Computer Science, volume 9953, Springer, Kapitel i bok 2016
Kapitel i bok

StaRVOOrS - Episode II Strengthen and Distribute the Force
W. Ahrendt, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science, volume 9952, Kapitel i bok 2016
Kapitel i bok

A Privacy-Aware Conceptual Model for Handling Personal Data
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
Lecture Notes in Computer Science, volume 9952, Springer, Kapitel i bok 2016
Kapitel i bok

On the Specification and Enforcement of Privacy-Preserving Contractual Agreements
Gerardo Schneider
Lecture Notes in Computer Science, volume 9953, Springer, Kapitel i bok 2016
Kapitel i bok

2015

Differential Privacy: Now it’s Getting Personal
Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM), Paper i proceeding 2015
Paper i proceeding

STARVOORS: A Tool for Combined Static and Runtime Verification of Java
Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer Science - 6th International Conference on Runtime Verification (RV), Paper i proceeding 2015
Paper i proceeding

Specification language for static and runtime verification of data and control properties
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015, Paper i proceeding 2015
Paper i proceeding

Differential Privacy: Now it's Getting Personal
Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Acm Sigplan Notices, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Visar 31 - 40 av 93

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?