| 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 | 580 | 2007 |
| 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 | 244 | 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 | 120 | 2012 |
| 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 | 106 | 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 | 76 | 2012 |
| On OCL-based imperative languages F Büttner, M Gogolla Science of Computer Programming 92, 162-178, 2014 | 38 | 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 | 36 | 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 | 28 | 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 | 28 | 2008 |
| Modular embedding of the object constraint language into a programming language F Büttner, M Gogolla Brazilian symposium on formal methods, 124-139, 2011 | 27 | 2011 |
| 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 | 26 | 2005 |
| 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 | 25 | 2014 |
| Lightweight string reasoning for OCL F Büttner, J Cabot European Conference on Modelling Foundations and Applications, 244-258, 2012 | 25 | 2012 |
| Digging into the Visitor Pattern. F Büttner, O Radfelder, A Lindow, M Gogolla SEKE, 135-141, 2004 | 25 | 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 | 24 | 2004 |
| Realizing UML metamodel transformations with AGG F Büttner, M Gogolla Electronic Notes in Theoretical Computer Science 109, 31-42, 2004 | 20 | 2004 |
| Checking model transformation refinement F Büttner, M Egea, E Guerra, J Lara International Conference on Theory and Practice of Model Transformations …, 2013 | 17 | 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 | 16 | 2013 |
| Verification of graph-based model transformations using alloy X Wang, F Büttner, Y Lamo Electronic Communications of the EASST 67, 2014 | 15 | 2014 |
| Realizing graph transformations by pre-and postconditions and command sequences F Büttner, M Gogolla International Conference on Graph Transformation, 398-413, 2006 | 15 | 2006 |
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Email confirmado em icrea.cat
