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 | 184 | 2010 |
From UML and OCL to Relational Logic and Back M Kuhlmann, M Gogolla Model Driven Engineering Languages & Systems (MODELS 2012), 2012 | 136 | 2012 |
Extensive validation of OCL models by integrating SAT solving into USE M Kuhlmann, L Hamann, M Gogolla TOOLS Europe 2011, 290-306, 2011 | 128 | 2011 |
Consistency, Independence and Consequences in UML and OCL Models M Gogolla, M Kuhlmann, L Hamann Tests and Proofs, 90-104, 2009 | 92 | 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 | 58 | 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 | 32* | 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 | 29 | 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 | 28 | 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 | 27 | 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 | 26 | 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 | 25 | 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 | 21 | 2013 |
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 | 19 | 2012 |
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases M Gogolla, L Hamann, M Kuhlmann Tests and Proofs, 38-54, 2010 | 19 | 2010 |
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 | 18 | 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 | 16 | 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 | 11 | 2012 |
Abstract Runtime Monitoring with USE L Hamann, L Vidacs, M Gogolla, M Kuhlmann Software Maintenance and Reengineering (CSMR 2012), 549-552, 2012 | 10 | 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 | 10 | 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 | 8 | 2012 |