6 citations · 14 across the 10 of their papers we have counts for
11 papers
Stronger Validity Criteria for Encoding Synchrony
Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1
We analyse two translations from the synchronous into the asynchronous -calculus, both without choice, that are often quoted as standard examples of valid encodings, showing tha…
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes (Preprint)
Piotr Gorczyca, Dörthe Arndt, Martin Diller +7
We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary…
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…
Existential Notation3 Logic
Dörthe Arndt, Stephan Mennicke
In this paper, we delve into Notation3 Logic (N3), an extension of RDF, which empowers users to craft rules introducing fresh blank nodes to RDF graphs. This capability is pivotal…
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…
Answering Queries with Negation over Existential Rules
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Ontology-based query answering with existential rules is well understood and implemented for positive queries, in particular conjunctive queries. The situation changes drastically…
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…
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Lars Luthmann, Stephan Mennicke, Malte Lochau
We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and t…
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…