Fabian Büttner

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Venues

MoDELS

Sci. Comput. Program.

Softw. Syst. Model.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Fabian Büttner, Jordi Cabot
Lightweight string reasoning in model finding. Softw. Syst. Model. 14 (1) (2015)
Fabian Büttner, Martin Gogolla
On OCL-based imperative languages. Sci. Comput. Program. 92 (2014)
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89 (2014)
Xiaoliang Wang, Fabian Büttner, Yngve Lamo
Verification of Graph-based Model Transformations Using Alloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang
Automated Verification of Model Transformations in the Automotive Industry. MoDELS (2013)
Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara
Checking Model Transformation Refinement. ICMT (2013)
Valerio Cosentino, Massimo Tisi, Fabian Büttner
Analyzing Flowgraphs with ATL. TTC (2013)
Martin Gogolla, Fabian Büttner, Jordi Cabot
Initiating a Benchmark for UML and OCL Analysis Tools. TAP@STAF (2013)
Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE (2012)
Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner
A benchmark for OCL engine accuracy, determinateness, and efficiency. Softw. Syst. Model. 11 (2) (2012)
Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung (2012)
Fabian Büttner, Jordi Cabot
Lightweight String Reasoning for OCL. ECMFA (2012)
Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla
Verification of ATL Transformations Using Transformation Models and Model Finders. ICFEM (2012)
Fabian Büttner, Marina Egea, Jordi Cabot
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. MoDELS (2012)
Fabian Büttner, Jordi Cabot, Martin Gogolla
On validation of ATL transformation rules by transformation models. MoDeVVa@MoDELS (2011)
Fabian Büttner, Martin Gogolla
Modular Embedding of the Object Constraint Language into a Programming Language. SBMF (2011)
Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow
An OCL Ordered Set Is Not an OCL Set. MoDELS (Workshops) (2009)
Martin Gogolla, Mirco Kuhlmann, Fabian Büttner
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS (2008)
Fabian Büttner, Mirco Kuhlmann
Shortcomings of the Embedding of OCL into QVT ImperativeOCL. MoDELS (Workshops) (2008)
Fabian Büttner, Mirco Kuhlmann
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Martin Gogolla, Fabian Büttner, Mark Richters
USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69 (1-3) (2007)
Martin Gogolla, Fabian Büttner, Duc-Hanh Dang
From Graph Transformation to OCL Using USE. AGTIVE (2007)
Fabian Büttner, Martin Gogolla
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ICGT (2006)
Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow
Model Transformations? Transformation Models! MoDELS (2006)
Fabian Büttner, Hanna Bauerdick, Martin Gogolla
Towards Transformation of Integrity Constraints and Database States. DEXA Workshops (2005)
Fabian Büttner
Transformation-Based Structure Model Evolution. MoDELS (Satellite Events) (2005)
Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. Modellierung (2004)
Fabian Büttner, Martin Gogolla
Realizing UML Metamodel Transformations with AGG. Electron. Notes Theor. Comput. Sci. 109 (2004)
Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
Digging into the Visitor Pattern. SEKE (2004)

Fabian Büttner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabian Büttner