![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Gerardo Schneider
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j29]Hamed Arshad
, Pablo Picazo-Sanchez
, Christian Johansen
, Gerardo Schneider
:
Attribute-based encryption with enforceable obligations. J. Cryptogr. Eng. 13(3): 343-371 (2023) - [c94]Shaun Azzopardi
, David Lidell
, Nir Piterman
, Gerardo Schneider
:
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. ATVA 2023: 276-287 - [c93]Karam Younes Kharraz, Shaun Azzopardi
, Gerardo Schneider
, Martin Leucker
:
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC 2023: 332-350 - [c92]Mojtaba Eshghie
, Wolfgang Ahrendt
, Cyrille Artho
, Thomas Troels Hildebrandt
, Gerardo Schneider
:
Capturing Smart Contract Design with DCR Graphs. SEFM 2023: 106-125 - [i21]Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
Capturing Smart Contract Design with DCR Graphs. CoRR abs/2305.04581 (2023) - [i20]Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
CLawK: Monitoring Business Processes in Smart Contracts. CoRR abs/2305.08254 (2023) - [i19]Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione:
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR abs/2306.08144 (2023) - [i18]Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano:
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR abs/2307.09776 (2023) - [i17]Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker:
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR abs/2309.14048 (2023) - 2022
- [b2]Markus Roggenbach
, Antonio Cerone, Bernd-Holger Schlingloff
, Gerardo Schneider, Siraj Ahmed Shaikh:
Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series, Springer 2022, ISBN 978-3-030-38799-0, pp. 1-488 - [j28]Pablo Picazo-Sanchez
, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld:
Are chrome extensions compliant with the spirit of least privilege? Int. J. Inf. Sec. 21(6): 1283-1297 (2022) - [j27]Johanna Johansen, Tore Pedersen
, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll:
A multidisciplinary definition of privacy labels. Inf. Comput. Secur. 30(3): 452-469 (2022) - [j26]Hamed Arshad
, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez
, Gerardo Schneider:
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Inf. Sci. 616: 558-576 (2022) - [c91]Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato:
Precise Analysis of Purpose Limitation in Data Flow Diagrams. ARES 2022: 17:1-17:11 - [c90]Shaun Azzopardi
, Nir Piterman
, Gerardo Schneider
:
Runtime Verification Meets Controller Synthesis. ISoLA (1) 2022: 382-396 - [c89]Felipe Gorostiaga
, Sebastián Zudaire, César Sánchez
, Gerardo Schneider
, Sebastián Uchitel
:
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) 2022: 397-414 - [c88]Stefan Chircop, Gordon J. Pace, Gerardo Schneider:
An Automata-Based Formalism for Normative Documents with Real-Time. JURIX 2022: 158-163 - [c87]Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider:
Runtime Verification of Kotlin Coroutines. RV 2022: 221-239 - 2021
- [j25]Sandro Stucki
, César Sánchez
, Gerardo Schneider
, Borzoo Bonakdarpour
:
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - [c86]Shaun Azzopardi
, Nir Piterman
, Gerardo Schneider
:
Incorporating Monitors in Reactive Synthesis Without Paying the Price. ATVA 2021: 337-353 - [c85]Christian Colombo
, Gordon J. Pace, Gerardo Schneider
:
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space 2021: 89-107 - [c84]William Hughes, Alejandro Russo
, Gerardo Schneider:
MultiCall: A Transaction-batching Interpreter for Ethereum. BSCI 2021: 25-35 - [c83]Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA 2021: 6824-6830 - [c82]Karam Younes Kharraz, Martin Leucker
, Gerardo Schneider:
Timed Dyadic Deontic Logic. JURIX 2021: 197-204 - [c81]Hanaa Alshareef, Sandro Stucki, Gerardo Schneider:
Transforming Data Flow Diagrams for Privacy Compliance. MODELSWARD 2021: 207-215 - [c80]Shaun Azzopardi
, Gordon J. Pace
, Fernando Schapachnik, Gerardo Schneider
:
On the Specification and Monitoring of Timed Normative Systems. RV 2021: 81-99 - [c79]Hanaa Alshareef
, Sandro Stucki
, Gerardo Schneider
:
Refining Privacy-Aware Data Flow Diagrams. SEFM 2021: 121-140 - [i16]Shaun Azzopardi, Nir Piterman, Gerardo Schneider:
Incorporating Monitors in Reactive Synthesis without Paying the Price. CoRR abs/2107.00929 (2021) - 2020
- [j24]Pablo Picazo-Sanchez
, Juan Tapiador
, Gerardo Schneider:
After you, please: browser extensions order attacks and countermeasures. Int. J. Inf. Sec. 19(6): 623-638 (2020) - [j23]Hanaa Alshareef, Raúl Pardo, Gerardo Schneider
, Pablo Picazo-Sanchez
:
A collaborative access control framework for online social networks. J. Log. Algebraic Methods Program. 114: 100562 (2020) - [c78]Pablo Picazo-Sanchez
, Gerardo Schneider, Andrei Sabelfeld:
HMAC and "Secure Preferences": Revisiting Chromium-Based Browsers Security. CANS 2020: 107-126 - [c77]Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - [c76]Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider:
CROME: Contract-Based Robotic Mission Specification. MEMOCODE 2020: 1-11 - [c75]Farzane Karami, Olaf Owe
, Gerardo Schneider:
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures. NordSec 2020: 74-91 - [i15]Farzane Karami, Olaf Owe, Gerardo Schneider:
Security Wrappers for Information-Flow Control in Active Object Languages with Futures. CoRR abs/2002.10900 (2020) - [i14]Hanaa Alshareef, Sandro Stucki, Gerardo Schneider:
Transforming Data Flow Diagrams for Privacy Compliance (Long Version). CoRR abs/2011.12028 (2020) - [i13]Johanna Johansen, Tore Pedersen
, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, Josef Noll:
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers. CoRR abs/2012.01813 (2020)
2010 – 2019
- 2019
- [j22]Lara Ortiz-Martin, Pablo Picazo-Sanchez
, Pedro Peris-Lopez
, Juan Tapiador
, Gerardo Schneider:
Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors. Future Gener. Comput. Syst. 96: 283-296 (2019) - [j21]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
:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j20]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:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [c74]Sandro Stucki
, César Sánchez
, Gerardo Schneider
, Borzoo Bonakdarpour
:
Gray-Box Monitoring of Hyperproperties. FM 2019: 406-424 - [c73]Wolfgang Ahrendt, Richard Bubel, Joshua Ellul
, Gordon J. Pace
, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider:
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN 2019: 228-243 - [c72]Piergiuseppe Mallozzi, Ezequiel Castellano
, Patrizio Pelliccione
, Gerardo Schneider, Kenji Tei:
A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. RoSE@ICSE 2019: 5-12 - [i12]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:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i11]Sandro Stucki
, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR abs/1906.08731 (2019) - [i10]Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider:
After You, Please: Browser Extensions Order Attacks and Countermeasures. CoRR abs/1908.02205 (2019) - 2018
- [c71]Wolfgang Ahrendt, Gordon J. Pace
, Gerardo Schneider:
Smart Contracts: A Killer Application for Deductive Source Code Verification. Principled Software Development 2018: 1-18 - [c70]Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider:
Privacy Compliance Via Model Transformations. EuroS&P Workshops 2018: 120-126 - [c69]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. FM 2018: 185-202 - [c68]Srinivas Pinisetty, Gerardo Schneider, David Sands:
Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE 2018: 20-29 - [c67]Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider:
Testing meets static and runtime verification. FormaliSE@ICSE 2018: 30-39 - [c66]Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione
, Gerardo Schneider:
MoVEMo: A Structured Approach for Engineering Reward Functions. IRC 2018: 250-257 - [c65]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c64]Gordon J. Pace
, Pablo Picazo-Sanchez
, Gerardo Schneider:
Migrating Monitors + ABE: A Suitable Combination for Secure IoT? ISoLA (4) 2018: 19-24 - [c63]César Sánchez, Gerardo Schneider, Martin Leucker
:
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) 2018: 275-279 - [c62]Gerardo Schneider:
Is Privacy by Construction Possible? ISoLA (1) 2018: 471-485 - [c61]Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. MEMOCODE 2018: 51-61 - [c60]Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c59]John J. Camilleri
, Mohammad Reza Haghshenas, Gerardo Schneider:
A web-based tool for analysing normative documents in english. SAC 2018: 1865-1872 - [i9]Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider:
Monitoring Data Minimisation. CoRR abs/1801.02484 (2018) - [i8]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:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j19]Wolfgang Ahrendt
, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
:
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Formal Methods Syst. Des. 51(1): 200-265 (2017) - [j18]Raúl Pardo
, Musard Balliu, Gerardo Schneider:
Formalising privacy policies in social networks. J. Log. Algebraic Methods Program. 90: 125-157 (2017) - [j17]John J. Camilleri
, Gerardo Schneider
:
Modelling and analysis of normative documents. J. Log. Algebraic Methods Program. 91: 33-59 (2017) - [c58]Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider:
Specification, design, and verification of an accountability-aware surveillance protocol. SAC 2017: 1372-1378 - [c57]Pablo Picazo-Sanchez
, Raúl Pardo
, Gerardo Schneider
:
Secure Photo Sharing in Social Networks. SEC 2017: 79-92 - [c56]Thibaud Antignac
, David Sands
, Gerardo Schneider
:
Data Minimisation: A Language-Based Approach. SEC 2017: 442-456 - [c55]Bjørnar Luteberget
, John J. Camilleri
, Christian Johansen
, Gerardo Schneider:
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM 2017: 87-103 - [c54]Raúl Pardo, Gerardo Schneider:
Model Checking Social Network Models. GandALF 2017: 238-252 - [i7]John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts. CoRR abs/1706.04997 (2017) - [i6]John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider:
A Web-Based Tool for Analysing Normative Documents in English. CoRR abs/1707.03997 (2017) - [i5]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR abs/1708.04070 (2017) - 2016
- [j16]Shaun Azzopardi
, Gordon J. Pace
, Fernando Schapachnik, Gerardo Schneider
:
Contract automata - An operational view of contracts between interactive parties. Artif. Intell. Law 24(3): 203-243 (2016) - [c53]Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
StaRVOOrS - Episode II - Strengthen and Distribute the Force. ISoLA (1) 2016: 402-415 - [c52]Gordon J. Pace, Raúl Pardo
, Gerardo Schneider:
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. ISoLA (2) 2016: 407-412 - [c51]Gerardo Schneider:
On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. ISoLA (2) 2016: 413-419 - [c50]Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider:
A Privacy-Aware Conceptual Model for Handling Personal Data. ISoLA (1) 2016: 942-957 - [c49]John J. Camilleri
, Normunds Gruzitis
, Gerardo Schneider:
Extracting Formal Models from Normative Texts. NLDB 2016: 403-408 - [c48]Raúl Pardo
, Christian Colombo
, Gordon J. Pace, Gerardo Schneider:
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV 2016: 285-301 - [c47]Raúl Pardo
, Ivana Kellyerova, César Sánchez
, Gerardo Schneider:
Specification of Evolving Privacy Policies for Online Social Networks. TIME 2016: 70-79 - [i4]John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts. CoRR abs/1607.01485 (2016) - [i3]Thibaud Antignac, David Sands, Gerardo Schneider:
Data Minimisation: a Language-Based Approach (Long Version). CoRR abs/1611.05642 (2016) - 2015
- [j15]Gilles Barthe
, Alberto Pardo, Gerardo Schneider:
SEFM: software engineering and formal methods. Softw. Syst. Model. 14(1): 3-4 (2015) - [c46]Wolfgang Ahrendt
, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider:
A Specification Language for Static and Runtime Verification of Data and Control Properties. FM 2015: 108-125 - [c45]Gordon J. Pace
, Fernando Schapachnik, Gerardo Schneider:
Conditional Permissions in Contracts. JURIX 2015: 61-70 - [c44]Hamid Ebadi, David Sands, Gerardo Schneider:
Differential Privacy: Now it's Getting Personal. POPL 2015: 69-81 - [c43]Jesús Mauricio Chimento, Wolfgang Ahrendt
, Gordon J. Pace, Gerardo Schneider:
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. RV 2015: 297-305 - 2014
- [j14]Gregorio Díaz
, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider:
Specification and Verification of NormativeTexts Using C-O Diagrams. IEEE Trans. Software Eng. 40(8): 795-817 (2014) - [c42]John J. Camilleri
, Gabriele Paganelli, Gerardo Schneider:
A CNL for Contract-Oriented Diagrams. CNL 2014: 135-146 - [c41]Raúl Pardo
, Gerardo Schneider:
A Formal Privacy Policy Framework for Social Networks. SEFM 2014: 378-392 - [i2]John J. Camilleri, Gabriele Paganelli, Gerardo Schneider:
A CNL for Contract-Oriented Diagrams. CoRR abs/1406.5691 (2014) - 2013
- [j13]Krasimir Angelov, John J. Camilleri
, Gerardo Schneider:
A framework for conflict analysis of normative texts written in controlled natural language. J. Log. Algebraic Methods Program. 82(5-7): 216-240 (2013) - [j12]Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:
Reachability analysis of complex planar hybrid systems. Sci. Comput. Program. 78(12): 2511-2536 (2013) - [c40]Pavel Rabetski, Gerardo Schneider:
Migration of an On-Premise Application to the Cloud: Experience Report. ESOCC 2013: 227-241 - [c39]Robert Nagy, Gerardo Schneider, Aram Timofeitchik:
Automatic Testing of Real-Time Graphics Systems. TACAS 2013: 463-477 - 2012
- [j11]Eugene Asarin
, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider:
Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211: 138-159 (2012) - [j10]Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 81(2): 71 (2012) - [j9]Cristian Prisacariu
, Gerardo Schneider:
A dynamic deontic logic for complex contracts. J. Log. Algebraic Methods Program. 81(4): 458-490 (2012) - [c38]Wolfgang Ahrendt
, Gordon J. Pace, Gerardo Schneider:
A Unified Approach for Static and Runtime Verification: Framework and Applications. ISoLA (1) 2012: 312-326 - 2011
- [j8]Gordon J. Pace
, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80(1): 1-2 (2011) - [j7]Gordon J. Pace
, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 80(3-5): 137-138 (2011) - [c37]Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:
Reachability Analysis of Non-linear Planar Autonomous Systems. FSEN 2011: 206-220 - [c36]Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz
, Gerardo Schneider:
Timed Automata Semantics for Visual e-Contracts. FLACOS 2011: 7-21 - [c35]Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider:
From Contracts in Structured English to CL Specifications. FLACOS 2011: 55-69 - [e1]Gilles Barthe
, Alberto Pardo, Gerardo Schneider:
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science 7041, Springer 2011, ISBN 978-3-642-24689-0 [contents] - 2010
- [c34]Enrique Martínez, Gregorio Díaz
, María-Emilia Cambronero, Gerardo Schneider:
A Model for Visual Specification of E-contracts. IEEE SCC 2010: 1-8 - [c33]Hallstein Asheim Hansen, Gerardo Schneider:
Reachability analysis of GSPDIs: theory, optimization, and implementation. SAC 2010: 2511-2516 - [c32]Enrique Martínez, Gerardo Schneider:
Automated Analysis of Conflicts in Software Product Lines. SPLC Workshops 2010: 75-82
2000 – 2009
- 2009
- [j6]Olaf Owe
, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(5): 289-290 (2009) - [j5]Olaf Owe
, Gerardo Schneider:
Formal languages and analysis of contract-oriented software. J. Log. Algebraic Methods Program. 78(5): 291-292 (2009) - [j4]Einar Broch Johnsen
, Olaf Owe
, Gerardo Schneider:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 78(7) (2009) - [c31]Stephen Fenech, Gordon J. Pace, Gerardo Schneider:
CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96 - [c30]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117 - [c29]Cristian Prisacariu
, Gerardo Schneider:
Abstract specification of legal contracts. ICAIL 2009: 218-219 - [c28]Stephen Fenech, Gordon J. Pace, Gerardo Schneider:
Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214 - [c27]Hallstein Asheim Hansen, Gerardo Schneider:
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. ICTAC 2009: 343-348 - [c26]Gordon J. Pace, Gerardo Schneider:
Challenges in the Specification of Full Contracts. IFM 2009: 292-306 - [c25]Christian Colombo
, Gordon J. Pace
, Gerardo Schneider:
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37 - [c24]Cristian Prisacariu
, Gerardo Schneider:
: An Action-Based Logic for Reasoning about Contracts. WoLLIC 2009: 335-349 - [c23]Stephen Fenech, Gordon J. Pace
, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider:
On the Specification of Full Contracts. FESCA@ETAPS 2009: 39-55 - [c22]Olaf Owe
, Gerardo Schneider:
Wrap Your Objects Safely. FESCA@ETAPS 2009: 127-143 - 2008
- [j3]Eugene Asarin
, Gordon J. Pace
, Gerardo Schneider, Sergio Yovine
:
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390(1): 1-26 (2008) - [c21]Marcel Kyas
, Cristian Prisacariu
, Gerardo Schneider:
Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407 - [c20]Christian Colombo
, Gordon J. Pace, Gerardo Schneider:
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149 - [c19]Gordon J. Pace, Gerardo Schneider:
Relaxing Goodness Is Still Good. ICTAC 2008: 274-289 - [c18]Gerardo Schneider:
Reachability analysis of generalized polygonal hybrid systems. SAC 2008: 327-332 - [c17]Gordon J. Pace, Gerardo Schneider:
Computation and Visualisation of Phase Portraits for Model Checking SPDIs. TACAS 2008: 341-345 - [i1]Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider:
Contract-Oriented Software Development for Internet Services. ERCIM News 2008(72) (2008) - 2007
- [j2]Eugene Asarin
, Gerardo Schneider, Sergio Yovine
:
Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007) - [c16]Johs Hansen Hammer, Gerardo Schneider:
On the Definition and Policies of Confidentiality. IAS 2007: 337-342 - [c15]Gordon J. Pace, Cristian Prisacariu
, Gerardo Schneider:
Model Checking Contracts - A Case Study. ATVA 2007: 82-97 - [c14]Cristian Prisacariu
, Gerardo Schneider:
A Formal Language for Electronic Contracts. FMOODS 2007: 174-189 - [c13]Olaf Owe
, Gerardo Schneider, Martin Steffen:
Components, objects, and contracts. SAVCBS 2007: 95-98 - 2006
- [c12]Gordon J. Pace, Gerardo Schneider:
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321 - [c11]Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn:
Language-based support for service oriented architectures: Future directions. ICSOFT (1) 2006: 339-344 - [c10]Gordon J. Pace, Gerardo Schneider:
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. ICTAC 2006: 168-182 - 2005
- [c9]David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider:
Certified Memory Usage Analysis. FM 2005: 91-106 - [c8]Gilles Barthe
, Mariela Pavlova, Gerardo Schneider:
Precise Analysis of Memory Consumption using Program Logics. SEFM 2005: 86-95 - 2004
- [j1]Gerardo Schneider:
Computing Invariance Kernels of Polygonal Hybrid Systems. Nord. J. Comput. 11(2): 194-209 (2004) - [c7]Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia:
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. FoSSaCS 2004: 226-240 - [c6]Gordon J. Pace, Gerardo Schneider:
Model Checking Polygonal Differential Inclusions Using Invariance Kernels. VMCAI 2004: 110-121 - 2002
- [b1]Gerardo Schneider:
Analyse algorithmique de systèmes hybrides polygonaux. Joseph Fourier University, Grenoble, France, 2002 - [c5]Eugene Asarin
, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
:
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358 - [c4]Eugene Asarin
, Gerardo Schneider:
Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208 - [c3]Eugene Asarin
, Gerardo Schneider, Sergio Yovine
:
Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61 - 2001
- [c2]Eugene Asarin
, Gerardo Schneider, Sergio Yovine
:
On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
1990 – 1999
- 1998
- [c1]Gerardo Schneider, Qiwen Xu:
Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint