6 citations · 7 across the 5 of their papers we have counts for
6 papers
Abstract Domains for Database Manipulating Processes
Tobias Schüler, Stephan Mennicke, Malte Lochau
Database manipulating systems (DMS) formalize operations on relational databases like adding new tuples or deleting existing ones. To ensure sufficient expressiveness for capturing…
Efficient Dependency Analysis for Rule-Based Ontologies
Larry González, Alex Ivliev, Markus Krötzsch +1
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical us…
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel +2
Graph database query languages feature expressive, yet computationally expensive pattern matching capabilities. Answering optional query clauses in SPARQL for instance renders the…
Keep it Fair: Equivalences
Tobias Prehn, Stephan Mennicke
For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distribut…
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
Lars Luthmann, Stephan Mennicke, Malte Lochau
We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed…
An Operational Petri Net Semantics for the Join-Calculus
Stephan Mennicke
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between sy…