Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. - Sven Schneider 001; Johannes Borgström; Uwe Nestmann (SJTU-TUB Joint Workshop, 2008)

Rigorous Discretization of Hybrid Systems Using Process Calculi. - Sven Schneider 001; Uwe Nestmann (FORMATS, 2011)

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (WODES, 2014)

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. - Sven Schneider 001; Anne-Kathrin Schmuck; Uwe Nestmann; Jörg Raisch (WODES, 2014)

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. - Sven Schneider 001; Uwe Nestmann (CoRR, 2014)

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (Discret. Event Dyn. Syst., 2016)

Symbolic Model Generation for Graph Properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2017)

Automated reasoning for attributed graph properties. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2018)

Metric Temporal Graph Logic over Typed Attributed Graphs. - Holger Giese; Maria Maximova; Lucas Sakizloglou; Sven Schneider 001 (FASE, 2019)

A Logic-Based Incremental Approach to Graph Repair. - Sven Schneider 001; Leen Lambers; Fernando Orejas (FASE, 2019)

Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle. - Sven Schneider 001 (2019)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. - Sven Schneider 001; Johannes Dyck; Holger Giese (ICGT, 2020)

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. - Sven Schneider 001; Lucas Sakizloglou; Maria Maximova; Holger Giese (ICGT, 2020)

Model-Based Testing of Read Only Graph Queries. - Leen Lambers; Sven Schneider 001; Marcel Weisgut (ICST Workshops, 2020)

Interval Probabilistic Timed Graph Transformation Systems. - Maria Maximova; Sven Schneider 001; Holger Giese (ICGT, 2021)

A logic-based incremental approach to graph repair featuring delta preservation. - Sven Schneider 001; Leen Lambers; Fernando Orejas (Int. J. Softw. Tools Technol. Transf., 2021)

Formal testing of timed graph transformation systems using metric temporal graph logic. - Sven Schneider 001; Maria Maximova; Lucas Sakizloglou; Holger Giese (Int. J. Softw. Tools Technol. Transf., 2021)

Probabilistic Metric Temporal Graph Logic. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction. - Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2022)

Evaluation diversity for graph conditions. - Sven Schneider 001; Leen Lambers (J. Log. Algebraic Methods Program., 2023)

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation. - Boris Flotterer; Maria Maximova; Sven Schneider 001; Johannes Dyck; Christian Zöllner 002; Holger Giese; Christelle Hély; Cédric Gaucherel (Ecol. Informatics, 2023)

Compositional Analysis of Probabilistic Timed Graph Transformation Systems. - Maria Maximova; Sven Schneider 001; Holger Giese (Formal Aspects Comput., 2023)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. - Lara Stoltenow; Barbara König 001; Sven Schneider 001; Andrea Corradini 001; Leen Lambers; Fernando Orejas (CONCUR, 2024)

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. - He Xu; Sven Schneider 001; Holger Giese (FASE, 2024)

Deriving Delay-Robust Timed Graph Transformation System Models. - Mustafa Ghani; Sven Schneider 001; Maria Maximova; Holger Giese (ICGT, 2024)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. - Sven Schneider 001; Maria Maximova; Holger Giese (J. Log. Algebraic Methods Program., 2024)

Stochastic Timed Graph Transformation Systems. - Sven Schneider 001; Maria Maximova; Holger Giese (FASE, 2025)