TU BRAUNSCHWEIG

>>> Neue Website <<<

Stephan Mennicke

Master of Science (M.Sc.)
Wissenschaftlicher Mitarbeiter

TU Braunschweig
Institut für Programmierung und Reaktive Systeme
Mühlenpfordtstr. 23 (Raum 233)
38106 Braunschweig

Postfach 3329
38029 Braunschweig

Telefon: +49 531/391-2271
+49 531/391-7466 (Sekretariat)
Fax: +49 531/391-8111
E-Mail:

 

 

 

  

Forschung

Aktuelles

  • Ich stelle auf der ER 2017 in Valencia, Spanien unsere Arbeit "Querying Graph Databases: What Do Graph Patterns Mean?" vor
  • Ich stelle auf der LWDA 2017 in Rostock unsere Arbeit "Reconstructing Graph Pattern Matchings Using SPARQL" vor
  • Ich besuche die CONCUR 2017 in Berlin
  • Wir stellen auf ICE 2017 unsere Arbeit "Keep it Fair: Equivalences" vor
  • Ich bin Mitglied des Programmkommitees des Workshops EXPRESS/SOS 2017

Projekte

  • Synchrone und Asynchrone Interaktion in verteilten Systemen (DFG-Projekt)

Interessen

  • Netztheorie, Theorie verteilter und nebenläufiger Systeme
  • Formale Methoden, Formale Semantik und Äquivalenzen
  • Anwendungen formaler Methoden und Modellierung verteilter Systeme

Aktivitäten

  • Co-Organisation des Workshops "25 Years Combining Compositionality and Concurrency" in Königswinter vom 6. bis 9. August 2013 (Workshop Homepage)
  • (Co-)Organisation der D-CON 2014, D-CON 2018 (Homepage auf den Seiten der TU Darmstadt)
  • (Sub-)Reviewer für diverse Konferenzen, Workshops und Journals

Veröffentlichungen

DBLP, GoogleScholar

