Stephan Mennicke

General

Stephan Mennicke, M.Sc.


wissenschaftlicher Mitarbeiter

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


Phone: +49 (531) 391 2271
Email: mennicke@ips.cs.tu-bs.de
Room: IZ 233
Consulting Hours:upon consultation

Detail

Research

Recent

  • ER 2017 Querying Graph Databases: What Do Graph Patterns Mean? [1]
  • LWDA 2017 Reconstructing Graph Pattern Matches Using SPARQL [2]
  • 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)

Interests

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

Activities

  • EXPRESS/SOS 2017 Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (PC)
  • D-CON 2018 Meeting of German scientists working in the area of Concurrency Theory (Co-Organization)
  • 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)

Teaching

Term Role Lecture
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)
Prozessalgebra
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 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)
Projekt Thomas Morbach Dynamische Netzwerktopologien in Prozessalgebren  
Bachelor Philipp Offensand Synchronisationsmechanismen in Prozessalgebren H. Baller (IPS)
Projekt 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

References

  1. 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.
  2. 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.
Publications
2017
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)
2016
2015
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
2014
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
2012
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