Biblio

Export 23 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Stephan Mennicke  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Affeldt, T., S. Mennicke, and W. - T. Balke, "Preference-driven Control over Incompleteness of Knowledge Graph Query Answers", 12th ACM Web Science Conference 2020 (WebSci 2020), Southampton, UK, ACM, 07/2020. Abstract  Download: websci20-cr.pdf (647.57 KB)
G
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "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.
K
Kalo, J. - C., S. Mennicke, P. Ehler, and W. - T. Balke, "Detecting Synonymous Properties by Shared Data-driven Definitions", Extended Semantic Web Conference 2020 (ESWC 2020), Heraklion, Greece, 06/2020. Abstract  Download: ESWC_20_Camera_Ready.pdf (421.94 KB)
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "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
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "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
Kroll, H., J. - C. Kalo, D. Nagel, S. Mennicke, and W. - T. Balke, "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)
L
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "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
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "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
Luthmann, L., S. Mennicke, and M. Lochau, "Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing", Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016. Abstract
Luthmann, L., S. Mennicke, and M. Lochau, "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
M
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "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
Mennicke, S., D. Nagel, J. - C. Kalo, N. Aumann, and W. - T. Balke, "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)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
Mennicke, S., "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
Mennicke, S., "Modal Schema Graphs for Graph Databases", Conceptual Modeling, ER 2019, Salvador, Bahia, Brasilia, Springer International Publishing, 10/2019. Abstract
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "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)
Mennicke, S., J. - C. Kalo, and W. - T. Balke, "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)
P