[32] | 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), In Ecological Informatics, volume 75, 2023. |
[31] | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, 2022. |
[30] | Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), In Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings (Nicolas Behr, Daniel Strüber, eds.), Springer, volume 13349, 2022. |
[29] | Probabilistic metric temporal graph logic (Sven Schneider, Maria Maximova, Holger Giese), Technical report 146, Hasso Plattner Institute at the University of Potsdam, 2022. |
[28] | 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\´ely, C\´edric Gaucherel), Technical report 147, Hasso Plattner Institute at the University of Potsdam, 2022. |
[27] | Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction (Sven Schneider, Maria Maximova, Holger Giese), Technical report 143, Hasso Plattner Institute at the University of Potsdam, 2022. |
[26] | Formal testing of timed graph transformation systems using metric temporal graph logic (Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese), In Int. J. Softw. Tools Technol. Transf., volume 23, 2021. |
[25] | A logic-based incremental approach to graph repair featuring delta preservation (Sven Schneider, Leen Lambers, Fernando Orejas), In Int. J. Softw. Tools Technol. Transf., volume 23, 2021. |
[24] | Probabilistic Metric Temporal Graph Logic (Sven Schneider, Maria Maximova, Holger Giese), In CoRR, volume abs/2106.08418, 2021. |
[23] | Interval Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
[22] | Evaluation Diversity for Graph Conditions (Sven Schneider, Leen Lambers), In Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, 2021. |
[21] | Compositional Analysis of Probabilistic Timed Graph Transformation Systems (Maria Maximova, Sven Schneider, Holger Giese), In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings (Esther Guerra, Mariëlle Stoelinga, eds.), Springer, volume 12649, 2021. |
[20] | Interval probabilistic timed graph transformation systems (Maria Maximova, Sven Schneider, Holger Giese), Technical report 134, Hasso Plattner Institute at the University of Potsdam, 2021. |
[19] | Model-Based Testing of Read Only Graph Queries (Leen Lambers, Sven Schneider, Marcel Weisgut), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, IEEE, 2020. |
[18] | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
[17] | Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Sven Schneider, Johannes Dyck, Holger Giese), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, 2020. |
[16] | Compositional analysis of probabilistic timed graph transformation systems (Maria Maximova, Sven Schneider, Holger Giese), Technical report 133, Hasso Plattner Institute at the University of Potsdam, 2020. |
[15] | A Logic-Based Incremental Approach to Graph Repair (Sven Schneider, Leen Lambers, Fernando Orejas), Technical report 126, Hasso Plattner Institute at the University of Potsdam, 2020. |
[14] | Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle (Sven Schneider), PhD thesis, Technical University of Berlin, Germany, 2019. |
[13] | A Logic-Based Incremental Approach to Graph Repair (Sven Schneider, Leen Lambers, Fernando Orejas), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, 2019. |
[12] | Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, 2019. |
[11] | Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version (Maria Maximova Lucas Sakizloglou Sven Schneider Holger Giese), Technical report 127, Hasso Plattner Institute at the University of Potsdam, 2019. |
[10] | Automated reasoning for attributed graph properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Int. J. Softw. Tools Technol. Transf., volume 20, 2018. |
[9] | Metric Temporal Graph Logic over Typed Attributed Graphs (Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider), Technical report 123, Hasso Plattner Institute at the University of Potsdam, 2018. |
[8] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Marieke Huisman, Julia Rubin, eds.), Springer, volume 10202, 2017. |
[7] | Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), Technical report 115, Hasso Plattner Institute at the University of Potsdam, 2017. |
[6] | Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively (Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann), In Discret. Event Dyn. Syst., volume 26, 2016. |
[5] | Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata (Sven Schneider, Uwe Nestmann), In CoRR, volume abs/1403.5081, 2014. |
[4] | Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata (Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch), In 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014 (Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, eds.), International Federation of Automatic Control, 2014. |
[3] | Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively (Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann), In 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014 (Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, eds.), International Federation of Automatic Control, 2014. |
[2] | Rigorous Discretization of Hybrid Systems Using Process Calculi (Sven Schneider, Uwe Nestmann), In Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings (Uli Fahrenberg, Stavros Tripakis, eds.), Springer, volume 6919, 2011. |
[1] | Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms (Sven Schneider, Johannes Borgström, Uwe Nestmann), In Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008 (Bernd Mahr, Huanye Sheng, eds.), Springer, 2008. |