Stephan Mennicke


Dr. rer. nat.Stephan Mennicke

Technische Universität Braunschweig
Institut für Informationssysteme
Mühlenpfordtstraße 23, 2.OG 
D-38106 Braunschweig

Room: -



  • I successfully defended my PhD thesis on "Non-Standard Semantics for Graph Query Languages" in March, 2020
  • ER 2019 Modal Schema Graphs for Graph Databases
  • ICDE 2019 Fast Dual Simulation Processing of Graph Database Queries: Preprint available on ArXiv
  • ER 2017 Querying Graph Databases: What Do Graph Patterns Mean?
  • LWDA 2017 Reconstructing Graph Pattern Matches Using SPARQL
  • ICE 2017 Keep it Fair: Equivalences


  • Graph database queries: modeling, graph pattern matching, expressive power, semantics
  • Formal methods, formal semantics, comparative semantics
  • Modeling and verification of distributed and concurrent systems
  • Petri net theory and applications


  • VAMOS 2018 12th International Workshop on Variability Modelling of Software-Intensive Systems (PC)
  • D-CON 2018 Meeting of German scientists working in the area of Concurrency Theory (Co-Organization)
  • EXPRESS/SOS 2017 Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (PC)
  • D-CON 2014 Meeting of Germany scientists working in the area of Concurrency Theory (Co-Organization)
  • WS25CCC 2013 Workshop on Combining Concurrency and Compositionality - 25 Years Later (Co-Organization)


Term Role Lecture
Winter 19/20 Assistent Relational Database Systems 1
Summer 19 Lecturer (by proxy) Relational Database Systems 2
Winter 18/19 Assistent Relational Database Systems 1
Summer 18 Advisor Seminar "Graphdatenbanken 1" (engl. Graph Databases 1)
Winter 17/18 Lecturer (by proxy) Prozessalgebra
Winter 17/18 Advisor Praktikum Reaktive Systeme
Winter 16/17 Lecturer (by proxy) Prozessalgebra
Winter 16/17 Advisor Praktikum Reaktive Systeme
Summer 16 Advisor Praktikum Reaktive Systeme
Summer 16 Advisor Seminar "Modelle und Theorie verteilter Systeme"
Winter 15/16 Lecturer (by proxy) Prozessalgebra
Winter 14/15 Lecturer (by proxy) Prozessalgebra
Summer 14 Assistent Logik in der Informatik
Winter 13/14 Assistent,
Lecturer (by proxy)
Winter 13/14 Advisor Seminar "Petrinetze sind für alle(s) da!"
Summer 13 Assistent Reaktive Systeme
Winter 12/13 Assistent Prozessalgebra
Summer 12 Advisor Praktikum Reaktive Systeme
Winter 11/12 Assistent Prozessalgebra

Supervised Thesis

Type Student Title Co-Supervisor
Bachelor Fabian Kirchner Algorithms and Data Structures for Efficient Answering of Simulation Queries  
Project Waqar Alamgir Dual Simulation Processing for the BitMat Tool Set  
Bachelor Kilian Lampe

Navigational Queries in Graph Databases using Gremlin

Master Sebastian Nikelski Application of Data Modeling Constraints in Graph Databases J.-C. Kalo
Bachelor Carl Schiller A Strong Simulation Semantics for SPARQL  
Project Stephan Mielke Dual Simulation Pruning for openCypher Query Processing  
Bachelor Niklas Eggeling Fairness-preserving Equivalences for Finite State Systems  
Bachelor Niklas Aumann Charakterisierung von Exemplar Queries durch Graph-basierte Anfragesprachen J.-C. Kalo
Bachelor Denis Nagel Ein SPARQL-Ansatz für Exemplar Queries J.-C. Kalo
Bachelor Stephan Sobol Schedulingverfahren für die Plattform CCSBerry  
Master Frederik Kanning Presence Condition Reasoning with Feature Model Interfaces

T. Thüm (ISF)

