Gerardo Schneider
About Gerardo Schneider
I am a Professor in Computer Science at the University of Gothenburg. My work is done at the Software Technology Division at the Department of Computer Science and Engineering (a shared department between Chalmers and the University of Gothenburg). Gothenburg, Sweden.
Since January 2013 I am Director of Graduate Studies at the Department of Computer Science and Engineering.
For more details see my personal homepage: http://www.cse.chalmers.se/~gersch
-
Attribute-based encryption with enforceable
obligations
H. Arshad, P. Picazo-Sanchez, C. Johansen, Gerardo Schneider
Journal of Cryptographic Engineering - 2023 -
An Automata-Based Formalism for Normative Documents with
Real-Time
Stefan Chircop, Gordon J. Pace, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications - 2022 -
A multidisciplinary definition of privacy
labels
J. Johansen, T. Pedersen, S. Fischer-Hubner, C. Johansen, Gerardo Schneider, A. Roosendaal, H. Zwingelberg, A. J. Sivesind, J. Noll
Information and Computer Security - 2022 -
Formal Methods for Software Engineering: Languages, Methods, Application
Domains
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
2022 -
Are chrome extensions compliant with the spirit of least
privilege?
Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, Andrei Sabelfeld
International Journal of Information Security - 2022 -
Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic
technologies
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
Information Sciences - 2022 -
Precise Analysis of Purpose Limitation in Data Flow
Diagrams
Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, Riccardo Scandariato
ACM International Conference Proceeding Series - 2022 -
Assumption Monitoring of Temporal Task Planning Using Stream Runtime
Verification
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2022 -
Runtime Verification of Kotlin
Coroutines
Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Lecture Notes in Computer Science book series (LNCS,volume 13498) - 2022 -
Runtime Verification Meets Controller
Synthesis
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Lecture Notes in Computer Science book series (LNCS,volume 13701) - 2022 -
On the Specification and Monitoring of Timed Normative
Systems
Shaun Azzopardi, Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021 -
Incorporating Monitors in Reactive Synthesis without Paying the
Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
19th International Symposium on Automated Technology for Verification and Analysis - 2021 -
Gray-box monitoring of hyperproperties with an application to
privacy
Sandro Stucki, C. Sanchez, Gerardo Schneider, B. Bonakdarpour
Formal Methods in System Design - 2021 -
Transforming Data Flow Diagrams for Privacy
Compliance
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021) - 2021 -
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan
Executions
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Proceedings / IEEE International Conference on Robotics and Automation - 2021 -
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 - 2021 -
Runtime Verification: Passing on the
Baton
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Formal Methods in Outer Space; Lecture Notes in Computer Science, vol. 13065 - 2021 -
Timed Dyadic Deontic
Logic
Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
Legal Knowledge and Information Systems (JURIX ), vol. 346. Series: Frontiers in Artificial Intelligence and Applications - 2021 -
Information-Flow Control by Means of Security Wrappers for Active Object Languages with
Futures
Farzane Karami, Olaf Owe, Gerardo Schneider
NordSec 2020: pp. 74-91; Lecture Notes in Computer Science - 2021 -
CEOs’ understanding of blockchain technology and its adoption in export-oriented companies in West Sweden: a
survey
Viktor Elliot, Jonas Flodén, Conny Overland, Zeeshan Raza, Miroslaw Staron, Johan Woxenius, Abhinayan Basu Bal, Trisha Rajput, Gerardo Schneider, Gunnar Stefansson
Journal of Global Operations and Strategic Sourcing - 2021 -
HMAC and “secure preferences”: Revisiting chromium-based browsers
security
Pablo Picazo-Sanchez, Gerardo Schneider, Andrei Sabelfeld
CANS'20, Lecture Notes in Computer Science, volume 12579 - 2020 -
Reliable Smart
Contracts
Gordon J. Pace, César Sánchez, Gerardo Schneider
2020 -
CROME: Contract-Based Robotic Mission
Specification
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
18th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020 - 2020 -
After you, please: browser extensions order attacks and
countermeasures
Pablo Picazo-Sanchez, J. Tapiador, Gerardo Schneider
International Journal of Information Security - 2020 -
A collaborative access control framework for online social
networks
Hanaa Alshareef, R. Pardo, Gerardo Schneider, Pablo Picazo-Sanchez
Journal of Logical and Algebraic Methods in Programming - 2020 -
Verification of Smart Contract Business Logic: Exploiting a Java Source Code
Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Lecture Notes in Computer Science: Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243 - 2019 -
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 - 2019 -
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 - 2019 -
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 - 2019 -
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, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Formal Methods in System Design - 2019 -
ECG Dj: Heart Beat
Synchronization
Lara Ortiz-Martin, Pedro Peris-Lopez, Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider
USENIX - 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 - 2018 -
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 - 2018 -
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. - 2018 -
Runtime Verification of Hyperproperties for Deterministic
Programs
Srinivas Pinisetty, Gerardo Schneider, David Sands
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM - 2018 -
Privacy Compliance Via Model
Transformations
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P - 2018 -
COST Action IC1402 Runtime Verification Beyond
Monitoring
Christian Colombo, Yliès Falcone, Martin Leucker, Gilles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
18th International Conference on Runtime Verification (RV'18), vol. 11237 of LNCS, pages 18-26 - 2018 -
Security of Pacemakers using Runtime
Verification
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61 - 2018 -
Smart Contracts: A Killer Application for Deductive Source Code
Verification
Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Principled Software Development, pp 1-18 - 2018 -
Testing Meets Static and Runtime
Verification
Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider
6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM - 2018 -
Monitoring Hyperproperties by Combining Static Analysis and Runtime
Verification
Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
ISoLA'18, part II, vol. 11245 of LNCS, pages 8-27. - 2018 -
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future
Directions
César Sánchez, Gerardo Schneider, Martin Leucker
ISoLA (4), vol. 11247 of LNCS 2018: 275-279 - 2018 -
Is privacy by construction
possible?
Gerardo Schneider
ISoLA'18, part I, volume 11244 of LNCS, pages 471-485 - 2018 -
MoVEMo: A Structured Approach for Engineering Reward
Functions
Piergiuseppe Mallozzi, Raul Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider
2nd IEEE International Conference on Robotic Computing (IRC) - 2018 -
Model Checking Social Network
Models
Raul Pardo, Gerardo Schneider
Electronic Proceedings in Theoretical Computer Science - 2017 -
Participatory Verification of Railway Infrastructure by Representing Regulations in
RailCNL
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Lecture Notes in Computer Science - 2017 -
Secure photo sharing in social
networks
Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92 - 2017 -
Data minimisation: A language-based
approach
Thibaud Antignac, David Sands, Gerardo Schneider
IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology. pages 442-456 - 2017 -
Specification, design, and verification of an accountability-aware surveillance
protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
Proceedings of the Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378 - 2017 -
Modelling and analysis of normative
documents
John J. Camilleri, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming - 2017 -
Verifying data- and control-oriented properties combining static and runtime verification: theory and
tools
W. Ahrendt, J. M. Chimento, G. J. Pace, Gerardo Schneider
Formal Methods in System Design - 2017 -
Formalising privacy policies in social
networks
R. Pardo, M. Balliu, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming - 2017 -
An automata-based approach to evolving privacy policies for social
networks
Raul Pardo Jimenez, C. Colombo, G.J. Pace, Gerardo Schneider
Lecture Notes in Computer Science, volume 10012 - 2016 -
Extracting formal models from normative
texts
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider
Lecture Notes in Computer Science, volume 9612 - 2016 -
Specification of Evolving Privacy Policies for Online Social
Networks
Raul Pardo, Ivana Kellyérova, César Sánchez, Gerardo Schneider
IEEE Computer Society - 2016 -
Contract automata: An operational view of contracts between interactive
parties
S. Azzopardi, G. J. Pace, F. Schapachnik, Gerardo Schneider
Artificial Intelligence and Law - 2016 -
On the Runtime Enforcement of Evolving Privacy Policies in Online Social
Networks
G. J. Pace, R. Pardo, Gerardo Schneider
Lecture Notes in Computer Science, volume 9953 - 2016 -
StaRVOOrS - Episode II Strengthen and Distribute the
Force
W. Ahrendt, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science, volume 9952 - 2016 -
A Privacy-Aware Conceptual Model for Handling Personal
Data
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
Lecture Notes in Computer Science, volume 9952 - 2016 -
On the Specification and Enforcement of Privacy-Preserving Contractual
Agreements
Gerardo Schneider
Lecture Notes in Computer Science, volume 9953 - 2016 -
Differential Privacy: Now it’s Getting
Personal
Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2015 -
STARVOORS: A Tool for Combined Static and Runtime Verification of
Java
Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, Gerardo Schneider
Lecture Notes in Computer Science - 6th International Conference on Runtime Verification (RV) - 2015 -
Specification language for static and runtime verification of data and control
properties
Wolfgang Ahrendt, Mauricio Chimento, G. J. Pace, Gerardo Schneider
Lecture Notes in Computer Science. FM 2015: FORMAL METHODS. 20th International Symposium on Formal Methods (FM), Oslo, Norway, June 24-26, 2015 - 2015 -
Differential Privacy: Now it's Getting
Personal
Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Acm Sigplan Notices - 2015 -
Conditional Permissions in
Contracts
Gordon Pace, Fernando Schapachnik, Gerardo Schneider
Frontiers in Artificial Intelligence and Applications, IOS Press - 2015 -
SEFM: software engineering and formal
methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Journal of Software and Systems Modeling - 2015 -
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 - 2014 -
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 - 2014 -
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 - 2014 -
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 - 2013 -
Migration of an On-Premise Application to the Cloud: Experience
Report
Pavel Rabetski, Gerardo Schneider
Lecture Notes in Computer Science (ESOCC 2013) - 2013 -
Automatic Testing of Real-Time Graphics
Systems
Robert Nagy, Gerardo Schneider, Hussaian Aram Timofeitchik
TACAS'13 - Lecture Notes in Computer Science (LNCS) - 2013 -
Reachability analysis of complex planar hybrid
systems
H. A. Hansen, Gerardo Schneider, M. Steffen
Science of Computer Programming - 2013 -
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 - 2012 -
A dynamic deontic logic for complex
contracts
C. Prisacariu, Gerardo Schneider
Journal of Logic and Algebraic Programming - 2012 -
Low dimensional hybrid systems - decidable, undecidable, don't
know
E. Asarin, V. P. Mysore, A. Pnueli, Gerardo Schneider
Information and Computation - 2012 -
Guest Editors'
Foreword
Antonio Brogi, Gerardo Schneider
Journal of Logic and Algebraic Programming - 2012 -
Reachability analysis of non-linear planar autonomous
systems
Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen
Lecture Notes in Computer Science (LNCS) - 2012 -
From Contracts in Structured English to CL
Specifications
Seyed Montazeri, Nivir Roy, Gerardo Schneider
EPTCS - 2011 -
Timed Automata Semantics for Visual
e-Contracts
Enrique Martínez, Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
EPTCS - 2011 -
Formal Languages and Analysis of Contract-Oriented Software
(FLACOS’08)
Gordon Pace, Gerardo Schneider
2011 -
Formal Languages and Analysis of Contract-Oriented Software
(FLACOS'09)
Gordon Pace, Gerardo Schneider
2011 -
Software Engineering and Formal
Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
2011 -
Reachability Analysis of GSPDIs: Theory, Optimization, and
Implementation
Hallstein A. Hansen, Gerardo Schneider
25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10) - 2010 -
A Model for Visual Specification of
e-Contracts
Enrique Martínez, Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
IEEE Computer Society (IEEE SCC'10) - 2010 -
Automated Analysis of Conflicts in Software Product
Lines
Enrique Martínez, Gerardo Schneider
Proceedings of 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10) - 2010 -
On the reachability analysis of planar, non-linear autonomous systems using hybrid
systems
Hallstein A. Hansen, Gerardo Schneider
2009 -
FLACOS'09 Workshop
Proceedings
Gordon J. Pace, Gerardo Schneider
2009 -
Safe runtime verification of real-time
properties
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Challenges in the specification of full
contracts
Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Wrap your objects
safely
Olaf Owe, Gerardo Schneider
Electronic Notes in Theoretical Computer Science - 2009 -
On the specification of full
contracts
Stephen Fenech, Joseph Okika, Gordon J. Pace, Gerardo Schneider
Electronic Notes in Theoretical Computer Science - 2009 -
CL: An Action-based Logic for Reasoning about
Contracts
Cristian Prisacariu, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Abstract specification of legal
contracts
Cristian Prisacariu, Gerardo Schneider
ACM - 2009 -
GSPeeDI -A Tool for Analyzing Generalized Polygonal Hybrid
Systems
Hansen Hallstein, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Automatic Conflict Detection on
Contracts
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Dynamic event-based runtime monitoring of real-time and contextual
properties
Christian Colombo, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Clan: A tool for contract analysis and conflict
discovery
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Lecture Notes in Computer Science - 2009 -
Special Issue: Formal Languages and Analysis of Contract-Oriented Software
(FLACOS'07)
Olaf Owe, Gerardo Schneider
2009 -
Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT
2007)
Einar Johnsen, Olaf Owe, Gerardo Schneider
2009 -
Resource-bounded runtime verification of Java programs with real-time
properties
Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009 -
LARVA -A Tool for Runtime Monitoring of Java
Programs
Christian Colombo, Gordon J. Pace, Gerardo Schneider
IEEE Computer Society - 2009 -
Contract-Oriented Software Development for Internet
Services
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
ERCIM News - Special: The Future WEB - 2008 -
Conflict Analysis of Deontic
Contracts
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
Conference Technical Report - 2008 -
Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and
Tools
Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Theoretical Computer Science - 2008 -
Algorithmic Analysis of Polygonal Hybrid Systems. Part I:
Reachability
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Theoretical Computer Science - 2007 -
Language-based Support for Service Oriented Architectures: Future
Directions
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
INSTICC Press - International Conference on Software and Data Technologies (ICSOFT'06) - 2006 -
Contract-based Internet Service Software Development: A
Proposal
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
2006 -
Precise analysis of memory consumption using program
logics
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - 2005 -
Memory consumption analysis of Java smart
cards
Pablo Giambiagi, Gerardo Schneider
Proceedings of CLEI'05 - 2005 -
Certified memory usage
analysis
David Cachera, Thomas Jensen, David Pichardie, Gerardo Schneider
Lecture Notes in Computer Science - Formal Methods (FM'05) - 2005 -
Computing Invariance Kernels of Polygonal Hybrid
Systems
Gerardo Schneider
Nordic Journal of Computing - 2004 -
A backward/forward strategy for verifying safety properties of infinite-state
systems
Michael Baldamus, Richard Mayr, Gerardo Schneider
2004 -
Towards Computing Phase Portraits of Polygonal Differential
Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Lecture Notes in Computer Science - 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02) - 2002 -
Widening the boundary between decidable and undecidable hybrid
systems
Eugene Asarin, Gerardo Schneider
13th International Conference on Concurrency Theory (CONCUR'02) - 2002 -
SPeeDI: a verification tool for polygonal hybrid
systems
Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine
Computer Aided Verification (CAV'02) - 2002 -
On the decidability of the reachability problem for planar differential
inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
Lecture Notes in Computer Science - 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01) - 2001