| 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 | 604 | 2007 |
| Model transformations? transformation models! J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow MoDELS 4199, 440-453, 2006 | 254 | 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 | 123 | 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 | 106 | 2012 |
| On verifying ATL transformations using ‘off-the-shelf’SMT solvers F Büttner, M Egea, J Cabot Model Driven Engineering Languages and Systems: 15th International …, 2012 | 75 | 2012 |
| On OCL-based imperative languages F Büttner, M Gogolla Science of Computer Programming 92, 162-178, 2014 | 42 | 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 Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013 | 30 | 2013 |
| 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 | 29 | 2014 |
| A benchmark for OCL engine accuracy, determinateness, and efficiency M Gogolla, M Kuhlmann, F Büttner Model Driven Engineering Languages and Systems: 11th International …, 2008 | 29 | 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 | 28 | 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 | 27 | 2005 |
| Lightweight string reasoning for OCL F Büttner, J Cabot Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | 26 | 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 | 21 | 2004 |
| Checking model transformation refinement F Büttner, M Egea, E Guerra, J De Lara Theory and Practice of Model Transformations: 6th International Conference …, 2013 | 18 | 2013 |
| Realizing graph transformations by pre-and postconditions and command sequences F Büttner, M Gogolla Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 16 | 2006 |
| Automated verification of model transformations in the automotive industry GMK Selim, F Büttner, JR Cordy, J Dingel, S Wang Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 15 | 2013 |
| Verification of graph-based model transformations using alloy X Wang, F Büttner, Y Lamo Electronic Communications of the EASST 67, 2014 | 14 | 2014 |
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Verified email at list.lu
