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 81 - 90 av 93

2008

Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools
Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2008
Artikel i vetenskaplig tidskrift

2007

Algorithmic Analysis of Polygonal Hybrid Systems. Part I: Reachability
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2007
Artikel i vetenskaplig tidskrift

2006

Language-based Support for Service Oriented Architectures: Future Directions
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
INSTICC Press - International Conference on Software and Data Technologies (ICSOFT'06), Paper i proceeding 2006
Paper i proceeding

Contract-based Internet Service Software Development: A Proposal
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
PO Box 1080 Blindern, N-0316 Oslo, Norway, Department of Informatics, University of Oslo, Rapport 2006
Rapport

2005

Precise analysis of memory consumption using program logics
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), Paper i proceeding 2005
Paper i proceeding

Memory consumption analysis of Java smart cards
Pablo Giambiagi, Gerardo Schneider
Proceedings of CLEI'05, Paper i proceeding 2005
Paper i proceeding

Certified memory usage analysis
David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider
Lecture Notes in Computer Science - Formal Methods (FM'05), Paper i proceeding 2005
Paper i proceeding

2004

Computing Invariance Kernels of Polygonal Hybrid Systems
Gerardo Schneider
Nordic Journal of Computing, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

A backward/forward strategy for verifying safety properties of infinite-state systems
Michael Baldamus, Richard Mayr, Gerardo Schneider
Uppsala, Sweden, Department of Information Technology, Uppsala University, Rapport 2004
Rapport

2002

Towards Computing Phase Portraits of Polygonal Differential Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Lecture Notes in Computer Science - 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), Paper i proceeding 2002
Paper i proceeding

Visar 81 - 90 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?