Sven Schneider

zbMath Openschneider.svenMaRDI QIDQ262424

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional analysis of probabilistic timed graph transformation systems Formal Aspects of Computing	2024-09-27	Paper
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
Metric temporal graph logic over typed attributed graphs Fundamental Approaches to Software Engineering	2023-11-24	Paper
A logic-based incremental approach to graph repair Fundamental Approaches to Software Engineering	2023-11-24	Paper
Evaluation diversity for graph conditions Journal of Logical and Algebraic Methods in Programming	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 Graph Transformation	2022-09-01	Paper
Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic Graph Transformation	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 Fundamental Approaches to Software Engineering	2020-02-13	Paper
Automated multi-class classification of remotely sensed hyperspectral imagery via Gaussian processes with a non-stationary covariance function Mathematical Geosciences	2018-10-23	Paper
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively Discrete Event Dynamic Systems	2016-03-29	Paper
Rigorous discretization of hybrid systems using process calculi Lecture Notes in Computer Science	2011-10-07	Paper

Research outcomes over time

This page was built for person: Sven Schneider