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
Gesellschaft für Informatik eV, 2014
572014
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
522018
Model validation and verification options in a contemporary UML and OCL analysis tool
M Gogolla, F Hilken
Gesellschaft für Informatik eV, 2016
502016
Testing models and model transformations using classifying terms
F Hilken, M Gogolla, L Burgueño, A Vallecillo
Software & Systems Modeling 17, 885-912, 2018
452018
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
322015
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
302014
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
272014
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
202016
Checking Transformation Model Properties with a UML and OCL Model Validator.
M Gogolla, L Hamann, F Hilken
VOLT@ STAF, 16-25, 2014
192014
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
182015
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
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
132015
On Static and Dynamic Analysis of UML and OCL Transformation Models.
M Gogolla, L Hamann, F Hilken
AMT@ MoDELS, 24-33, 2014
102014
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
92016
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
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
82015
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives.
N Desai, M Gogolla, F Hilken
MoDELS (Satellite Events), 88-94, 2017
62017
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
62017
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
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
The system can't perform the operation now. Try again later.
Articles 1–20