| 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 | 55 | 2014 |
| Model validation and verification options in a contemporary UML and OCL analysis tool M Gogolla, F Hilken Modellierung 2016, 2016 | 46 | 2016 |
| Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 33 | 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 | 31 | 2018 |
| 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 | 26 | 2014 |
| 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 | 25 | 2015 |
| 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 | 24 | 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 | 14 | 2016 |
| 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 |
| 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 | 9 | 2015 |
| 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 |
| More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models N Przigoda, P Niemann, J Peters, F Hilken, R Wille, R Drechsler Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 4 | 2017 |
| Some narrow and broad challenges in MDD M Gogolla, F Hilken, A Kästner Federation of International Conferences on Software Technologies …, 2017 | 4 | 2017 |
