| 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 | 539 | 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 | 236 | 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 | 109 | 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 | 100 | 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 | 69 | 2012 |
| JM; Koopmans, B.; Eisebitt, S.; Kläui, M JS Kim, MA Mawass, A Bisig, B Krüger, RM Reeve, T Schulz, F Büttner, ... Nat. Commun 5, 3429, 2014 | 39 | 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 |
| Building an efficient component for OCL evaluation M Clavel, E Marina, GDM Angel Electronic Communications of the EASST 15, 2008 | 32 | 2008 |
| On OCL-based imperative languages F Büttner, M Gogolla Science of Computer Programming 92, 162-178, 2014 | 30 | 2014 |
| 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 | 26 | 2008 |
| 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 |
| Modular embedding of the object constraint language into a programming language F Büttner, M Gogolla Brazilian symposium on formal methods, 124-139, 2011 | 25 | 2011 |
| Digging into the Visitor Pattern. F Büttner, O Radfelder, A Lindow, M Gogolla SEKE, 135-141, 2004 | 25 | 2004 |
| 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 | 24 | 2014 |
| Lightweight string reasoning for OCL F Büttner, J Cabot European Conference on Modelling Foundations and Applications, 244-258, 2012 | 24 | 2012 |
| 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 |
| 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 | 23 | 2013 |
| 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 De Lara International Conference on Theory and Practice of Model Transformations …, 2013 | 17 | 2013 |
| Realizing graph transformations by pre-and postconditions and command sequences F Büttner, M Gogolla International Conference on Graph Transformation, 398-413, 2006 | 16 | 2006 |
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Verified email at icrea.cat