2017
[PM17] Keep it Fair: Equivalences (Tobias Prehn, Stephan Mennicke), In ICE 2017, 2017. (to appear)
[MNK+17] Reconstructing Graph Pattern Matches Using SPARQL (Stephan Mennicke, Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke), In LWDA 2017, 2017. (to appear)
[MKT17] Querying Graph Databases : What Do Graph Patterns Mean? (Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke), In ER 2017, 2017. (to appear)
[LML17] Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (Lars Luthmann, Stephan Mennicke, Malte Lochau), Chapter in (Olga Kouchnarenko, Ramtin Khosravi, eds.), Springer International Publishing, 2017. [pdf] [doi]
[KTM+17] Is There a Mismatch Between Real-World Feature Models and Product-Line Research? (Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer), In FSE 2017, 2017. (to appear) [pdf]
2016
[LML16] Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report (Lars Luthmann, Stephan Mennicke, Malte Lochau), Technical report, , volume abs/1606.09035, 2016. [pdf]
[LMB+16] Incremental model checking of delta-oriented software product lines (Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck), In J. Log. Algebr. Meth. Program., volume 85, 2016. [pdf] [doi]
2015
[LML15] Towards an I/O Conformance Testing Theory of Software Product Lines based on Modal Interface Automata (Lars Luthmann, Stephan Mennicke, Malte Lochau), In Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, London, UK, 2015. [pdf] [doi]
2014
[MSUG14] On the Step Branching Time Closure of Free-Choice Petri Nets (Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz), Chapter in Formal Techniques for Distributed Objects, Components, and Systems (Erika Abraham, Catuscia Palamidessi, eds.), Springer Berlin Heidelberg, volume 8461, 2014. [pdf] [doi]
[MLS+14] Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets (Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann), In Proceedings of the 18th International Software Product Line Conference - Volume 1, ACM, 2014. [pdf] [doi]
[LMB+14] DeltaCCS: A Core Calculus for Behavioral Change (Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck), Chapter in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (Tiziana Margaria, Bernhard Steffen, eds.), Springer Berlin Heidelberg, volume 8802, 2014. [pdf] [doi]
2013
[M13] Strong Distributability Criteria for Petri Nets (Stephan Mennicke), 2013. (Master's Thesis)
[LMS+13] Extended Version of Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (Malte Lochau, Stephan Mennicke, Julia Schroeter, Tim Winkelmann), Technical report, TU Braunschweig, 2013. [pdf]
2012
[MP+12] A Compositional Encoding of the Asynchronous pi-calculus into the Join Calculus (Stephan Mennicke, Tobias Prehn, Tsvetelina Yonova-Karbe), In Young Researchers CONCUR 2012 (YR-CONCUR 2012), Newcastle, United Kingdom, 2012. (Informal proceedings, 4-pages abstract.) [pdf]
[M12a] An Operational Petri Net Semantics for the Join-Calculus (Stephan Mennicke), In Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics (Bas Luttik, M. A. Reniers, eds.), volume 89, 2012. [pdf] [doi]
[M12b] A Petri Net Semantics for the Join-Calculus (Stephan Mennicke), Technical report, TU Braunschweig, Institut für Programmierung und Reaktive Systeme, 2012. [pdf]

Lehre

Prozessalgebra

Reaktive Systeme

Logik in der Informatik

Seminare

Studentische Arbeiten

  • Ich biete Themen in den Bereichen von Netztheorie, Anwendungen selbiger und Theorie nebenläufiger/verteilter Systeme an. Es lassen sich in diesen Bereichen jederzeit Themen für Bachelor-, Master- und Projektarbeiten finden.

Betreute studentische Arbeiten

  • Niklas Eggeling: Fairness-Preserving Equivalences for Finite-State Systems, Bachelorarbeit, laufend
  • Niklas Aumann: Charakterisierung von Exemplar Queries durch Graph-basierte Anfragesprachen, Bachelorarbeit, Co-Betreuer: Jan-Christoph Kalo, abgeschlossen im Mai 2017
  • Denis Nagel: Ein SPARQL-Ansatz für Exemplar Queries, Bachelorarbeit, Co-Betreuer: Jan-Christoph Kalo, abgeschlossen im Mai 2017
  • Stephan Sobol: Schedulingverfahren für die Plattform CCSBerry, Bachelorarbeit, abgeschlossen im März 2017
  • Frederik Kanning: Presence Condition Reasoning with Feature Model Interfaces, Masterarbeit, Co-Betreuer: Thomas Thüm, abgeschlossen im Dezember 2016
  • Markus Dietrich: Abenteuer mit endlichen Automaten - Generierung und Verifikation, Bachelorarbeit, abgeschlossen im November 2016
  • Jan Germann: Charakterisierung verteilter Abläufe von Petrinetzen, Bachelorarbeit, abgeschlossen im Februar 2016
  • Lars Luthmann: A Compositional ioco Testing Theory for Modal Interface Automata, Masterarbeit, Co-Betreuer: M. Lochau (TU Darmstadt), abgeschlossen im Dezember 2015
  • Thomas Morbach: Dynamische Netzwerktopologien in Prozessalgebren, Projektarbeit, abgeschlossen im September 2015
  • Philipp Offensand: Synchronisationsmechanismen in Prozessalgebren, Bachelorarbeit, Co-Betreuer: H. Baller, abgeschlossen im April 2015
  • Lars Luthmann: Input/Output Conformance Testing for Modal Interface Automata, Projektarbeit, Co-Betreuer: M. Lochau (TU Darmstadt), abgeschlossen im Februar 2015
  • Mike Becker: Pragmatik von Programmiersprachen: Ein Vergleich von Ceylon und Java, Bachelorarbeit, Co-Betreuer: B. Mensing, W. Struckmann, abgeschlossen im September 2014
  • Lars Ribbeck: Familienbasierte Analyse von Delta-orientierten Software-Produktlinien, Masterarbeit, Co-Betreuer: S. Lity, abgeschlossen im Juli 2014
  • Stefan Tobias: Analyse klinischer Prozesse zur automatischen Erzeugung und qualitativen Bewertung von Workflow-Modellen, Masterarbeit, abgeschlossen im Juli 2014
  • Christopher Lippert: Verschiedene Prozesskalküle und ihre relative Ausdrucksmächtigkeit, Masterarbeit, Co-Betreuer: U. Goltz, abgeschlossen im April 2013
  • Tim Winkelmann: Konfigurationsmanagement mit Feature-Modellen auf Grundlage von Workflow-Petrinetzen, Masterarbeit, Co-Betreuer: M. Lochau (TU Darmstadt), J. Schroeter (TU Dresden), abgeschlossen im Januar 2013

  aktualisiert am 02.02.2018
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang