Mirco Kuhlmann
Mirco Kuhlmann
Verified email at
Cited by
Cited by
Verifying UML/OCL models using Boolean satisfiability
M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler, V UML
Design, Automation and Test in Europe (DATE 2010), 1341-1344, 2010
From UML and OCL to Relational Logic and Back
M Kuhlmann, M Gogolla
Model Driven Engineering Languages & Systems (MODELS 2012), 2012
Extensive validation of OCL models by integrating SAT solving into USE
M Kuhlmann, L Hamann, M Gogolla
TOOLS Europe 2011, 290-306, 2011
Consistency, Independence and Consequences in UML and OCL Models
M Gogolla, M Kuhlmann, L Hamann
Tests and Proofs, 90-104, 2009
From application models to filmstrip models: An approach to automatic validation of model dynamics
M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France
Gesellschaft für Informatik eV, 2014
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL
F Büttner, M Kuhlmann
Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL …, 2008
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
M Gogolla, M Kuhlmann, F Büttner
Model Driven Engineering Languages and Systems (MoDELS 2008), 446-459, 2008
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
M Kuhlmann, M Gogolla
European Conference on Modelling Foundations and Applications (ECMFA 2012 …, 2012
Modeling and validating Mondex scenarios described in UML and OCL with USE
M Kuhlmann, M Gogolla
Formal Aspects of Computing 20 (1), 79-100, 2008
Model-driven standardization of public authority data interchange
F Büttner, U Bartels, L Hamann, O Hofrichter, M Kuhlmann, M Gogolla, ...
Science of Computer Programming 89, 162-175, 2014
Comprehensive Two-level Analysis of Static and Dynamic RBAC Constraints with UML and OCL
M Kuhlmann, K Sohr, M Gogolla
Secure Software Integration and Reliability Improvement (SSIRI 2011), 108-117, 2011
Employing UML and OCL for Designing and Analyzing Role-Based Access Control
M Kuhlmann, K Sohr, M Gogolla
Mathematical Structures in Computer Science, 2013
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
M Gogolla, L Hamann, M Kuhlmann
Tests and Proofs, 38-54, 2010
Comprehensive Two-Level Analysis of Role-Based Delegation and Revocation Policies with UML and OCL
K Sohr, M Kuhlmann, M Gogolla, H Hu, GJ Ahn
Information and Software Technology, 2012
OCL-based Runtime Monitoring of JVM hosted Applications
L Hamann, M Gogolla, M Kuhlmann
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) 44, 2011
Towards a generic verification methodology for system models
R Wille, M Gogolla, M Soeken, M Kuhlmann, R Drechsler
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
A benchmark for OCL engine accuracy, determinateness, and efficiency
M Kuhlmann, L Hamann, M Gogolla, F Büttner
Software and System Modeling 11 (2), 165-182, 2012
Abstract Runtime Monitoring with USE
L Hamann, L Vidacs, M Gogolla, M Kuhlmann
Software Maintenance and Reengineering (CSMR 2012), 549-552, 2012
On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set
F Büttner, M Gogolla, L Hamann, M Kuhlmann, A Lindow
Workshops and Symposia at 12th Int. Conf. Model Driven Engineering Languages …, 2010
Evaluating and Debugging OCL Expressions in UML Models
J Brüning, M Gogolla, L Hamann, M Kuhlmann
Tests and Proofs (TAP 2012), 156-162, 2012
The system can't perform the operation now. Try again later.
Articles 1–20