Frank Hilken

Siemens (Germany) — Germany

Computer Science · Physical Sciences

12h-index353citations39works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Model-Driven Software Engineering Techniques(38), Advanced Software Engineering Methodologies(16), Service-Oriented Architecture and Web Services(14), Software Testing and Debugging Techniques(14), Formal Methods in Verification(7)

Publications39 total

Modeling Low-Level Network Configurations for Analysis, Simulation and Testing.
Modellierung·2020
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.
The Journal of Object Technology·2020· 1 citedOpen Access
Some Narrow and Broad Challenges in MDD
Lecture notes in computer science·2018· 2 cited
Achieving model quality through model validation, verification and exploration
Computer Languages Systems & Structures·2017· 39 cited
More than true or false
2017· 3 cited
User Assistance Characteristics of the USE Model Checking Tool
Electronic Proceedings in Theoretical Computer Science·2017· 6 citedOpen Access
Testing Transformation Models Using Classifying Terms
Lecture notes in computer science·2017· 2 cited
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives.
2017· 2 cited
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms
Lecture notes in computer science·2017· 4 cited
Formulating Model Verification Tasks Prover-Independently as UML Diagrams
Lecture notes in computer science·2017· 1 cited
Employing Classifying Terms for Testing Model Transformations.
Repositorio Institucional de la Universidad de Málaga (University of Málaga)·2017Open Access
Recent Developments in OCL and Textual Modelling
White Rose Research Online (University of Leeds, The University of Sheffield, University of York)·2016· 1 citedOpen Access
Testing models and model transformations using classifying terms
Software & Systems Modeling·2016· 39 citedOpen Access
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping
2016· 12 cited
Integrating an SMT-Based ModelFinder into USE.
2016· 4 cited
Extracting frame conditions from operation contracts.
2016
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models
Lecture notes in computer science·2016· 3 cited
Integrating UML/OCL Derived Properties into Validation and Verification Processes.
2016· 2 cited
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.
Modellierung·2016· 31 cited
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.
Modellierung·2016· 6 cited
page 1 of 2Next →

Frequent Co-authors

Martin Gogolla(37), Robert Wille(11), Lars Hamann(10), Philipp Niemann(10), Loli Burgueño(6), Antonio Vallecillo(6), Matthias Sedlmeier(4), Khanh-Hoang Doan(3), Nils Przigoda(2), Judith M. Peters(2), Rolf Drechsler(2), Nisha Desai(2), Marcel Schuster(2), Karsten Sohr(2), Mirco Kuhlmann(1), Nguyễn Quang Dũng(1), Andreas Kästner(1), Achim D. Brucker(1), Jordi Cabot(1), Gwendal Daniel(1)