EDBT 2026 Demo / reviewers in the wild / expert
Sven Schneider 0001
dblp:36/7785-1
· DBLP profile ↗
7ranked-venue papers in the field
5as first author
5since 2021 · last 2024
0000-0001-9828-618XORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 7 (5 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Deriving Delay-Robust Timed Graph Transformation System Models
Mustafa Ghani, Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 2 |
| 2022 | Probabilistic Metric Temporal Graph Logic
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 1 |
| 2022 | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 1 |
| 2021 | Evaluation Diversity for Graph Conditions
Sven Schneider 0001, Leen Lambers |
ICGT | 1 |
| 2021 | Interval Probabilistic Timed Graph Transformation Systems
Maria Maximova, Sven Schneider 0001, Holger Giese |
ICGT | 2 |
| 2020 | Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
Sven Schneider 0001, Johannes Dyck, Holger Giese |
ICGT | 1 |
| 2020 | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
Sven Schneider 0001, Lucas Sakizloglou, Maria Maximova, Holger Giese |
ICGT | 1 |