Παρακολούθηση
Stephan Mennicke
Stephan Mennicke
Knowledge-based Systems Group, TU Dresden
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tu-dresden.de - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1162017
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
332016
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
242020
DeltaCCS: a core calculus for behavioral change
M Lochau, S Mennicke, H Baller, L Ribbeck
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
232014
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
152022
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
112019
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
102016
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
102015
The Petri Net API A Collection of Petri Net-related Functions.
N Lohmann, S Mennicke, C Sura
AWPN, 148-153, 2010
102010
Modal schema graphs for graph databases
S Mennicke
Conceptual Modeling: 38th International Conference, ER 2019, Salvador …, 2019
82019
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
82014
Decomposition into open nets
S Mennicke, O Oanea, K Wolf
Algorithmen und Werkzeuge für Petrinetze (AWPN’09), Karlsruhe, Germany, 29-34, 2009
82009
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
62022
Querying graph databases: what do graph patterns mean?
S Mennicke, JC Kalo, WT Balke
Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain …, 2017
62017
Unifying modal interface theories and compositional input/output conformance testing
L Luthmann, S Mennicke, M Lochau
Science of Computer Programming 172, 27-47, 2019
52019
Notation3 as an existential rule language
D Arndt, S Mennicke
International Joint Conference on Rules and Reasoning, 70-85, 2023
42023
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
42020
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
32019
Using queries as schema-templates for graph databases
S Mennicke, JC Kalo, WT Balke
Datenbank-Spektrum 18, 89-98, 2018
32018
Reconstructing Graph Pattern Matches Using SPARQL.
S Mennicke, D Nagel, JC Kalo, N Aumann, WT Balke
LWDA, 152, 2017
32017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20