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

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2020
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

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

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

Visar 1 - 10 av 94

2020

A collaborative access control framework for online social networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

2019

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

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

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

2018

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

Visar 1 - 10 av 94

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?

Denna text är utskriven från följande webbsida:
http://gu.se/omuniversitetet/personal/?userId=xschge&userName=Gerardo+Schneider
Utskriftsdatum: 2020-08-15