| 2013 | MODELS | Automated Verification of Model Transformations in the Automotive Industry. | Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang |
| 2013 | TAP | Initiating a Benchmark for UML and OCL Analysis Tools. | Martin Gogolla, Fabian Bttner, Jordi Cabot |
| 2012 | ICFEM | Verification of ATL Transformations Using Transformation Models and Model Finders. | Fabian Bttner, Marina Egea, Jordi Cabot, Martin Gogolla |
| 2012 | ICSE | EMFtoCSP: a tool for the lightweight verification of EMF models. | Carlos A. Gonzlez, Fabian Bttner, Robert Claris, Jordi Cabot |
| 2012 | MODELS | On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. | Fabian Bttner, Marina Egea, Jordi Cabot |
| 2011 | MODELS | On validation of ATL transformation rules by transformation models. | Fabian Bttner, Jordi Cabot, Martin Gogolla |
| 2009 | MODELS | On Better Understanding OCL Collections | Fabian Bttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow |
| 2008 | MODELS | Shortcomings of the Embedding of OCL into QVT ImperativeOCL. | Fabian Bttner, Mirco Kuhlmann |
| 2008 | MODELS | A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. | Martin Gogolla, Mirco Kuhlmann, Fabian Bttner |
| 2006 | MODELS | Model Transformations? Transformation Models! | Jean Bzivin, Fabian Bttner, Martin Gogolla, Frdric Jouault, Ivan Kurtev, Arne Lindow |
| 2004 | SEKE | Digging into the Visitor Pattern. | Fabian Bttner, Oliver Radfelder, Arne Lindow, Martin Gogolla |