Sven Schneider

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 24

Top Topics

Supervisory Control

Graph Transformation

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR (2024)
He Xu, Sven Schneider, Holger Giese
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. FASE (2024)
Sven Schneider, Maria Maximova, Holger Giese
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137 (2024)
Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese
Deriving Delay-Robust Timed Graph Transformation System Models. ICGT (2024)
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR (2024)
Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. Ecol. Informatics 75 (2023)
Sven Schneider, Leen Lambers
Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. 133 (2023)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Aspects Comput. 35 (3) (2023)
Sven Schneider, Maria Maximova, Holger Giese
Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. ICGT (2022)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. ICGT (2022)
Sven Schneider, Leen Lambers
Evaluation Diversity for Graph Conditions. ICGT (2021)
Sven Schneider, Leen Lambers, Fernando Orejas
A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Sven Schneider, Maria Maximova, Holger Giese
Probabilistic Metric Temporal Graph Logic. CoRR (2021)
Maria Maximova, Sven Schneider, Holger Giese
Compositional Analysis of Probabilistic Timed Graph Transformation Systems. FASE (2021)
Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese
Formal testing of timed graph transformation systems using metric temporal graph logic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Maria Maximova, Sven Schneider, Holger Giese
Interval Probabilistic Timed Graph Transformation Systems. ICGT (2021)
Sven Schneider, Johannes Dyck, Holger Giese
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. ICGT (2020)
Leen Lambers, Sven Schneider, Marcel Weisgut
Model-Based Testing of Read Only Graph Queries. ICST Workshops (2020)
Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. ICGT (2020)
Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
Metric Temporal Graph Logic over Typed Attributed Graphs. FASE (2019)
Sven Schneider, Leen Lambers, Fernando Orejas
A Logic-Based Incremental Approach to Graph Repair. FASE (2019)
Sven Schneider, Leen Lambers, Fernando Orejas
Automated reasoning for attributed graph properties. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Sven Schneider, Leen Lambers, Fernando Orejas
Symbolic Model Generation for Graph Properties. FASE (2017)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discret. Event Dyn. Syst. 26 (1) (2016)
Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES (2014)
Sven Schneider, Uwe Nestmann
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR (2014)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES (2014)
Sven Schneider, Uwe Nestmann
Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS (2011)
Sven Schneider, Johannes Borgström, Uwe Nestmann
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. SJTU-TUB Joint Workshop (2008)