Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
The Petri Net API A Collection of Petri Net-related Functions
Joint work with Niels Lohmann, Christian Sura
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010, 2010
An Operational Petri Net Semantics for the Join-Calculus
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012, 2012
On the Step Branching Time Closure of Free-Choice Petri Nets
Joint work with Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, 2014
Automated verification of feature model configuration processes based on workflow Petri nets
Joint work with Malte Lochau, Julia Schroeter, Tim Winkelmann
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014, 2014
DeltaCCS: A Core Calculus for Behavioral Change
Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, 2014
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
Joint work with Lars Luthmann, Malte Lochau
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015, 2015
Incremental model checking of delta-oriented software product lines
Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck
J. Log. Algebraic Methods Program., 2016
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Joint work with Lars Luthmann, Malte Lochau
CoRR, 2016
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Joint work with Lars Luthmann, Malte Lochau
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, 2016
Keep it Fair: Equivalences
Joint work with Tobias Prehn
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017, 2017
Is there a mismatch between real-world feature models and product-line research?
Joint work with Alexander Knüppel, Thomas Thüm, Jens Meinicke, Ina Schaefer
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017
Reconstructing Graph Pattern Matches Using SPARQL
Joint work with Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke
Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Rostock, Germany, September 11-13, 2017, 2017
Querying Graph Databases: What Do Graph Patterns Mean?
Joint work with Jan-Christoph Kalo, Wolf-Tilo Balke
Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, 2017
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Joint work with Alexander Knüppel, Thomas Thüm, Jens Meinicke, Ina Schaefer
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, 2018
Using Queries as Schema-Templates for Graph Databases
Joint work with Jan-Christoph Kalo, Wolf-Tilo Balke
Datenbank-Spektrum, 2018
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Joint work with Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
TU Braunschweig, 2018
Keep it fair: Equivalence and composition
Joint work with Tobias Prehn
J. Log. Algebraic Methods Program., 2019
Fast Dual Simulation Processing of Graph Database Queries
Joint work with Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, 2019
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, 2019
Stronger Validity Criteria for Encoding Synchrony
Joint work with Rob van Glabbeek, Ursula Goltz, Christopher Lippert
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, 2019
Unifying modal interface theories and compositional input/output conformance testing
Joint work with Lars Luthmann, Malte Lochau
Sci. Comput. Program., 2019
Non-Standard Semantics for Graph Query Languages
Braunschweig University of Technology, Germany, 2020
Detecting Synonymous Properties by Shared Data-Driven Definitions
Joint work with Jan-Christoph Kalo, Philipp Ehler, Wolf-Tilo Balke
The Semantic Web - 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31-June 4, 2020, Proceedings, 2020
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Joint work with Till Affeldt, Wolf-Tilo Balke
WebSci '20: 12th ACM Conference on Web Science, Southampton, UK, July 6-10, 2020, 2020
Context-Compatible Information Fusion for Scientific Knowledge Graphs
Joint work with Hermann Kroll, Jan-Christoph Kalo, Denis Nagel, Wolf-Tilo Balke
Digital Libraries for Open Knowledge - 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 25-27, 2020, Proceedings, 2020
Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers
Joint work with Till Affeldt, Wolf-Tilo Balke
Proceedings of the Conference Lernen, Wissen, Daten, Analysen, Online, September 9-11, 2020, 2020
talks
Modal Schema Graphs for Graph Databases
Published:
teaching
Prozessalgebra
Graduate Course (M.Sc.), TU Braunschweig, Institut für Programmierung und Reaktive Systeme, most recent year: 2017
Relational Database Systems II
Graduate Course (M.Sc.), TU Braunschweig, Institut für Informationssysteme, most recent year: 2019
Foundations of Complexity Theory
Graduate Course (M.Sc.), TU Dresden, Knowledge-Based Systems Group, most recent year: 2020