Gerardo Schneider

Avdelningschef vid Data Science och AI

Källa: chalmers.se
Image of Gerardo Schneider

Visar 37 publikationer

2025

Interest Beyond Violation: On Points-of-Interest in Runtime Verification

C. Colombo, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15221 LNCS, p. 66-78
Paper i proceeding
2025
Open Access icon

Full LTL Synthesis over Infinite-State Arenas

Shaun Azzopardi, Luca Di Stefano, Nir Piterman et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 15934 LNCS, p. 274-297
Paper i proceeding
2024
Open Access icon

On Conflicts and Satisfiability in Metric Timed Normative Logics

Karam Kharraz, Gerardo Schneider, Martin Leucker
Frontiers in Artificial Intelligence and Applications. Vol. 395, p. 308-313
Paper i proceeding
2023

When is good enough good enough? On software assurances

Joshua Ellul, Gordon Pace, Ioannis Revolidis et al
ERA Forum. Vol. 23 (3), p. 337-360
Artikel i vetenskaplig tidskrift
2023

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae

Shaun Azzopardi, David Lidell, Nir Piterman et al
Lecture Notes in Computer Science. Vol. 14216 LNCS, p. 276-287
Paper i proceeding
2023

Synchronous Agents, Verification, and Blame - A Deontic View

Karam Kharraz, Shaun Azzopardi, Gerardo Schneider et al
Paper i proceeding
2022
Open Access icon

An Automata-Based Formalism for Normative Documents with Real-Time

Stefan Chircop, Gordon J. Pace, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications. Vol. 362, p. 158-163
Paper i proceeding
2022

Runtime Verification of Kotlin Coroutines

Denis Furian, Shaun Azzopardi, Yliés Falcone et al
Lecture Notes in Computer Science. Vol. 13498 LNCS, p. 221-239
Paper i proceeding
2022

Runtime Verification Meets Controller Synthesis

Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 13701 LNCS, p. 382-396
Paper i proceeding
2022
Open Access icon

Are chrome extensions compliant with the spirit of least privilege?

Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider et al
International Journal of Information Security. Vol. 21 (6), p. 1283-1297
Artikel i vetenskaplig tidskrift
2022

Assumption Monitoring ofTemporal Task Planning Using Stream Runtime Verification

Felipe Gorostiaga, Sebastián Zudaire, César Sánchez et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13701 LNCS, p. 397-414
Paper i proceeding
2022

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff et al
Bok
2022

A multidisciplinary definition of privacy labels

Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner et al
Information and Computer Security. Vol. 30 (3), p. 452-469
Artikel i vetenskaplig tidskrift
2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez et al
Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2021-May, p. 6824-6830
Paper i proceeding
2021

Transforming data flow diagrams for privacy compliance

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, p. 207-215
Paper i proceeding
2021

Incorporating Monitors in Reactive Synthesis without Paying the Price

Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12971 LNCS, p. 337-353
Paper i proceeding
2021

Runtime Verification: Passing on the Baton

Christian Colombo, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. Vol. 13065 LNCS, p. 89-107
Paper i proceeding
2021
Open Access icon

Gray-box monitoring of hyperproperties with an application to privacy

Sandro Stucki, César Sánchez, Gerardo Schneider et al
Formal Methods in System Design. Vol. In press
Artikel i vetenskaplig tidskrift
2021
Open Access icon

MultiCall: A Transaction-batching Interpreter for Ethereum

William Hughes, Alejandro Russo, Gerardo Schneider
BSCI 2021 - Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, co-located with ASIA CCS 2021, p. 25-35
Paper i proceeding
2021
Open Access icon

Refining Privacy-Aware Data Flow Diagrams

Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13085 LNCS, p. 121-140
Paper i proceeding
Visa projekt
2021

Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

Farzane Karami, Olaf Owe, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12556 LNCS, p. 74-91
Paper i proceeding
2021
Open Access icon

Timed Dyadic Deontic Logic

