Biblio

Export 20 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: Author is Stephan Mennicke  [Clear All Filters]
2019
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., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
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.
2018
2017
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)
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
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)
2016
2015
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
2014
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
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
2012
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