Publications in publications/sven_schneider.bib
32 results
2023
[32] Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation (, , , , , , , ), In Ecological Informatics, volume 75, . [bibtex] [pdf] [doi]
2022
[31] Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (, , ), 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, . [bibtex] [pdf] [doi]
[30] Probabilistic Metric Temporal Graph Logic (, , ), 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, . [bibtex] [pdf] [doi]
[29]Probabilistic metric temporal graph logic (, , ), Technical report 146, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
[28]Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation (, , , , , , , ), Technical report 147, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
[27]Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction (, , ), Technical report 143, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2021
[26] Formal testing of timed graph transformation systems using metric temporal graph logic (, , , ), In Int. J. Softw. Tools Technol. Transf., volume 23, . [bibtex] [pdf] [doi]
[25] A logic-based incremental approach to graph repair featuring delta preservation (, , ), In Int. J. Softw. Tools Technol. Transf., volume 23, . [bibtex] [pdf] [doi]
[24] Probabilistic Metric Temporal Graph Logic (, , ), In CoRR, volume abs/2106.08418, . [bibtex] [pdf]
[23] Interval Probabilistic Timed Graph Transformation Systems (, , ), 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, . [bibtex] [pdf] [doi]
[22] Evaluation Diversity for Graph Conditions (, ), 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, . [bibtex] [pdf] [doi]
[21] Compositional Analysis of Probabilistic Timed Graph Transformation Systems (, , ), 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, . [bibtex] [pdf] [doi]
[20]Interval probabilistic timed graph transformation systems (, , ), Technical report 134, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2020
[19] Model-Based Testing of Read Only Graph Queries (, , ), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, IEEE, . [bibtex] [pdf] [doi]
[18] Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (, , , ), 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, . [bibtex] [pdf] [doi]
[17] Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (, , ), 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, . [bibtex] [pdf] [doi]
[16]Compositional analysis of probabilistic timed graph transformation systems (, , ), Technical report 133, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
[15]A Logic-Based Incremental Approach to Graph Repair (, , ), Technical report 126, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2019
[14] Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle (), PhD thesis, Technical University of Berlin, Germany, . [bibtex] [pdf]
[13] A Logic-Based Incremental Approach to Graph Repair (, , ), 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, . [bibtex] [pdf] [doi]
[12] Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), 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, . [bibtex] [pdf] [doi]
[11]Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version (), Technical report 127, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [doi]
2018
[10] Automated reasoning for attributed graph properties (, , ), In Int. J. Softw. Tools Technol. Transf., volume 20, . [bibtex] [pdf] [doi]
[9]Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), Technical report 123, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2017
[8] Symbolic Model Generation for Graph Properties (, , ), 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, . [bibtex] [pdf] [doi]
[7]Symbolic Model Generation for Graph Properties (, , ), Technical report 115, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2016
[6] Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively (, , , ), In Discret. Event Dyn. Syst., volume 26, . [bibtex] [pdf] [doi]
2014
[5] Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata (, ), In CoRR, volume abs/1403.5081, . [bibtex] [pdf]
[4] Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata (, , , ), 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, . [bibtex] [pdf] [doi]
[3] Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively (, , , ), 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, . [bibtex] [pdf] [doi]
2011
[2] Rigorous Discretization of Hybrid Systems Using Process Calculi (, ), 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, . [bibtex] [pdf] [doi]
2008
[1] Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms (, , ), 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, . [bibtex] [pdf] [doi]
Powered by bibtexbrowser