Dr. rer. nat.Stephan Mennicke
Technische Universität Braunschweig
Institut für Informationssysteme
Mühlenpfordtstraße 23, 2.OG
D-38106 Braunschweig
Phone:
Email:
Room:
Research
Interests
Activities
| 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) | 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 |
| 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(TUDarmstadt) |
| 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) |
2020
Affeldt, T., S. Mennicke, and W. - T. Balke, "Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers", Lernen, Wissen, Daten, Analysen (LWDA), Bonn, Germany, 09/2020. Abstract
Download: 2020_LWDA_Dependencies_between_Preferences.pdf (336.67 KB)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)
2019
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., L. Luthmann, and M. Lochau, "Unifying modal interface theories and compositional input/output conformance testing", Science of Computer Programming, vol. 172, 2019. Abstract
2018
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "Fast Dual Simulation Processing of Graph Database Queries (Supplement)", CoRR, Technical Report, vol. 1810.09355: arxiv.org, 10/2018.
Download: 1810.09355.pdf (321.93 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?", Software Engineering und Software Management 2018, Bonn, Gesellschaft für Informatik, 03/2018. Abstract
Mennicke, S., J. - C. Kalo, and W. - T. Balke, "Using Queries as Schema-Templates for Graph Databases", Datenbank-Spektrum: Springer, 2018. Abstract
Download: Mennicke2018_Article_UsingQueriesAsSchema-Templates.pdf (650.77 KB)
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)Prehn, T., and S. Mennicke, Keep it Fair: Equivalences, , Neuchâtel, Switzerland, EPTCS, 08/2017. Abstract
Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)
2016
Luthmann, L., S. Mennicke, and M. Lochau, Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report, , 06/2016. Abstract
Luthmann, L., S. Mennicke, and M. Lochau, "Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing", Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016. Abstract
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "Incremental model checking of delta-oriented software product lines", Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016. Abstract
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
Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann, "Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets", 18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014. 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
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