Articles with public access mandates - Frank HilkenLearn more
Available somewhere: 11
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
Mandates: German Research Foundation
Testing models and model transformations using classifying terms
F Hilken, M Gogolla, L Burgueño, A Vallecillo
Software & Systems Modeling 17, 885-912, 2018
Mandates: Government of Spain
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
Mandates: German Research Foundation, Government of Spain
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
Integrating an SMT-Based ModelFinder into USE.
N Przigoda, F Hilken, J Peters, R Wille, M Gogolla, R Drechsler
MoDeVVa@ MoDELS, 40-45, 2016
Mandates: German Research Foundation
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
Mandates: Federal Ministry of Education and Research, Germany
Iterative Development of Transformation Models by Using Classifying Terms.
F Hilken, L Burgueño, M Gogolla, A Vallecillo
AMT@ MoDELS, 1-6, 2015
Mandates: German Research Foundation, Government of Spain
Publication and funding information is determined automatically by a computer program