| 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 |
| Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 56 | 2018 |
| Model validation and verification options in a contemporary UML and OCL analysis tool M Gogolla, F Hilken Gesellschaft für Informatik eV, 2016 | 51 | 2016 |
| Testing models and model transformations using classifying terms F Hilken, M Gogolla, L Burgueño, A Vallecillo Software & Systems Modeling 17, 885-912, 2018 | 50 | 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 | 34 | 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 | 29 | 2014 |
| Filmstripping and unrolling: A comparison of verification approaches for UML and OCL behavioral models F Hilken, P Niemann, M Gogolla, R Wille Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014 | 27 | 2014 |
| 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 | 21 | 2016 |
| Checking Transformation Model Properties with a UML and OCL Model Validator. M Gogolla, L Hamann, F Hilken VOLT@ STAF, 16-25, 2014 | 19 | 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 | 18 | 2015 |
| 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 |
| From UML/OCL to base models: transformation concepts for generic validation and verification F Hilken, P Niemann, M Gogolla, R Wille Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 14 | 2015 |
| On Static and Dynamic Analysis of UML and OCL Transformation Models. M Gogolla, L Hamann, F Hilken AMT@ MoDELS, 24-33, 2014 | 11 | 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 | 9 | 2016 |
| Towards a catalog of structural and behavioral verification tasks for UML/OCL models F Hilken, P Niemann, M Gogolla, R Wille Gesellschaft für Informatik eV, 2016 | 9 | 2016 |
| Checking uml and ocl model consistency: An experience report on a middle-sized case study M Gogolla, L Hamann, F Hilken, M Sedlmeier Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015 | 9 | 2015 |
| Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. N Desai, M Gogolla, F Hilken MoDELS (Satellite Events), 88-94, 2017 | 6 | 2017 |
| Checking UML and OCL model behavior with filmstripping and classifying terms M Gogolla, F Hilken, KH Doan, N Desai Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017 | 6 | 2017 |
| Modeling behavior with interaction diagrams in a UML and OCL tool M Gogolla, L Hamann, F Hilken, M Sedlmeier Behavior Modeling--Foundations and Applications: International Workshops, BM …, 2015 | 6 | 2015 |
| On metamodel superstructures employing UML generalization features. M Gogolla, M Sedlmeier, L Hamann, F Hilken MULTI@ MoDELS, 13-22, 2014 | 6 | 2014 |
