| 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 | 56 | 2014 |
| Model validation and verification options in a contemporary UML and OCL analysis tool M Gogolla, F Hilken Modellierung 2016, 2016 | 49 | 2016 |
| Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 39 | 2018 |
| Testing models and model transformations using classifying terms F Hilken, M Gogolla, L Burgueño, A Vallecillo Software & Systems Modeling 17 (3), 885-912, 2018 | 37 | 2018 |
| Employing classifying terms for testing model transformations M Gogolla, A Vallecillo, L Burgueno, F Hilken 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 29 | 2015 |
| Filmstripping and unrolling: A comparison of verification approaches for UML and OCL behavioral models F Hilken, P Niemann, M Gogolla, R Wille International Conference on Tests and Proofs, 99-116, 2014 | 27 | 2014 |
| Transformation of UML and OCL models into filmstrip models F Hilken, L Hamann, M Gogolla International Conference on Theory and Practice of Model Transformations …, 2014 | 25 | 2014 |
| Assisted generation of frame conditions for formal models P Niemann, F Hilken, M Gogolla, R Wille 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 309-312, 2015 | 19 | 2015 |
| Checking Transformation Model Properties with a UML and OCL Model Validator. M Gogolla, L Hamann, F Hilken VOLT@ STAF, 16-25, 2014 | 19 | 2014 |
| Extracting frame conditions from operation contracts P Niemann, F Hilken, M Gogolla, R Wille 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 17 | 2015 |
| Verifying linear temporal logic properties in UML/OCL class diagrams using filmstripping F Hilken, M Gogolla 2016 Euromicro Conference on Digital System Design (DSD), 708-713, 2016 | 15 | 2016 |
| From UML/OCL to base models: transformation concepts for generic validation and verification F Hilken, P Niemann, M Gogolla, R Wille International Conference on Theory and Practice of Model Transformations …, 2015 | 10 | 2015 |
| Towards a catalog of structural and behavioral verification tasks for UML/OCL models F Hilken, P Niemann, M Gogolla, R Wille Modellierung 2016, 2016 | 9 | 2016 |
| On Static and Dynamic Analysis of UML and OCL Transformation Models. M Gogolla, L Hamann, F Hilken AMT@ MoDELS, 24-33, 2014 | 9 | 2014 |
| Integrating an SMT-Based ModelFinder into USE. N Przigoda, F Hilken, J Peters, R Wille, M Gogolla, R Drechsler MoDeVVa@ MoDELS, 40-45, 2016 | 8 | 2016 |
| Checking uml and ocl model consistency: An experience report on a middle-sized case study M Gogolla, L Hamann, F Hilken, M Sedlmeier International Conference on Tests and Proofs, 129-136, 2015 | 6 | 2015 |
| Checking UML and OCL model behavior with filmstripping and classifying terms M Gogolla, F Hilken, KH Doan, N Desai International Conference on Tests and Proofs, 119-128, 2017 | 5 | 2017 |
| Behavior modeling with interaction diagrams in a UML and OCL tool M Gogolla, L Hamann, F Hilken, M Sedlmeier, QD Nguyen Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and …, 2014 | 5 | 2014 |
| On metamodel superstructures employing UML generalization features. M Gogolla, M Sedlmeier, L Hamann, F Hilken MULTI@ MoDELS, 13-22, 2014 | 5 | 2014 |
| Towards a Base Model for UML and OCL Verification. F Hilken, P Niemann, R Wille, M Gogolla MoDeVVa@ MoDELS, 59-68, 2014 | 5 | 2014 |
