Frank Hilken

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 21

Top Topics

Transformation Models

Linear Temporal Logic

Top Venues

Publications

Frank Hilken, Lars Hamann
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. J. Object Technol. 19 (3) (2020)
Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. Modellierung (2020)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan
Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54 (2018)
Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo
Testing models and model transformations using classifying terms. Softw. Syst. Model. 17 (3) (2018)
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
Employing Classifying Terms for Testing Model Transformations. Software Engineering (2017)
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE (2017)
Martin Gogolla, Frank Hilken, Andreas Kästner
Some Narrow and Broad Challenges in MDD. STAF Workshops (2017)
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
Testing Transformation Models Using Classifying Terms. ICMT (2017)
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA (2017)
Nisha Desai, Martin Gogolla, Frank Hilken
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. MoDELS (Satellite Events) (2017)
Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. TAP@STAF (2017)
Khanh-Hoang Doan, Martin Gogolla, Frank Hilken
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. STAF Workshops (2016)
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS (2016)
Martin Gogolla, Frank Hilken
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. Modellierung (2016)
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)
Frank Hilken, Martin Gogolla
User Assistance Characteristics of the USE Model Checking Tool. F-IDE@FM (2016)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. Software Engineering (2016)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung (2016)
Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla
Generating effective test suites for model transformations using classifying terms. PAME/VOLT@MoDELS (2016)
Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla
Integrating UML/OCL Derived Properties into Validation and Verification Processes. OCL@MoDELS (2016)
Frank Hilken, Martin Gogolla
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. DSD (2016)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Assisted generation of frame conditions for formal models. DATE (2015)
Martin Gogolla, Frank Hilken
UML and OCL Transformation Model Analysis: Checking Invariant Independence. VOLT@STAF (2015)
Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS (2015)
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)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. MoDELS (2015)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT (2015)
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken
Employing classifying terms for testing model transformations. MoDELS (2015)
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS (2014)
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)
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)
Frank Hilken, Lars Hamann, Martin Gogolla
Transformation of UML and OCL Models into Filmstrip Models. ICMT (2014)
Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken
On metamodel superstructures employing UML generalization features. MULTI@MoDELS (2014)
Lars Hamann, Frank Hilken, Martin Gogolla
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. OSS4MDE@MoDELS (2014)
Martin Gogolla, Lars Hamann, Frank Hilken
On Static and Dynamic Analysis of UML and OCL Transformation Models. AMT@MoDELS (2014)
Martin Gogolla, Lars Hamann, Frank Hilken
Checking Transformation Model Properties with a UML and OCL Model Validator. VOLT@STAF (2014)
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)
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)