Frank Hilken

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