Sven Schneider

Available identifiers

zbMath Open schneider.svenMaRDI QIDQ262424

List of research outcomes

Publication	Date of Publication	Type
Compositional analysis of probabilistic timed graph transformation systems	2024-09-27	Paper
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	2024-02-12	Paper
Metric temporal graph logic over typed attributed graphs	2023-11-24	Paper
A logic-based incremental approach to graph repair	2023-11-24	Paper
Evaluation diversity for graph conditions	2023-06-19	Paper
Probabilistic Metric Temporal Graph Logic	2022-12-07	Paper
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction	2022-12-07	Paper
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions	2022-09-01	Paper
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic	2022-09-01	Paper
Evaluation diversity for graph conditions	2022-03-21	Paper
Interval probabilistic timed graph transformation systems	2022-03-21	Paper
Compositional analysis of probabilistic timed graph transformation systems	2021-08-04	Paper
Symbolic Model Generation for Graph Properties	2020-02-13	Paper
Automated multi-class classification of remotely sensed hyperspectral imagery via Gaussian processes with a non-stationary covariance function	2018-10-23	Paper
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively	2016-03-29	Paper
Rigorous discretization of hybrid systems using process calculi	2011-10-07	Paper

Research outcomes over time

This page was built for person: Sven Schneider