Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier (BM-FA (Revised Selected Papers), 2014)

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier; Quang Dung Nguyen (BM-FA, 2014)

Transformation of UML and OCL Models into Filmstrip Models. - Frank Hilken; Lars Hamann; Martin Gogolla (ICMT, 2014)

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. - Martin Gogolla; Lars Hamann; Frank Hilken; Mirco Kuhlmann; Robert B. France (Modellierung, 2014)

On Static and Dynamic Analysis of UML and OCL Transformation Models. - Martin Gogolla; Lars Hamann; Frank Hilken (AMT@MoDELS, 2014)

On metamodel superstructures employing UML generalization features. - Martin Gogolla; Matthias Sedlmeier; Lars Hamann; Frank Hilken (MULTI@MoDELS, 2014)

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. - Lars Hamann; Frank Hilken; Martin Gogolla (OSS4MDE@MoDELS, 2014)

Towards a Base Model for UML and OCL Verification. - Frank Hilken; Philipp Niemann 001; Robert Wille; Martin Gogolla (MoDeVVa@MoDELS, 2014)

Checking Transformation Model Properties with a UML and OCL Model Validator. - Martin Gogolla; Lars Hamann; Frank Hilken (VOLT@STAF, 2014)

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (TAP@STAF, 2014)

Assisted generation of frame conditions for formal models. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (DATE, 2015)

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (ICMT, 2015)

Iterative Development of Transformation Models by Using Classifying Terms. - Frank Hilken; Loli Burgueño; Martin Gogolla; Antonio Vallecillo (AMT@MoDELS, 2015)

UML and OCL Transformation Model Analysis: Checking Invariant Independence. - Martin Gogolla; Frank Hilken (VOLT@STAF, 2015)

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. - Martin Gogolla; Lars Hamann; Frank Hilken; Matthias Sedlmeier (TAP@STAF, 2015)

Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. - Frank Hilken; Martin Gogolla (DSD, 2016)

Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. - Martin Gogolla; Frank Hilken (Modellierung, 2016)

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (Modellierung, 2016)

Recent Developments in OCL and Textual Modelling. - 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 (OCL@MoDELS, 2016)

Generating effective test suites for model transformations using classifying terms. - Loli Burgueño; Frank Hilken; Antonio Vallecillo; Martin Gogolla (PAME/VOLT@MoDELS, 2016)

Integrating UML/OCL Derived Properties into Validation and Verification Processes. - Frank Hilken; Marcel Schuster; Karsten Sohr; Martin Gogolla (OCL@MoDELS, 2016)

Integrating an SMT-Based ModelFinder into USE. - Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler (MoDeVVa@MoDELS, 2016)

Extracting frame conditions from operation contracts. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (Software Engineering, 2016)

Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. - Khanh-Hoang Doan; Martin Gogolla; Frank Hilken (STAF Workshops, 2016)

User Assistance Characteristics of the USE Model Checking Tool. - Frank Hilken; Martin Gogolla (F-IDE@FM, 2016)

Formulating Model Verification Tasks Prover-Independently as UML Diagrams. - Martin Gogolla; Frank Hilken; Philipp Niemann 001; Robert Wille (ECMFA, 2017)

Testing Transformation Models Using Classifying Terms. - Loli Burgueño; Frank Hilken; Antonio Vallecillo; Martin Gogolla (ICMT, 2017)

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. - Nils Przigoda; Philipp Niemann 001; Judith Peters; Frank Hilken; Robert Wille; Rolf Drechsler (MEMOCODE, 2017)

Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. - Nisha Desai 001; Martin Gogolla; Frank Hilken (MoDELS (Satellite Events), 2017)

Employing Classifying Terms for Testing Model Transformations. - Martin Gogolla; Antonio Vallecillo; Loli Burgueño; Frank Hilken (Software Engineering, 2017)

Some Narrow and Broad Challenges in MDD. - Martin Gogolla; Frank Hilken; Andreas Kästner (STAF Workshops, 2017)

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. - Martin Gogolla; Frank Hilken; Khanh-Hoang Doan; Nisha Desai 001 (TAP@STAF, 2017)

Achieving model quality through model validation, verification and exploration. - Martin Gogolla; Frank Hilken; Khanh-Hoang Doan (Comput. Lang. Syst. Struct., 2018)

Testing models and model transformations using classifying terms. - Frank Hilken; Martin Gogolla; Loli Burgueño; Antonio Vallecillo (Softw. Syst. Model., 2018)

Modeling Low-Level Network Configurations for Analysis, Simulation and Testing. - Marcel Schuster; Markus Germeier; Frank Hilken; Martin Gogolla; Karsten Sohr (Modellierung, 2020)

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany. - Frank Hilken; Lars Hamann (J. Object Technol., 2020)