.gif)
] Filters: Author is Stephan Mennicke [Clear All Filters]
"Fast Dual Simulation Processing of Graph Database Queries (Supplement)",
CoRR, Technical Report, vol. 1810.09355: arxiv.org, 10/2018.
Download: 1810.09355.pdf (321.93 KB)
"Incremental model checking of delta-oriented software product lines",
Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016.
Abstract
"Keep it fair: Equivalence and composition",
Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019.
Abstract
"Unifying modal interface theories and compositional input/output conformance testing",
Science of Computer Programming, vol. 172, 2019.
Abstract
"Using Queries as Schema-Templates for Graph Databases",
Datenbank-Spektrum: Springer, 2018.
Abstract
Download: Mennicke2018_Article_UsingQueriesAsSchema-Templates.pdf (650.77 KB)
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
"Context-Compatible Information Fusion for Scientific Knowledge Graphs",
24th International Conference on Theory and Practice of Digital Libraries (TPDL), Lyon, France, Springer, 08/2020.
Abstract
Download: TPDL2020_Kroll_Camera_Ready.pdf (308.77 KB)
"DeltaCCS: A Core Calculus for Behavioral Change",
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014.
Abstract
"Detecting Synonymous Properties by Shared Data-driven Definitions",
Extended Semantic Web Conference (ESWC), Heraklion, Greece, 06/2020.
Abstract
Download: ESWC_20_Camera_Ready.pdf (421.94 KB)
"Fast Dual Simulation Processing of Graph Database Queries",
IEEE 35th International Conference on Data Engineering (ICDE), Macau, China, IEEE, 04/2019.
Abstract
Download: ICDE2019-MKNKB-Camera-Ready.pdf (399.3 KB)
"Is There a Mismatch between Real-World Feature Models and Product-Line Research?",
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, ACM, 09/2017.
Abstract
"Is There a Mismatch between Real-World Feature Models and Product-Line Research?",
Software Engineering und Software Management 2018, Bonn, Gesellschaft für Informatik, 03/2018.
Abstract
Keep it Fair: Equivalences,
, Neuchâtel, Switzerland, EPTCS, 08/2017.
Abstract
Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)
"Modal Schema Graphs for Graph Databases",
Conceptual Modeling, ER 2019, Salvador, Bahia, Brasilia, Springer International Publishing, 10/2019.
Abstract
"Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers",
Lernen, Wissen, Daten, Analysen (LWDA), Bonn, Germany, 09/2020.
Abstract
Download: 2020_LWDA_Dependencies_between_Preferences.pdf (336.67 KB)
"On the Step Branching Time Closure of Free-Choice Petri Nets",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract
"An Operational Petri Net Semantics for the Join-Calculus",
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, Electronic Proceedings in Theoretical Computer Science, 09/2012.
Abstract
"Preference-driven Control over Incompleteness of Knowledge Graph Query Answers",
12th ACM Web Science Conference (WebSci), Southampton, UK, ACM, 07/2020.
Abstract
Download: websci20-cr.pdf (647.57 KB)
"Querying Graph Databases: What Do Graph Patterns Mean?",
The 36th International Conference on Conceptual Modeling (ER), Valencia, Spain, 11/2017.
Abstract
Download: ER_2017_cameraready.pdf (520.53 KB)
"Reconstructing Graph Pattern Matches Using SPARQL",
15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017.
Abstract
Download: LWDA_2017_paper_43_0.pdf (310.62 KB)
"Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata",
International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015.
Abstract
"Stronger Validity Criteria for Encoding Synchrony",
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, Cham, Springer International Publishing, 2019.