Sven Schneider

According to our database, Sven Schneider authored at least 26 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic.

Sven Schneider, Maria Maximova, Holger Giese

J. Log. Algebraic Methods Program., February, 2024

Deriving Delay-Robust Timed Graph Transformation System Models.

Mustafa Ghani, Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 17th International Conference, 2024

Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems.

He Xu, Sven Schneider, Holger Giese

Proceedings of the Fundamental Approaches to Software Engineering, 2024

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Compositional Analysis of Probabilistic Timed Graph Transformation Systems.

Maria Maximova, Sven Schneider, Holger Giese

Formal Aspects Comput., September, 2023

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.

Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel

Ecol. Informatics, July, 2023

Evaluation diversity for graph conditions.

Sven Schneider, Leen Lambers

J. Log. Algebraic Methods Program., June, 2023

2022

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.

Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 15th International Conference, 2022

Probabilistic Metric Temporal Graph Logic.

Sven Schneider, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 15th International Conference, 2022

2021

Formal testing of timed graph transformation systems using metric temporal graph logic.

Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese

Int. J. Softw. Tools Technol. Transf., 2021

A logic-based incremental approach to graph repair featuring delta preservation.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2021

Interval Probabilistic Timed Graph Transformation Systems.

Maria Maximova, Sven Schneider, Holger Giese

Proceedings of the Graph Transformation - 14th International Conference, 2021

2020

Model-Based Testing of Read Only Graph Queries.

Leen Lambers, Sven Schneider, Marcel Weisgut

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic.

Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese

Proceedings of the Graph Transformation - 13th International Conference, 2020

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.

Sven Schneider, Johannes Dyck, Holger Giese

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle.

Sven Schneider

PhD thesis, 2019

A Logic-Based Incremental Approach to Graph Repair.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Metric Temporal Graph Logic over Typed Attributed Graphs.

Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Automated reasoning for attributed graph properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Int. J. Softw. Tools Technol. Transf., 2018

2017

Symbolic Model Generation for Graph Properties.

Sven Schneider, Leen Lambers, Fernando Orejas

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.

Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann

Discret. Event Dyn. Syst., 2016

2014

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata.

Sven Schneider, Uwe Nestmann

CoRR, 2014

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.

Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.

Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2011

Rigorous Discretization of Hybrid Systems Using Process Calculi.

Sven Schneider, Uwe Nestmann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2008

Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms.

Sven Schneider, Johannes Borgström, Uwe Nestmann

Proceedings of the Autonomous Systems, 2008