Frank Hilken
Title
Cited by
Cited by
Year
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
472014
Model validation and verification options in a contemporary UML and OCL analysis tool
M Gogolla, F Hilken
Modellierung 2016, 2016
412016
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
282018
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
232015
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
232014
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
222018
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
192015
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
172014
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
162015
Checking Transformation Model Properties with a UML and OCL Model Validator.
M Gogolla, L Hamann, F Hilken
VOLT@ STAF, 16-25, 2014
162014
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
102016
Integrating an SMT-Based ModelFinder into USE.
N Przigoda, F Hilken, J Peters, R Wille, M Gogolla, R Drechsler
MoDeVVa@ MoDELS, 40-45, 2016
82016
Towards a catalog of structural and behavioral verification tasks for UML/OCL models
F Hilken, P Niemann, M Gogolla, R Wille
Modellierung 2016, 2016
82016
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
82015
On Static and Dynamic Analysis of UML and OCL Transformation Models.
M Gogolla, L Hamann, F Hilken
AMT@ MoDELS, 24-33, 2014
82014
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
52015
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
52014
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
42017
Some narrow and broad challenges in MDD
M Gogolla, F Hilken, A Kästner
Federation of International Conferences on Software Technologies …, 2017
42017
On metamodel superstructures employing UML generalization features.
M Gogolla, M Sedlmeier, L Hamann, F Hilken
MULTI@ MoDELS, 13-22, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20