Seguir
Fabian Büttner
Fabian Büttner
AtlanMod group, INRIA (previously Database Systems Group, University of Bremen)
Email confirmado em inria.fr - Página inicial
Título
Citado por
Citado por
Ano
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
5802007
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
2442006
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
1202012
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
1062012
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
762012
On OCL-based imperative languages
F Büttner, M Gogolla
Science of Computer Programming 92, 162-178, 2014
382014
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
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
282013
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
282008
Modular embedding of the object constraint language into a programming language
F Büttner, M Gogolla
Brazilian symposium on formal methods, 124-139, 2011
272011
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
262005
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
252014
Lightweight string reasoning for OCL
F Büttner, J Cabot
European Conference on Modelling Foundations and Applications, 244-258, 2012
252012
Digging into the Visitor Pattern.
F Büttner, O Radfelder, A Lindow, M Gogolla
SEKE, 135-141, 2004
252004
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
242004
Realizing UML metamodel transformations with AGG
F Büttner, M Gogolla
Electronic Notes in Theoretical Computer Science 109, 31-42, 2004
202004
Checking model transformation refinement
F Büttner, M Egea, E Guerra, J Lara
International Conference on Theory and Practice of Model Transformations …, 2013
172013
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
162013
Verification of graph-based model transformations using alloy
X Wang, F Büttner, Y Lamo
Electronic Communications of the EASST 67, 2014
152014
Realizing graph transformations by pre-and postconditions and command sequences
F Büttner, M Gogolla
International Conference on Graph Transformation, 398-413, 2006
152006
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20