Karam Kharraz, Martin Leucker, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications. Vol. 346, p. 197-204
Paper i proceeding
2021

On the Specification and Monitoring of Timed Normative Systems

Shaun Azzopardi, Gordon Pace, Fernando Schapachnik et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12974 LNCS, p. 81-99
Paper i proceeding
2020

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione et al
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020
Paper i proceeding
2020

A collaborative access control framework for online social networks

Hanaa Alshareef, Raul Pardo, Gerardo Schneider et al
Journal of Logical and Algebraic Methods in Programming. Vol. 114
Artikel i vetenskaplig tidskrift
2020
Open Access icon

After you, please: browser extensions order attacks and countermeasures

Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
International Journal of Information Security. Vol. 19 (6), p. 623-638
Artikel i vetenskaplig tidskrift
2020

HMAC and “secure preferences”: Revisiting chromium-based browsers security

Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12579 LNCS, p. 107-126
Paper i proceeding
2019

A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments

Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione et al
Proceedings - 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering, RoSE 2019, p. 5-12
Paper i proceeding
2019
Open Access icon

A survey of challenges for runtime verification from advanced application domains (beyond software)

Cesar Sanchez Perez, Gerardo Schneider, Wolfgang Ahrendt et al
Formal Methods in System Design. Vol. 54 (3), p. 279-335
Artikel i vetenskaplig tidskrift
2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al
Proceedings - 2nd IEEE International Conference on Robotic Computing, IRC 2018. Vol. 2018-January, p. 250-257
Paper i proceeding
2018

Timed epistemic knowledge bases for social networks

Raul Pardo Jimenez, César Sánchez, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951 LNCS, p. 185-202
Paper i proceeding
2018

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. Vol. Part F137816, p. 1865-1872
Paper i proceeding
2018

Testing Meets Static and Runtime Verification

Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, p. 30-39
Paper i proceeding
2017

Modelling and analysis of normative documents

John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming. Vol. 91, p. 33-59
Artikel i vetenskaplig tidskrift
2017

Participatory verification of railway infrastructure by representing regulations in RailCNL

Bjørnar Luteberget, John J. Camilleri, Christian Johansen et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 87-103
Paper i proceeding
2014

A CNL for Contract-Oriented Diagrams

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8625 LNAI, p. 135-146
Paper i proceeding
2013

Reachability analysis of complex planar hybrid systems

Hallstein A. Hansen, Gerardo Schneider, M. Steffen
Science of Computer Programming. Vol. 78 (12), p. 2511-2536
Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2012–2016

Informationsdriven säker Business Intelligence (DataBIN)

David Sands Programvaruteknik
Devdatt Dubhashi Datavetenskap
Peter Damaschke Datavetenskap
Gerardo Schneider Programvaruteknik
Olof Mogren Datavetenskap
Raul Pardo Jimenez Programvaruteknik
Hamid Ebadi Tavallaei Programvaruteknik
Fredrik Johansson Datavetenskap
Andrei Sabelfeld Programvaruteknik
Stiftelsen för Strategisk forskning (SSF)

Det kan finnas fler projekt där Gerardo Schneider medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.

Feedback och support

Om du har frågor, behöver hjälp, hittar en bugg eller vill ge feedback kan du göra det här nedan. Du når oss också direkt per e-post research.lib@chalmers.se.

Om tjänsten

Research.chalmers.se innehåller information om forskning på Chalmers, publikationer och projekt inklusive information om finansiärer och samarbetspartners.

Läs mer om tjänsten, täckningsgrad och vilka som kan se informationen

Personuppgifter och cookies

Tillgänglighet

Citation Style Language
citeproc-js (Frank Bennett)

Länkar

Chalmers bibliotek
Chalmers forskning
Chalmers examensarbeten

Chalmers tekniska högskola

412 96 GÖTEBORG
TELEFON: 031-772 10 00
WWW.CHALMERS.SE