Stephan Mennicke
Stephan Mennicke
Institute for Information Systems, TU Braunschweig
Verified email at ifis.cs.tu-bs.de - Homepage
TitleCited byYear
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
242017
DeltaCCS: a core calculus for behavioral change
M Lochau, S Mennicke, H Baller, L Ribbeck
International Symposium On Leveraging Applications of Formal Methods …, 2014
212014
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
172016
The Petri Net API A collection of Petri net-related functions
N Lohmann, S Mennicke, C Sura
112010
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
82015
DeltaCCS: A Core Calculus for Behavioral Change, Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and …
M Lochau, S Mennicke, H Baller, L Ribbeck
Technologies for Mastering Change, 2014
72014
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
62016
Decomposition into open nets
S Mennicke, O Oanea, K Wolf
CEUR Workshop Proceedings, AWPN 501, 29-34, 2009
62009
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
52014
Querying Graph Databases: What Do Graph Patterns Mean?
S Mennicke, JC Kalo, WT Balke
International Conference on Conceptual Modeling, 134-148, 2017
42017
Reconstructing Graph Pattern Matches Using SPARQL.
S Mennicke, D Nagel, JC Kalo, N Aumann, WT Balke
LWDA, 152, 2017
32017
On the step branching time closure of free-choice petri nets
S Mennicke, JW Schicke-Uffmann, U Goltz
International Conference on Formal Techniques for Distributed Objects …, 2014
32014
Unifying modal interface theories and compositional input/output conformance testing
L Luthmann, S Mennicke, M Lochau
Science of Computer Programming 172, 27-47, 2019
22019
Modal Schema Graphs for Graph Databases
S Mennicke
International Conference on Conceptual Modeling, 498-512, 2019
12019
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
12019
Keep it fair: Equivalence and composition
S Mennicke, T Prehn
Journal of Logical and Algebraic Methods in Programming 104, 1-15, 2019
12019
Fast dual simulation processing of graph database queries (supplement)
S Mennicke, JC Kalo, D Nagel, H Kroll, WT Balke
arXiv preprint arXiv:1810.09355, 2018
12018
Using Queries as Schema-Templates for Graph Databases
S Mennicke, JC Kalo, WT Balke
Datenbank-Spektrum 18 (2), 89-98, 2018
12018
A case study on evaluating encodings between process calculi
C Lippert, S Mennicke, RJ van Glabbeek, U Goltz
Technical report, 2018
12018
Keep it Fair: Equivalences
T Prehn, S Mennicke
arXiv preprint arXiv:1711.11208, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20