| 2025 | CAV | Full LTL Synthesis over Infinite-State Arenas. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider |
| 2024 | ISoLA | Interest Beyond Violation: On Points-of-Interest in Runtime Verification. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2024 | JURIX | On Conflicts and Satisfiability in Metric Timed Normative Logics. | Karam Younes Kharraz, Gerardo Schneider, Martin Leucker |
| 2024 | VECoS | Verification and Learning for Assured Autonomy. | Ral Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah |
| 2023 | ATVA | ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. | Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
| 2023 | ICTAC | Synchronous Agents, Verification, and Blame - A Deontic View. | Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
| 2023 | SEFM | Capturing Smart Contract Design with DCR Graphs. | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
| 2022 | ISoLA | Runtime Verification Meets Controller Synthesis. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2022 | ISoLA | Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. | Felipe Gorostiaga, Sebastin Zudaire, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2022 | JURIX | An Automata-Based Formalism for Normative Documents with Real-Time. | Stefan Chircop, Gordon J. Pace, Gerardo Schneider |
| 2022 | RV | Runtime Verification of Kotlin Coroutines. | Denis Furian, Shaun Azzopardi, Ylis Falcone, Gerardo Schneider |
| 2021 | ATVA | Incorporating Monitors in Reactive Synthesis Without Paying the Price. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2021 | ICRA | Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. | Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2021 | JURIX | Timed Dyadic Deontic Logic. | Karam Younes Kharraz, Martin Leucker, Gerardo Schneider |
| 2021 | MODELSWARD | Transforming Data Flow Diagrams for Privacy Compliance. | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2021 | RV | On the Specification and Monitoring of Timed Normative Systems. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2021 | SEFM | Refining Privacy-Aware Data Flow Diagrams. | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2020 | CANS | HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security. | Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld |
| 2020 | ISoLA | Reliable Smart Contracts. | Gordon J. Pace, Csar Snchez, Gerardo Schneider |
| 2020 | MEMOCODE | CROME: Contract-Based Robotic Mission Specification. | Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider |
| 2019 | FM | Gray-Box Monitoring of Hyperproperties. | Sandro Stucki, Csar Snchez, Gerardo Schneider, Borzoo Bonakdarpour |
| 2019 | ICSE | A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. | Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei |
| 2018 | FM | Timed Epistemic Knowledge Bases for Social Networks. | Ral Pardo, Csar Snchez, Gerardo Schneider |
| 2018 | ICSE | Testing meets static and runtime verification. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider |
| 2018 | ICSE | Runtime verification of hyperproperties for deterministic programs. | Srinivas Pinisetty, Gerardo Schneider, David Sands |
| 2018 | ISoLA | Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. | Borzoo Bonakdarpour, Csar Snchez, Gerardo Schneider |
| 2018 | ISoLA | Migrating Monitors + ABE: A Suitable Combination for Secure IoT? | Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider |
| 2018 | ISoLA | Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. | Csar Snchez, Gerardo Schneider, Martin Leucker |
| 2018 | ISoLA | Is Privacy by Construction Possible? | Gerardo Schneider |
| 2018 | MEMOCODE | Security of Pacemakers using Runtime Verification. | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
| 2018 | SAC | A web-based tool for analysing normative documents in english. | John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2017 | SAC | Specification, design, and verification of an accountability-aware surveillance protocol. | Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider |
| 2017 | SEC | Data Minimisation: A Language-Based Approach. | Thibaud Antignac, David Sands, Gerardo Schneider |
| 2017 | SEC | Secure Photo Sharing in Social Networks. | Pablo Picazo-Sanchez, Ral Pardo, Gerardo Schneider |
| 2017 | SEFM | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. | Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2016 | ISoLA | StaRVOOrS - Episode II - Strengthen and Distribute the Force. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2016 | ISoLA | A Privacy-Aware Conceptual Model for Handling Personal Data. | Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider |
| 2016 | ISoLA | On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. | Gordon J. Pace, Ral Pardo, Gerardo Schneider |
| 2016 | ISoLA | On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. | Gerardo Schneider |
| 2016 | NLDB | Extracting Formal Models from Normative Texts. | John J. Camilleri, Normunds Gruzitis, Gerardo Schneider |
| 2016 | RV | An Automata-Based Approach to Evolving Privacy Policies for Social Networks. | Ral Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2016 | TIME | Specification of Evolving Privacy Policies for Online Social Networks. | Ral Pardo, Ivana Kellyerova, Csar Snchez, Gerardo Schneider |
| 2015 | FM | A Specification Language for Static and Runtime Verification of Data and Control Properties. | Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider |
| 2015 | JURIX | Conditional Permissions in Contracts. | Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2015 | POPL | Differential Privacy: Now it's Getting Personal. | Hamid Ebadi, David Sands, Gerardo Schneider |
| 2015 | RV | StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2014 | SEFM | A Formal Privacy Policy Framework for Social Networks. | Ral Pardo, Gerardo Schneider |
| 2013 | TACAS | Automatic Testing of Real-Time Graphics Systems. | Robert Nagy, Gerardo Schneider, Aram Timofeitchik |
| 2012 | ISoLA | A Unified Approach for Static and Runtime Verification: Framework and Applications. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2010 | SAC | Reachability analysis of GSPDIs: theory, optimization, and implementation. | Hallstein Asheim Hansen, Gerardo Schneider |
| 2010 | SPLC | Automated Analysis of Conflicts in Software Product Lines. | Enrique Martnez, Gerardo Schneider |
| 2009 | ATVA | CLAN: A Tool for Contract Analysis and Conflict Discovery. | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | ICAIL | Abstract specification of legal contracts. | Cristian Prisacariu, Gerardo Schneider |
| 2009 | ICTAC | Automatic Conflict Detection on Contracts. | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
| 2009 | ICTAC | GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. | Hallstein Asheim Hansen, Gerardo Schneider |
| 2009 | IFM | Challenges in the Specification of Full Contracts. | Gordon J. Pace, Gerardo Schneider |
| 2009 | SEFM | LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2009 | WoLLIC | : An Action-Based Logic for Reasoning about Contracts. | Cristian Prisacariu, Gerardo Schneider |
| 2008 | ATVA | Run-Time Monitoring of Electronic Contracts. | Marcel Kyas, Cristian Prisacariu, Gerardo Schneider |
| 2008 | FMICS | Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2008 | ICTAC | Relaxing Goodness Is Still Good. | Gordon J. Pace, Gerardo Schneider |
| 2008 | SAC | Reachability analysis of generalized polygonal hybrid systems. | Gerardo Schneider |
| 2008 | TACAS | Computation and Visualisation of Phase Portraits for Model Checking SPDIs. | Gordon J. Pace, Gerardo Schneider |
| 2007 | ATVA | Model Checking Contracts - A Case Study. | Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider |
| 2006 | ICSoft | Language-based support for service oriented architectures: Future directions. | Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn |
| 2006 | ICTAC | A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. | Gordon J. Pace, Gerardo Schneider |
| 2005 | FM | Certified Memory Usage Analysis. | David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider |
| 2005 | SEFM | Precise Analysis of Memory Consumption using Program Logics. | Gilles Barthe, Mariela Pavlova, Gerardo Schneider |
| 2004 | FOSSACS | On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
| 2004 | VMCAI | Model Checking Polygonal Differential Inclusions Using Invariance Kernels. | Gordon J. Pace, Gerardo Schneider |
| 2002 | CAV | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2002 | CONCUR | Widening the Boundary between Decidable and Undecidable Hybrid Systems. | Eugene Asarin, Gerardo Schneider |