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 41 - 50 av 93

2015

Conditional Permissions in Contracts
Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications, IOS Press, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

SEFM: software engineering and formal methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Journal of Software and Systems Modeling, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

2014

A CNL for Contract-Oriented Diagrams
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
Lecture notes in computer science: Proceedings of the 4th International Workshop on Controlled Natural Language, CNL 2014, Galway, Ireland, August 20-22, 2014, Paper i proceeding 2014
Paper i proceeding

A Formal Privacy Policy Framework for Social Networks
Raul Pardo Jimenez, Gerardo Schneider
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science, Paper i proceeding 2014
Paper i proceeding

Specification and Verification of Normative Texts using C-O Diagrams
Gregorio Díaz, María Emilia Cambronero, Enrique Martínez, Gerardo Schneider
IEEE Transactions on Software Engineering, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

2013

A Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language
Krasimir Angelov, John J. Camilleri, Gerardo Schneider
Journal of Logic and Algebraic Programming, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Migration of an On-Premise Application to the Cloud: Experience Report
Pavel Rabetski, Gerardo Schneider
Lecture Notes in Computer Science (ESOCC 2013) , Paper i proceeding 2013
Paper i proceeding

Automatic Testing of Real-Time Graphics Systems
Robert Nagy, Gerardo Schneider, Hussaian Aram Timofeitchik
TACAS'13 - Lecture Notes in Computer Science (LNCS), Paper i proceeding 2013
Paper i proceeding

Reachability analysis of complex planar hybrid systems
H. A. Hansen, Gerardo Schneider, M. Steffen
Science of Computer Programming, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

2012

A Unified Approach for Static and Runtime Verification: Framework and Applications
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I, Paper i proceeding 2012
Paper i proceeding

Visar 41 - 50 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?