Bachelor Markus Dietrich Abenteuer mit endlichen Automaten - Generierung und Verifikation  
Bachelor Jan Germann Charakterisierung verteilter Abläufe von Petrinetzen  
Master Lars Luthmann A Compositional ioco Testing Theory for Modal Interface Automata M. Lochau
(TU Darmstadt)
Project Thomas Morbach Dynamische Netzwerktopologien in Prozessalgebren  
Bachelor Philipp Offensand Synchronisationsmechanismen in Prozessalgebren H. Baller (IPS)
Project Lars Luthmann Input/Output Conformance Testing for Modal Interface Automata M. Lochau
(TU Darmstadt)
Bachelor Mike Becker Pragmatik von Programmiersprachen: Ein Vergleich von Ceylon und Java B. Mensing (IPS)
Master Lars Ribbeck Familienbasierte Analyse von Delta-orientierten Software-Produktlinien S. Lity (ISF)
Master Stefan Tobias Analyse klinischer Prozesse zur automatischen Erzeugung und qualitativen Bewertung von Workflow-Modellen  
Master Christopher Lippert Verschiedene Prozesskalküle und ihre relative Ausdrucksmächtigkeit  
Master Tim Winkelmann Konfigurationsmanagement mit Feature-Modellen auf Grundlage von Workflow-Petrinetzen M. Lochau
(TU Darmstadt),
J. Schroeter (TU Dresden)

Short CV

  • 2013-2020: PhD student at TU Braunschweig
  • 2018-2020: Assistent researcher at TU Braunschweig, Institut für Informationssysteme
  • 2011-2018: Assistent researcher at TU Braunschweig, Institut für Programmierung und Reaktive Systeme
  • 2011-2013: Student at TU Braunschweig
  • 2007-2011: Student at Universität Rostock
Kroll, H., J. - C. Kalo, D. Nagel, S. Mennicke, and W. - T. Balke, "Context-Compatible Information Fusion for Scientific Knowledge Graphs", 24th International Conference on Theory and Practice of Digital Libraries (TPDL), Lyon, France, Springer, 08/2020. Abstract  Download: TPDL2020_Kroll_Camera_Ready.pdf (308.77 KB)
Affeldt, T., S. Mennicke, and W. - T. Balke, "Preference-driven Control over Incompleteness of Knowledge Graph Query Answers", 12th ACM Web Science Conference (WebSci), Southampton, UK, ACM, 07/2020. Abstract  Download: websci20-cr.pdf (647.57 KB)
Kalo, J. - C., S. Mennicke, P. Ehler, and W. - T. Balke, "Detecting Synonymous Properties by Shared Data-driven Definitions", Extended Semantic Web Conference (ESWC), Heraklion, Greece, 06/2020. Abstract  Download: ESWC_20_Camera_Ready.pdf (421.94 KB)
Mennicke, S., "Modal Schema Graphs for Graph Databases", Conceptual Modeling, ER 2019, Salvador, Bahia, Brasilia, Springer International Publishing, 10/2019. Abstract
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "Fast Dual Simulation Processing of Graph Database Queries", IEEE 35th International Conference on Data Engineering (ICDE), Macau, China, IEEE, 04/2019. Abstract  Download: ICDE2019-MKNKB-Camera-Ready.pdf (399.3 KB)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
Mennicke, S., J. - C. Kalo, and W. - T. Balke, "Querying Graph Databases: What Do Graph Patterns Mean?", The 36th International Conference on Conceptual Modeling (ER), Valencia, Spain, 11/2017. Abstract  Download: ER_2017_cameraready.pdf (520.53 KB)
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "Is There a Mismatch between Real-World Feature Models and Product-Line Research?", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, ACM, 09/2017. Abstract
Mennicke, S., D. Nagel, J. - C. Kalo, N. Aumann, and W. - T. Balke, "Reconstructing Graph Pattern Matches Using SPARQL", 15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017. Abstract  Download: LWDA_2017_paper_43_0.pdf (310.62 KB)
Luthmann, L., S. Mennicke, and M. Lochau, "Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata", International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015. Abstract
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "DeltaCCS: A Core Calculus for Behavioral Change", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014. Abstract
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "On the Step Branching Time Closure of Free-Choice Petri Nets", Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014. Abstract
Mennicke, S., "An Operational Petri Net Semantics for the Join-Calculus", Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, Electronic Proceedings in Theoretical Computer Science, 09/2012. Abstract