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

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

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 1 - 10 av 93

2019

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

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

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

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

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 1 - 10 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?