Stephan Mennicke


Stephan Mennicke, M.Sc.

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

Phone: +49 (531) 391 7443
Room: IZ 233
Consulting Hours:upon consultation




  • ER 2017 Querying Graph Databases: What Do Graph Patterns Mean?
  • LWDA 2017 Reconstructing Graph Pattern Matches Using SPARQL
  • ICE 2017 Keep it Fair: Equivalences
  • FSE 2017 Is There a Mismatch between Real-World Feature Models and Product-Line Research?
  • D-CON 2017 Symbolic Procedure Summaries (talk)


  • Graph database queries: modeling, graph pattern matching, expressive power
  • 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
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 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

  • since 2013: PhD student at TU Braunschweig
  • since 2011: 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
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