Mirco Kuhlmann
Mirco Kuhlmann
Verified email at tzi.de
TitleCited byYear
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
1492010
From UML and OCL to Relational Logic and Back
M Kuhlmann, M Gogolla
Model Driven Engineering Languages & Systems (MODELS 2012), 2012
1012012
Extensive validation of OCL models by integrating SAT solving into USE
M Kuhlmann, L Hamann, M Gogolla
TOOLS Europe 2011, 290-306, 2011
862011
Consistency, Independence and Consequences in UML and OCL Models
M Gogolla, M Kuhlmann, L Hamann
Tests and Proofs, 90-104, 2009
832009
From application models to filmstrip models: An approach to automatic validation of model dynamics
M Gogolla, L Hamann, F Hilken, M Kuhlmann, R France
Modellierung 2014, 2014
402014
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
27*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
252008
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
242008
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
212012
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
192014
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases
M Gogolla, L Hamann, M Kuhlmann
Tests and Proofs, 38-54, 2010
182010
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
172011
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
152012
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
142013
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
122011
Employing UML and OCL for Designing and Analyzing Role-Based Access Control
M Kuhlmann, K Sohr, M Gogolla
Mathematical Structures in Computer Science, 2013
112013
Abstract Runtime Monitoring with USE
L Hamann, L Vidacs, M Gogolla, M Kuhlmann
Software Maintenance and Reengineering (CSMR 2012), 549-552, 2012
82012
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
82010
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
72012
Shortcomings of the Embedding of OCL into QVT ImperativeOCL
F BŁttner, M Kuhlmann
Workshops and Symposia at 11th Int. Conf. Model Driven Engineering Languages†…, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20