Gerardo Schneider

152 papers A* 4A 2B 27C 18Misc 6Journal 50Unranked 43
YearRankTypeTitle / Venue / Authors
2025 — conf
Full LTL Synthesis over Infinite-State Arenas.
CAV (4)
Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider
2024 A* conf
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts.
ASE
Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt, Gerardo Schneider
2024 — conf
Interest Beyond Violation: On Points-of-Interest in Runtime Verification.
ISoLA (3)
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2024 C conf
On Conflicts and Satisfiability in Metric Timed Normative Logics.
JURIX
Karam Younes Kharraz, Gerardo Schneider, Martin Leucker
2024 — conf
Verification and Learning for Assured Autonomy.
AISoLA
Raúl Pardo, Devdatt P. Dubhashi, Gerardo Schneider, Hazem Torfah
2023 J jnl
Attribute-based encryption with enforceable obligations.
J. Cryptogr. Eng.
Hamed Arshad, Pablo Picazo-Sanchez, Christian Johansen, Gerardo Schneider
2023 J jnl
CLawK: Monitoring Business Processes in Smart Contracts.
CoRR
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 B conf
Capturing Smart Contract Design with DCR Graphs.
SEFM
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 J jnl
Capturing Smart Contract Design with DCR Graphs.
CoRR
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 J jnl
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts.
CoRR
Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
2023 J jnl
LTL Synthesis on Infinite-State Arenas defined by Programs.
CoRR
Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
2023 C conf
Synchronous Agents, Verification, and Blame - A Deontic View.
ICTAC
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
2023 J jnl
Synchronous Agents, Verification, and Blame - A Deontic View.
CoRR
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
2023 B conf
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.
ATVA
Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
2022 J jnl
A multidisciplinary definition of privacy labels.
Inf. Comput. Secur.
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
2022 C conf
An Automata-Based Formalism for Normative Documents with Real-Time.
JURIX
Stefan Chircop, Gordon J. Pace, Gerardo Schneider
2022 J jnl
Are chrome extensions compliant with the spirit of least privilege?
Int. J. Inf. Sec.
Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld
2022 — conf
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.
ISoLA (1)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2022 — book
Formal Methods for Software Engineering - Languages, Methods, Application Domains
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
2022 B conf
Precise Analysis of Purpose Limitation in Data Flow Diagrams.
ARES
Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
2022 — conf
Runtime Verification Meets Controller Synthesis.
ISoLA (1)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2022 B conf
Runtime Verification of Kotlin Coroutines.
RV
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
2022 J jnl
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies.
Inf. Sci.
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
2021 A* conf
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.
ICRA
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
2021 J jnl
Gray-box monitoring of hyperproperties with an application to privacy.
Formal Methods Syst. Des.
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2021 B conf
Incorporating Monitors in Reactive Synthesis Without Paying the Price.
ATVA
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021 J jnl
Incorporating Monitors in Reactive Synthesis without Paying the Price.
CoRR
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
2021 — conf
MultiCall: A Transaction-batching Interpreter for Ethereum.
BSCI
William Hughes, Alejandro Russo, Gerardo Schneider
2021 B conf
On the Specification and Monitoring of Timed Normative Systems.
RV
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2021 B conf
Refining Privacy-Aware Data Flow Diagrams.
SEFM
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2021 — conf
Runtime Verification: Passing on the Baton.
Formal Methods in Outer Space
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2021 C conf
Timed Dyadic Deontic Logic.
JURIX
Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
2021 C conf
Transforming Data Flow Diagrams for Privacy Compliance.
MODELSWARD
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2020 J jnl
A collaborative access control framework for online social networks.
J. Log. Algebraic Methods Program.
Hanaa Alshareef, Raúl Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
2020 J jnl
After you, please: browser extensions order attacks and countermeasures.
Int. J. Inf. Sec.
Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
2020 C conf
CROME: Contract-Based Robotic Mission Specification.
MEMOCODE
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
2020 B conf
HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security.
CANS
Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld
2020 — conf
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures.
NordSec
Farzane Karami, Olaf Owe, Gerardo Schneider
2020 J jnl
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers.
CoRR
Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll
2020 — conf
Reliable Smart Contracts.
ISoLA (3)
Gordon J. Pace, César Sánchez, Gerardo Schneider
2020 J jnl
Security Wrappers for Information-Flow Control in Active Object Languages with Futures.
CoRR
Farzane Karami, Olaf Owe, Gerardo Schneider
2020 J jnl
Transforming Data Flow Diagrams for Privacy Compliance (Long Version).
CoRR
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
2019 — conf
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments.
RoSE@ICSE
Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
After You, Please: Browser Extensions Order Attacks and Countermeasures.
CoRR
Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors.
Future Gener. Comput. Syst.
Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider
2019 B conf
Gray-Box Monitoring of Hyperproperties.
FM
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019 J jnl
Gray-box Monitoring of Hyperproperties (Extended Version).
CoRR
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
2019 — conf
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.
FSEN
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018 Misc conf
A web-based tool for analysing normative documents in english.
SAC
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
2018 B conf
COST Action IC1402 Runtime Verification Beyond Monitoring.
RV
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018 — conf
Is Privacy by Construction Possible?
ISoLA (1)
Gerardo Schneider
2018 — conf
Migrating Monitors + ABE: A Suitable Combination for Secure IoT?
ISoLA (4)
Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider
2018 — conf
MoVEMo: A Structured Approach for Engineering Reward Functions.
IRC
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2018 J jnl
Monitoring Data Minimisation.
CoRR
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
2018 — conf
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.
ISoLA (2)
Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider
2018 — conf
Privacy Compliance Via Model Transformations.
EuroS&P Workshops
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
2018 — conf
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.
ISoLA (4)
César Sánchez, Gerardo Schneider, Martin Leucker
2018 — conf
Runtime verification of hyperproperties for deterministic programs.
FormaliSE@ICSE
Srinivas Pinisetty, Gerardo Schneider, David Sands
2018 C conf
Security of Pacemakers using Runtime Verification.
MEMOCODE
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
2018 — conf
Smart Contracts: A Killer Application for Deductive Source Code Verification.
Principled Software Development
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2018 — conf
Testing meets static and runtime verification.
FormaliSE@ICSE
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
2018 B conf
Timed Epistemic Knowledge Bases for Social Networks.
FM
Raúl Pardo, César Sánchez, Gerardo Schneider
2017 J jnl
A Web-Based Tool for Analysing Normative Documents in English.
CoRR
John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
2017 Misc conf
Data Minimisation: A Language-Based Approach.
SEC
Thibaud Antignac, David Sands, Gerardo Schneider
2017 J jnl
Extracting Formal Models from Normative Texts.
CoRR
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
2017 J jnl
Formalising privacy policies in social networks.
J. Log. Algebraic Methods Program.
Raúl Pardo, Musard Balliu, Gerardo Schneider
2017 — conf
Model Checking Social Network Models.
GandALF
Raúl Pardo, Gerardo Schneider
2017 J jnl
Modelling and analysis of normative documents.
J. Log. Algebraic Methods Program.
John J. Camilleri, Gerardo Schneider
2017 B conf
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
SEFM
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
2017 Misc conf
Secure Photo Sharing in Social Networks.
SEC
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
2017 Misc conf
Specification, design, and verification of an accountability-aware surveillance protocol.
SAC
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
2017 J jnl
Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
CoRR
Raúl Pardo, César Sánchez, Gerardo Schneider
2017 J jnl
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
Formal Methods Syst. Des.
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2016 — conf
A Privacy-Aware Conceptual Model for Handling Personal Data.
ISoLA (1)
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
2016 B conf
An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
RV
Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
2016 J jnl
Contract automata - An operational view of contracts between interactive parties.
Artif. Intell. Law
Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2016 J jnl
Data Minimisation: a Language-Based Approach (Long Version).
CoRR
Thibaud Antignac, David Sands, Gerardo Schneider
2016 C conf
Extracting Formal Models from Normative Texts.
NLDB
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
2016 J jnl
Extracting Formal Models from Normative Texts.
CoRR
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
2016 — conf
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
ISoLA (2)
Gordon J. Pace, Raúl Pardo, Gerardo Schneider
2016 — conf
On the Specification and Enforcement of Privacy-Preserving Contractual Agreements.
ISoLA (2)
Gerardo Schneider
2016 C conf
Specification of Evolving Privacy Policies for Online Social Networks.
TIME
Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider
2016 — conf
StaRVOOrS - Episode II - Strengthen and Distribute the Force.
ISoLA (1)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2015 B conf
A Specification Language for Static and Runtime Verification of Data and Control Properties.
FM
Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2015 C conf
Conditional Permissions in Contracts.
JURIX
Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
2015 A* conf
Differential Privacy: Now it's Getting Personal.
POPL
Hamid Ebadi, David Sands, Gerardo Schneider
2015 J jnl
SEFM: software engineering and formal methods.
Softw. Syst. Model.
Gilles Barthe, Alberto Pardo, Gerardo Schneider
2015 B conf
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java.
RV
Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2014 — conf
A CNL for Contract-Oriented Diagrams.
CNL
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
2014 J jnl
A CNL for Contract-Oriented Diagrams.
CoRR
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
2014 B conf
A Formal Privacy Policy Framework for Social Networks.
SEFM
Raúl Pardo, Gerardo Schneider
2014 J jnl
Specification and Verification of NormativeTexts Using C-O Diagrams.
IEEE Trans. Software Eng.
Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
2013 J jnl
A framework for conflict analysis of normative texts written in controlled natural language.
J. Log. Algebraic Methods Program.
Krasimir Angelov, John J. Camilleri, Gerardo Schneider
2013 A conf
Automatic Testing of Real-Time Graphics Systems.
TACAS
Robert Nagy, Gerardo Schneider, Aram Timofeitchik
2013 — conf
Migration of an On-Premise Application to the Cloud: Experience Report.
ESOCC
Pavel Rabetski, Gerardo Schneider
2013 J jnl
Reachability analysis of complex planar hybrid systems.
Sci. Comput. Program.
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
2012 — conf
A Unified Approach for Static and Runtime Verification: Framework and Applications.
ISoLA (1)
Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider
2012 J jnl
A dynamic deontic logic for complex contracts.
J. Log. Algebraic Methods Program.
Cristian Prisacariu, Gerardo Schneider
2012 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Gerardo Schneider
2012 J jnl
Low dimensional hybrid systems - decidable, undecidable, don't know.
Inf. Comput.
Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider
2011 — conf
From Contracts in Structured English to CL Specifications
FLACOS
Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider
2011 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Gordon J. Pace, Gerardo Schneider
2011 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Gordon J. Pace, Gerardo Schneider
2011 — conf
Reachability Analysis of Non-linear Planar Autonomous Systems.
FSEN
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
2011 B ed.
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
SEFM
Gilles Barthe, Alberto Pardo, Gerardo Schneider
2011 — conf
Timed Automata Semantics for Visual e-Contracts
FLACOS
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
2010 — conf
A Model for Visual Specification of E-contracts.
IEEE SCC
Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
2010 — conf
Automated Analysis of Conflicts in Software Product Lines.
SPLC Workshops
Enrique Martínez, Gerardo Schneider
2010 Misc conf
Reachability analysis of GSPDIs: theory, optimization, and implementation.
SAC
Hallstein Asheim Hansen, Gerardo Schneider
2009 C conf
: An Action-Based Logic for Reasoning about Contracts.
WoLLIC
Cristian Prisacariu, Gerardo Schneider
2009 C conf
Abstract specification of legal contracts.
ICAIL
Cristian Prisacariu, Gerardo Schneider
2009 C conf
Automatic Conflict Detection on Contracts.
ICTAC
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009 B conf
CLAN: A Tool for Contract Analysis and Conflict Discovery.
ATVA
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009 B conf
Challenges in the Specification of Full Contracts.
IFM
Gordon J. Pace, Gerardo Schneider
2009 J jnl
Formal languages and analysis of contract-oriented software.
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 C conf
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.
ICTAC
Hallstein Asheim Hansen, Gerardo Schneider
2009 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
2009 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 B conf
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).
SEFM
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009 — conf
On the Specification of Full Contracts.
FESCA@ETAPS
Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider
2009 — conf
Safe Runtime Verification of Real-Time Properties.
FORMATS
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009 — conf
Wrap Your Objects Safely.
FESCA@ETAPS
Olaf Owe, Gerardo Schneider
2008 J jnl
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools.
Theor. Comput. Sci.
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2008 A conf
Computation and Visualisation of Phase Portraits for Model Checking SPDIs.
TACAS
Gordon J. Pace, Gerardo Schneider
2008 J jnl
Contract-Oriented Software Development for Internet Services.
ERCIM News
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
2008 C conf
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
FMICS
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2008 Misc conf
Reachability analysis of generalized polygonal hybrid systems.
SAC
Gerardo Schneider
2008 C conf
Relaxing Goodness Is Still Good.
ICTAC
Gordon J. Pace, Gerardo Schneider
2008 B conf
Run-Time Monitoring of Electronic Contracts.
ATVA
Marcel Kyas, Cristian Prisacariu, Gerardo Schneider
2007 — conf
A Formal Language for Electronic Contracts.
FMOODS
Cristian Prisacariu, Gerardo Schneider
2007 J jnl
Algorithmic analysis of polygonal hybrid systems, part I: Reachability.
Theor. Comput. Sci.
Eugene Asarin, Gerardo Schneider, Sergio Yovine
2007 — conf
Components, objects, and contracts.
SAVCBS
Olaf Owe, Gerardo Schneider, Martin Steffen
2007 B conf
Model Checking Contracts - A Case Study.
ATVA
Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
2007 C conf
On the Definition and Policies of Confidentiality.
IAS
Johs Hansen Hammer, Gerardo Schneider
2006 C conf
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.
ICTAC
Gordon J. Pace, Gerardo Schneider
2006 — conf
Language-based support for service oriented architectures: Future directions.
ICSOFT (1)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
2006 — conf
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems.
FORMATS
Gordon J. Pace, Gerardo Schneider
2005 B conf
Certified Memory Usage Analysis.
FM
David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider
2005 B conf
Precise Analysis of Memory Consumption using Program Logics.
SEFM
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
2004 J jnl
Computing Invariance Kernels of Polygonal Hybrid Systems.
Nord. J. Comput.
Gerardo Schneider
2004 B conf
Model Checking Polygonal Differential Inclusions Using Invariance Kernels.
VMCAI
Gordon J. Pace, Gerardo Schneider
2004 B conf
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.
FoSSaCS
Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
2002 — —
Analyse algorithmique de systèmes hybrides polygonaux.
Gerardo Schneider
2002 A* conf
SPeeDI - A Verification Tool for Polygonal Hybrid Systems.
CAV
Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
2002 — conf
Towards Computing Phase Portraits of Polygonal Differential Inclusions.
HSCC
Eugene Asarin, Gerardo Schneider, Sergio Yovine
2002 B conf
Widening the Boundary between Decidable and Undecidable Hybrid Systems.
CONCUR
Eugene Asarin, Gerardo Schneider
2001 — conf
On the Decidability of the Reachability Problem for Planar Differential Inclusions.
HSCC
Eugene Asarin, Gerardo Schneider, Sergio Yovine
1998 — conf
Towards a Formal Semantics of Verilog Using Duration Calculus.
FTRTFT
Gerardo Schneider, Qiwen Xu