Sven Schneider

31 papers B 14Journal 11Unranked 5

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