Fabian Büttner
Fabian Büttner
AtlanMod group, INRIA (previously Database Systems Group, University of Bremen)
Verified email at inria.fr - Homepage
TitleCited byYear
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
4582007
Model transformations? transformation models!
J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow
International Conference on Model Driven Engineering Languages and Systems …, 2006
2082006
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
832012
Verification of ATL transformations using transformation models and model finders
F Büttner, M Egea, J Cabot, M Gogolla
International Conference on Formal Engineering Methods, 198-213, 2012
822012
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
612012
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
362011
Synchronous precessional motion of multiple domain walls in a ferromagnetic nanowire by perpendicular field pulses
JS Kim, MA Mawass, A Bisig, B Krüger, RM Reeve, T Schulz, F Büttner, ...
Nature communications 5, 3429, 2014
292014
Building an efficient component for OCL evaluation
M Clavel, E Marina, GDM Angel
Electronic Communications of the EASST 15, 2008
262008
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
252008
Digging into the Visitor Pattern.
F Büttner, O Radfelder, A Lindow, M Gogolla
SEKE, 135-141, 2004
242004
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
232005
Lightweight string reasoning for OCL
F Büttner, J Cabot
European Conference on Modelling Foundations and Applications, 244-258, 2012
212012
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
212004
Modular embedding of the object constraint language into a programming language
F Büttner, M Gogolla
Brazilian Symposium on Formal Methods, 124-139, 2011
192011
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
182014
Realizing UML metamodel transformations with AGG
F Büttner, M Gogolla
Electronic Notes in Theoretical Computer Science 109, 31-42, 2004
182004
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
162013
Realizing graph transformations by pre-and postconditions and command sequences
F Büttner, M Gogolla
International Conference on Graph Transformation, 398-413, 2006
152006
Checking model transformation refinement
F Büttner, M Egea, E Guerra, J De Lara
International Conference on Theory and Practice of Model Transformations …, 2013
142013
On OCL-based imperative languages
F Büttner, M Gogolla
Science of Computer Programming 92, 162-178, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20