Gerardo Schneider

Available identifiers

zbMath Open schneider.gerardoMaRDI QIDQ418140

List of research outcomes

Publication	Date of Publication	Type
Refining privacy-aware data flow diagrams	2023-05-26	Paper
Incorporating monitors in reactive synthesis without paying the price	2022-06-22	Paper
Gray-box monitoring of hyperproperties with an application to privacy	2022-06-20	Paper
Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker	2022-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q3384175	2021-12-14	Paper
Timed epistemic knowledge bases for social networks	2021-05-04	Paper
A collaborative access control framework for online social networks	2020-07-14	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools	2017-09-08	Paper
Modelling and analysis of normative documents	2017-08-31	Paper
Formalising privacy policies in social networks	2017-07-04	Paper
Differential Privacy	2016-09-29	Paper
A framework for conflict analysis of normative texts written in controlled natural language	2014-02-25	Paper
Automatic Testing of Real-Time Graphics Systems	2013-08-05	Paper
A dynamic deontic logic for complex contracts	2012-08-14	Paper
Reachability Analysis of Non-linear Planar Autonomous Systems	2012-06-29	Paper
Low dimensional hybrid systems -- decidable, undecidable, don't know	2012-05-24	Paper
Safe Runtime Verification of Real-Time Properties	2009-12-01	Paper
Automatic Conflict Detection on Contracts	2009-08-20	Paper
$\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts	2009-07-02	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Challenges in the Specification of Full Contracts	2009-02-24	Paper
Relaxing Goodness Is Still Good	2009-01-27	Paper
Run-Time Monitoring of Electronic Contracts	2008-11-20	Paper
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems	2008-09-11	Paper
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems	2008-07-08	Paper
Model Checking Contracts – A Case Study	2008-07-03	Paper
Computation and Visualisation of Phase Portraits for Model Checking SPDIs	2008-04-11	Paper
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools	2008-03-05	Paper
A Formal Language for Electronic Contracts	2007-11-28	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Algorithmic analysis of polygonal hybrid systems. I: Reachability	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4658726	2005-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4736573	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4484488	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4806207	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4552459	2002-09-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerardo Schneider