Fabian Büttner
Fabian Büttner
AtlanMod group, INRIA (previously Database Systems Group, University of Bremen)
Verified email at - Homepage
Cited by
Cited by
USE: A UML-based specification environment for validating UML and OCL
M Gogolla, F Büttner, M Richters
Science of Computer Programming 69 (1-3), 27-34, 2007
Model transformations? transformation models!
J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow
Model Driven Engineering Languages and Systems: 9th International Conference …, 2006
EMFtoCSP: A tool for the lightweight verification of EMF models
CA González, F Büttner, R Clarisó, J Cabot
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
Verification of ATL transformations using transformation models and model finders
F Büttner, M Egea, J Cabot, M Gogolla
Formal Methods and Software Engineering: 14th International Conference on …, 2012
On verifying ATL transformations using ‘off-the-shelf’SMT solvers
F Büttner, M Egea, J Cabot
International conference on model driven engineering languages and systems …, 2012
On OCL-based imperative languages
F Büttner, M Gogolla
Science of Computer Programming 92, 162-178, 2014
On validation of ATL transformation rules by transformation models
F Büttner, J Cabot, M Gogolla
Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011
Initiating a benchmark for UML and OCL analysis tools
M Gogolla, F Büttner, J Cabot
International conference on tests and proofs, 115-132, 2013
A benchmark for OCL engine accuracy, determinateness, and efficiency
M Gogolla, M Kuhlmann, F Büttner
International Conference on Model Driven Engineering Languages and Systems …, 2008
Modular embedding of the object constraint language into a programming language
F Büttner, M Gogolla
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF …, 2011
Model-driven standardization of public authority data interchange
F Büttner, U Bartels, L Hamann, O Hofrichter, M Kuhlmann, M Gogolla, ...
Science of Computer Programming 89, 162-175, 2014
Lightweight string reasoning for OCL
F Büttner, J Cabot
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
On squeezing M0, M1, M2, and M3 into a single object diagram
M Gogolla, JM Favre, F Büttner
Proceedings Tool-Support for OCL and Related Formalisms-Needs and Trends, 2005
Digging into the Visitor Pattern.
F Büttner, O Radfelder, A Lindow, M Gogolla
SEKE, 135-141, 2004
On generalization and overriding in UML 2.0
F Büttner, M Gogolla
OCL and Model Driven Engineering, UML 2004 Conf. Workshop, O. Patrascoiu, Ed …, 2004
Realizing UML metamodel transformations with AGG
F Büttner, M Gogolla
Electronic Notes in Theoretical Computer Science 109, 31-42, 2004
Checking model transformation refinement
F Büttner, M Egea, E Guerra, J De Lara
International Conference on Theory and Practice of Model Transformations …, 2013
Automated verification of model transformations in the automotive industry
GMK Selim, F Büttner, JR Cordy, J Dingel, S Wang
International Conference on Model Driven Engineering Languages and Systems …, 2013
Verification of graph-based model transformations using alloy
X Wang, F Büttner, Y Lamo
Electronic Communications of the EASST 67, 2014
Realizing graph transformations by pre-and postconditions and command sequences
F Büttner, M Gogolla
International Conference on Graph Transformation, 398-413, 2006
The system can't perform the operation now. Try again later.
Articles 1–20