Follow
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
552014
Model validation and verification options in a contemporary UML and OCL analysis tool
M Gogolla, F Hilken
Modellierung 2016, 2016
492016
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
402018
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
392018
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
302015
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
272014
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
252014
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
Checking Transformation Model Properties with a UML and OCL Model Validator.
M Gogolla, L Hamann, F Hilken
VOLT@ STAF, 16-25, 2014
192014
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
172015
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
152016
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
122015
Towards a catalog of structural and behavioral verification tasks for UML/OCL models
F Hilken, P Niemann, M Gogolla, R Wille
Modellierung 2016, 2016
92016
On Static and Dynamic Analysis of UML and OCL Transformation Models.
M Gogolla, L Hamann, F Hilken
AMT@ MoDELS, 24-33, 2014
92014
Integrating an SMT-Based ModelFinder into USE.
N Przigoda, F Hilken, J Peters, R Wille, M Gogolla, R Drechsler
MoDeVVa@ MoDELS, 40-45, 2016
72016
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
62015
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
52017
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
On metamodel superstructures employing UML generalization features.
M Gogolla, M Sedlmeier, L Hamann, F Hilken
MULTI@ MoDELS, 13-22, 2014
52014
Towards a Base Model for UML and OCL Verification.
F Hilken, P Niemann, R Wille, M Gogolla
MoDeVVa@ MoDELS, 59-68, 2014
52014
The system can't perform the operation now. Try again later.
Articles 1–20