Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Page Not Found

Page not found. Your pixels are in another canvas.

Jupyter notebook markdown generator

Posts

portfolio

Portfolio item number 1

Short description of portfolio item number 1

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