| Is there a mismatch between real-world feature models and product-line research? A Knüppel, T Thüm, S Mennicke, J Meinicke, I Schaefer Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 112 | 2017 |
| Incremental model checking of delta-oriented software product lines M Lochau, S Mennicke, H Baller, L Ribbeck Journal of Logical and Algebraic Methods in Programming 85 (1), 245-267, 2016 | 30 | 2016 |
| DeltaCCS: a core calculus for behavioral change M Lochau, S Mennicke, H Baller, L Ribbeck Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 23 | 2014 |
| Context-compatible information fusion for scientific knowledge graphs H Kroll, JC Kalo, D Nagel, S Mennicke, WT Balke Digital Libraries for Open Knowledge: 24th International Conference on …, 2020 | 22 | 2020 |
| Fast dual simulation processing of graph database queries S Mennicke, JC Kalo, D Nagel, H Kroll, WT Balke 2019 IEEE 35th international conference on data engineering (ICDE), 244-255, 2019 | 11 | 2019 |
| An existential rule framework for computing why-provenance on-demand for datalog A Elhalawati, M Krötzsch, S Mennicke International Joint Conference on Rules and Reasoning, 146-163, 2022 | 10 | 2022 |
| Compositionality, decompositionality and refinement in input/output conformance testing L Luthmann, S Mennicke, M Lochau International Workshop on Formal Aspects of Component Software, 54-72, 2016 | 10 | 2016 |
| Towards an I/O conformance testing theory for software product lines based on modal interface automata L Luthmann, S Mennicke, M Lochau arXiv preprint arXiv:1504.03473, 2015 | 10 | 2015 |
| The Petri Net API A Collection of Petri Net-related Functions. N Lohmann, S Mennicke, C Sura AWPN, 148-153, 2010 | 10 | 2010 |
| Decomposition into open nets S Mennicke, O Oanea, K Wolf Algorithmen und Werkzeuge für Petrinetze (AWPN’09), Karlsruhe, Germany, 29-34, 2009 | 8 | 2009 |
| Modal schema graphs for graph databases S Mennicke Conceptual Modeling: 38th International Conference, ER 2019, Salvador …, 2019 | 7 | 2019 |
| Automated verification of feature model configuration processes based on workflow petri nets S Mennicke, M Lochau, J Schroeter, T Winkelmann Proceedings of the 18th International Software Product Line Conference …, 2014 | 7 | 2014 |
| Answering queries with negation over existential rules S Ellmauthaler, M Krötzsch, S Mennicke Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5626-5633, 2022 | 6 | 2022 |
| Querying graph databases: what do graph patterns mean? S Mennicke, JC Kalo, WT Balke Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain …, 2017 | 6 | 2017 |
| Unifying modal interface theories and compositional input/output conformance testing L Luthmann, S Mennicke, M Lochau Science of Computer Programming 172, 27-47, 2019 | 5 | 2019 |
| Detecting Synonymous Properties by Shared Data-Driven Definitions JC Kalo, S Mennicke, P Ehler, WT Balke The Semantic Web: 17th International Conference, ESWC 2020, Heraklion, Crete …, 2020 | 4 | 2020 |
| Stronger Validity Criteria for Encoding Synchrony R van Glabbeek, U Goltz, C Lippert, S Mennicke The Art of Modelling Computational Systems: A Journey from Logic and …, 2019 | 3 | 2019 |
| Using queries as schema-templates for graph databases S Mennicke, JC Kalo, WT Balke Datenbank-Spektrum 18, 89-98, 2018 | 3 | 2018 |
| Reconstructing Graph Pattern Matches Using SPARQL. S Mennicke, D Nagel, JC Kalo, N Aumann, WT Balke LWDA, 152, 2017 | 3 | 2017 |
| On the step branching time closure of free-choice petri nets S Mennicke, JW Schicke-Uffmann, U Goltz Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014 | 3 | 2014 |
Wolf-Tilo BalkeTechnische Universität Braunschweig, L3S Research Center Hannover, GermanyEmail confirmado em ifis.cs.tu-bs.de
