| 2017 | MEMOCODE | 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 |
| 2017 | MODELS | Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. | Nisha Desai, Martin Gogolla, Frank Hilken |
| 2017 | TAP | Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. | Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai |
| 2016 | DSD | Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping. | Frank Hilken, Martin Gogolla |
| 2016 | MODELS | Recent Developments in OCL and Textual Modelling. | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Snchez-Barbudo Herrera, Frank Hilken, Frdric Tuong, Edward D. Willink, Burkhart Wolff |
| 2016 | MODELS | Generating effective test suites for model transformations using classifying terms. | Loli Burgueo, Frank Hilken, Antonio Vallecillo, Martin Gogolla |
| 2016 | MODELS | Integrating UML/OCL Derived Properties into Validation and Verification Processes. | Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla |
| 2016 | MODELS | Integrating an SMT-Based ModelFinder into USE. | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
| 2015 | DATE | Assisted generation of frame conditions for formal models. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | MODELS | Employing classifying terms for testing model transformations. | Martin Gogolla, Antonio Vallecillo, Loli Burgueo, Frank Hilken |
| 2015 | MODELS | Iterative Development of Transformation Models by Using Classifying Terms. | Frank Hilken, Loli Burgueo, Martin Gogolla, Antonio Vallecillo |
| 2015 | MODELS | Extracting frame conditions from operation contracts. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | TAP | Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
| 2014 | MODELS | On Static and Dynamic Analysis of UML and OCL Transformation Models. | Martin Gogolla, Lars Hamann, Frank Hilken |
| 2014 | MODELS | On metamodel superstructures employing UML generalization features. | Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken |
| 2014 | MODELS | Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool. | Lars Hamann, Frank Hilken, Martin Gogolla |
| 2014 | MODELS | Towards a Base Model for UML and OCL Verification. | Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla |
| 2014 | TAP | Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. | Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |