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 51 - 60 av 93

2012

A dynamic deontic logic for complex contracts
C. Prisacariu, Gerardo Schneider
Journal of Logic and Algebraic Programming, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Low dimensional hybrid systems - decidable, undecidable, don't know
E. Asarin, V. P. Mysore, A. Pnueli, Gerardo Schneider
Information and Computation, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Guest Editors' Foreword
Antonio Brogi, Gerardo Schneider
Journal of Logic and Algebraic Programming, Artikel i övriga tidskrifter 2012
Artikel i övriga tidskrifter

Reachability analysis of non-linear planar autonomous systems
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Lecture Notes in Computer Science (LNCS), Paper i proceeding 2012
Paper i proceeding

2011

From Contracts in Structured English to CL Specifications
Seyed Montazeri, Nivir Roy, Gerardo Schneider
EPTCS, Paper i proceeding 2011
Paper i proceeding

Timed Automata Semantics for Visual e-Contracts
Enrique Martínez, Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
EPTCS, Paper i proceeding 2011
Paper i proceeding

Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08)
Gordon Pace, Gerardo Schneider
Journal of Logic and Algebraic Programming, Elsevier, Samlingsverk 2011
Samlingsverk

Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09)
Gordon Pace, Gerardo Schneider
The Journal of Logic and Algebraic Programming, Elsevier, Samlingsverk 2011
Samlingsverk

Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Lecture Notes in Computer Science, Springer, Samlingsverk 2011
Samlingsverk

2010

Reachability Analysis of GSPDIs: Theory, Optimization, and Implementation
Hallstein A. Hansen, Gerardo Schneider
25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10), Paper i proceeding 2010
Paper i proceeding

Visar 51 - 60 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?