Frank Hilken

According to our database, Frank Hilken authored at least 36 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Frank Hilken, Lars Hamann

J. Object Technol., 2020

Modeling Low-Level Network Configurations for Analysis, Simulation and Testing.

Marcel Schuster, Markus Germeier, Frank Hilken, Martin Gogolla, Karsten Sohr

Proceedings of the Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich., 2020

2018

Testing models and model transformations using classifying terms.

Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo

Softw. Syst. Model., 2018

Achieving model quality through model validation, verification and exploration.

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan

Comput. Lang. Syst. Struct., 2018

2017

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Some Narrow and Broad Challenges in MDD.

Martin Gogolla, Frank Hilken, Andreas Kästner

Proceedings of the Software Technologies: Applications and Foundations, 2017

Employing Classifying Terms for Testing Model Transformations.

Martin Gogolla, Antonio Vallecillo, Loli Burgueño, Frank Hilken

Proceedings of the Software Engineering 2017, 2017

Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives.

Nisha Desai, Martin Gogolla, Frank Hilken

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Testing Transformation Models Using Classifying Terms.

Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla

Proceedings of the Theory and Practice of Model Transformation, 2017

Formulating Model Verification Tasks Prover-Independently as UML Diagrams.

Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

User Assistance Characteristics of the USE Model Checking Tool.

Frank Hilken, Martin Gogolla

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models.

Khanh-Hoang Doan, Martin Gogolla, Frank Hilken

Proceedings of the Software Technologies: Applications and Foundations, 2016

Extracting frame conditions from operation contracts.

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

Proceedings of the Software Engineering 2016, 2016

Integrating an SMT-Based ModelFinder into USE.

Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Integrating UML/OCL Derived Properties into Validation and Verification Processes.

Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Generating effective test suites for model transformations using classifying terms.

Loli Burgueño, Frank Hilken, Antonio Vallecillo, Martin Gogolla

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 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

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.

Martin Gogolla, Frank Hilken

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping.

Frank Hilken, Martin Gogolla

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

Proceedings of the Tests and Proofs - 9th International Conference, 2015

UML and OCL Transformation Model Analysis: Checking Invariant Independence.

Martin Gogolla, Frank Hilken

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015

Iterative Development of Transformation Models by Using Classifying Terms.

Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification.

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Proceedings of the Theory and Practice of Model Transformations, 2015

Assisted generation of frame conditions for formal models.

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Checking Transformation Model Properties with a UML and OCL Model Validator.

Martin Gogolla, Lars Hamann, Frank Hilken

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Towards a Base Model for UML and OCL Verification.

Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool.

Lars Hamann, Frank Hilken, Martin Gogolla

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

On metamodel superstructures employing UML generalization features.

Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken

Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

On Static and Dynamic Analysis of UML and OCL Transformation Models.

Martin Gogolla, Lars Hamann, Frank Hilken

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 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

Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Transformation of UML and OCL Models into Filmstrip Models.

Frank Hilken, Lars Hamann, Martin Gogolla

Proceedings of the Theory and Practice of Model Transformations, 2014

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen

Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, 2014

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier

Proceedings of the Behavior Modeling, 2014