Frank Hilken
Frank Hilken
Bestätigte E-Mail-Adresse bei informatik.uni-bremen.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
442014
Model validation and verification options in a contemporary UML and OCL analysis tool
M Gogolla, F Hilken
Modellierung 2016, 2016
402016
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
252018
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
222015
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
222014
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
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
172018
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
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
162014
Checking Transformation Model Properties with a UML and OCL Model Validator.
M Gogolla, L Hamann, F Hilken
VOLT@ STAF, 16-25, 2014
152014
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
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
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
Towards a Base Model for UML and OCL Verification.
F Hilken, P Niemann, R Wille, M Gogolla
MoDeVVa@ MoDELS, 59-68, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20