Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. - Martin Gogolla; Mark Richters; Jörn Bohling; Arne Lindow; Fabian Büttner; Paul Ziemann (Modellierung, 2004)

Digging into the Visitor Pattern. - Fabian Büttner; Oliver Radfelder; Arne Lindow; Martin Gogolla (SEKE, 2004)

Realizing UML Metamodel Transformations with AGG. - Fabian Büttner; Martin Gogolla (GT-VMT@ETAPS, 2004)

Towards Transformation of Integrity Constraints and Database States. - Fabian Büttner; Hanna Bauerdick; Martin Gogolla (DEXA Workshops, 2005)

Transformation-Based Structure Model Evolution. - Fabian Büttner (MoDELS (Satellite Events), 2005)

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. - Fabian Büttner; Martin Gogolla (ICGT, 2006)

Model Transformations? Transformation Models! - Jean Bézivin; Fabian Büttner; Martin Gogolla; Frédéric Jouault; Ivan Kurtev; Arne Lindow (MoDELS, 2006)

From Graph Transformation to OCL Using USE. - Martin Gogolla; Fabian Büttner; Duc-Hanh Dang (AGTIVE, 2007)

USE: A UML-based specification environment for validating UML and OCL. - Martin Gogolla; Fabian Büttner; Mark Richters (Sci. Comput. Program., 2007)

Shortcomings of the Embedding of OCL into QVT ImperativeOCL. - Fabian Büttner; Mirco Kuhlmann (MoDELS (Workshops), 2008)

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. - Martin Gogolla; Mirco Kuhlmann; Fabian Büttner (MoDELS, 2008)

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. - Fabian Büttner; Mirco Kuhlmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. - Fabian Büttner; Martin Gogolla; Lars Hamann; Mirco Kuhlmann; Arne Lindow (MoDELS (Workshops), 2009)

On validation of ATL transformation rules by transformation models. - Fabian Büttner; Jordi Cabot; Martin Gogolla (MoDeVVa@MoDELS, 2011)

Modular Embedding of the Object Constraint Language into a Programming Language. - Fabian Büttner; Martin Gogolla (SBMF, 2011)

Reusing OCL in the definition of imperative languages. - Fabian Büttner (2011)

Lightweight String Reasoning for OCL. - Fabian Büttner; Jordi Cabot (ECMFA, 2012)

Verification of ATL Transformations Using Transformation Models and Model Finders. - Fabian Büttner; Marina Egea; Jordi Cabot; Martin Gogolla (ICFEM, 2012)

EMFtoCSP: a tool for the lightweight verification of EMF models. - Carlos A. González; Fabian Büttner; Robert Clarisó; Jordi Cabot (FormSERA@ICSE, 2012)

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. - Lars Hamann; Fabian Büttner; Mirco Kuhlmann; Martin Gogolla (Modellierung, 2012)

On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. - Fabian Büttner; Marina Egea; Jordi Cabot (MoDELS, 2012)

A benchmark for OCL engine accuracy, determinateness, and efficiency. - Mirco Kuhlmann; Lars Hamann; Martin Gogolla; Fabian Büttner (Softw. Syst. Model., 2012)

Checking Model Transformation Refinement. - Fabian Büttner; Marina Egea; Esther Guerra; Juan de Lara (ICMT, 2013)

Automated Verification of Model Transformations in the Automotive Industry. - Gehan M. K. Selim; Fabian Büttner; James R. Cordy; Jürgen Dingel; Shige Wang (MoDELS, 2013)

Initiating a Benchmark for UML and OCL Analysis Tools. - Martin Gogolla; Fabian Büttner; Jordi Cabot (TAP@STAF, 2013)

Analyzing Flowgraphs with ATL. - Valerio Cosentino; Massimo Tisi; Fabian Büttner (TTC, 2013)

Verification of Graph-based Model Transformations Using Alloy. - Xiaoliang Wang; Fabian Büttner; Yngve Lamo (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Model-driven standardization of public authority data interchange. - Fabian Büttner; Ullrich Bartels; Lars Hamann; Oliver Hofrichter; Mirco Kuhlmann; Martin Gogolla; Lutz Rabe; Frank Steimke; Yorck Rabenstein; Alina Stosiek (Sci. Comput. Program., 2014)

On OCL-based imperative languages. - Fabian Büttner; Martin Gogolla (Sci. Comput. Program., 2014)

Verification of Authorization Policies Modified by Delegation. - Marina Egea; Fabian Büttner (Engineering Secure Future Internet Services and Systems, 2014)

Lightweight string reasoning in model finding. - Fabian Büttner; Jordi Cabot (Softw. Syst. Model., 2015)