BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Canada
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × USA
2 × Hungary
Collaborated with:
M.Gogolla J.Cabot M.Egea A.Lindow X.Wang Y.Lamo M.Kuhlmann D.Dang E.Guerra J.d.Lara O.Radfelder G.M.K.Selim J.R.Cordy J.Dingel S.Wang J.Bézivin F.Jouault I.Kurtev
Talks about:
transform (8) model (6) use (4) ocl (4) graph (3) lightweight (2) benchmark (2) string (2) reason (2) verif (2)

Person: Fabian Büttner

DBLP DBLP: B=uuml=ttner:Fabian

Contributed to:

GT-VMT 20142014
ICMT 20132013
MoDELS 20132013
TAP 20132013
ECMFA 20122012
ECMFA 20122015
MoDELS 20122012
MoDELS 20082008
AGTIVE 20072007
ICGT 20062006
MoDELS 20062006
SEKE 20042004

Wrote 12 papers:

GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICMT-2013-ButtnerEGL #model transformation #refinement
Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
MoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification
Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml
Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string
Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
ECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string
Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
MoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.
AGTIVE-2007-GogollaBD #graph transformation #ocl #using
From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.
ICGT-2006-ButtnerG #graph transformation #sequence
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
MoDELS-2006-BezivinBGJKL #exclamation #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
SEKE-2004-ButtnerRLG #visitor
Digging into the Visitor Pattern (FB, OR, AL, MG), pp. 135–141.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.