.gif)
] Filters: Author is Stephan Mennicke [Clear All Filters]
"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.
"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
"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)