Sven Schneider

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

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

[BibT_eX]

[DOI]

He Xu

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Compositional Analysis of Probabilistic Timed Graph Transformation Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., September, 2023

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

[BibT_eX]

[DOI]

Ecol. Informatics, July, 2023

Evaluation diversity for graph conditions.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

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

Probabilistic Metric Temporal Graph Logic.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Interval Probabilistic Timed Graph Transformation Systems.

[BibT_eX]

[DOI]

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

2020

Model-Based Testing of Read Only Graph Queries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Johannes Dyck

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

2019

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

[BibT_eX]

[DOI]

PhD thesis, 2019

A Logic-Based Incremental Approach to Graph Repair.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Metric Temporal Graph Logic over Typed Attributed Graphs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Automated reasoning for attributed graph properties.

[BibT_eX]

[DOI]

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

2017

Symbolic Model Generation for Graph Properties.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

2014

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata.

[BibT_eX]

[DOI]

Uwe Nestmann

CoRR, 2014

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2011

Rigorous Discretization of Hybrid Systems Using Process Calculi.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]