default search action
Frank Hilken
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j3]Frank Hilken, Lars Hamann:
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. J. Object Technol. 19(3): 3:1-13 (2020) - [c35]Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr:
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung 2020: 157-172
2010 – 2019
- 2018
- [j2]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan:
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54: 474-511 (2018) - [j1]Frank Hilken, Martin Gogolla, Loli Burgueño
, Antonio Vallecillo
Testing models and model transformations using classifying terms. Softw. Syst. Model. 17(3): 885-912 (2018) - 2017
- [c34]Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille:
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA 2017: 232-247 - [c33]Loli Burgueño
Testing Transformation Models Using Classifying Terms. ICMT 2017: 69-85 - [c32]Nils Przigoda
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE 2017: 77-86 - [c31]Nisha Desai, Martin Gogolla, Frank Hilken:
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. MoDELS (Satellite Events) 2017: 88-94 - [c30]Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken:
Employing Classifying Terms for Testing Model Transformations. Software Engineering 2017: 91-92 - [c29]Martin Gogolla, Frank Hilken, Andreas Kästner:
Some Narrow and Broad Challenges in MDD. STAF Workshops 2017: 172-177 - [c28]Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai:
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF 2017: 119-128 - 2016
- [c27]Frank Hilken, Martin Gogolla:
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. DSD 2016: 708-713 - [c26]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille:
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung 2016: 117-124 - [c25]Martin Gogolla, Frank Hilken:
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. Modellierung 2016: 205-220 - [c24]Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler:
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS 2016: 40-45 - [c23]Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla:
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS 2016: 48-57 - [c22]Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla:
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS 2016: 89-104 - [c21]Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff:
Recent Developments in OCL and Textual Modelling. OCL@MoDELS 2016: 157-165 - [c20]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Extracting frame conditions from operation contracts. Software Engineering 2016: 89-90 - [c19]Khanh-Hoang Doan, Martin Gogolla, Frank Hilken:
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops 2016: 207-220 - [c18]Frank Hilken, Martin Gogolla:
User Assistance Characteristics of the USE Model Checking Tool. F-IDE@FM 2016: 91-97 - 2015
- [c17]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille:
Assisted generation of frame conditions for formal models. DATE 2015: 309-312 - [c16]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT 2015: 149-165 - [c15]Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo:
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS 2015: 1-6 - [c14]Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. MoDELS 2015: 266-275 - [c13]Martin Gogolla, Antonio Vallecillo
Employing classifying terms for testing model transformations. MoDELS 2015: 312-321 - [c12]Martin Gogolla, Frank Hilken:
UML and OCL Transformation Model Analysis: Checking Invariant Independence. VOLT@STAF 2015: 20-27 - [c11]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. TAP@STAF 2015: 129-136 - 2014
- [c10]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen:
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. BM-FA 2014: 4 - [c9]Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier:
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. BM-FA (Revised Selected Papers) 2014: 31-58 - [c8]Frank Hilken, Lars Hamann, Martin Gogolla:
Transformation of UML and OCL Models into Filmstrip Models. ICMT 2014: 170-185 - [c7]Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France:
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung 2014: 273-288 - [c6]Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken:
On metamodel superstructures employing UML generalization features. MULTI@MoDELS 2014: 13-22 - [c5]Martin Gogolla, Lars Hamann, Frank Hilken:
On Static and Dynamic Analysis of UML and OCL Transformation Models. AMT@MoDELS 2014: 24-33 - [c4]Lars Hamann, Frank Hilken, Martin Gogolla:
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. OSS4MDE@MoDELS 2014: 42-52 - [c3]Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla:
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS 2014: 59-68 - [c2]Martin Gogolla, Lars Hamann, Frank Hilken:
Checking Transformation Model Properties with a UML and OCL Model Validator. VOLT@STAF 2014: 16-25 - [c1]Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF 2014: 99-116
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: