Fabian Büttner

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