| 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 | 640 | 2007 |
| Model transformations? transformation models! J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow Model Driven Engineering Languages and Systems: 9th International Conference …, 2006 | 264 | 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 | 132 | 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 | 111 | 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 | 77 | 2012 |
| On OCL-based imperative languages F Büttner, M Gogolla Science of Computer Programming 92, 162-178, 2014 | 53 | 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 | 34 | 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 | 32 | 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 | 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 |
| Digging into the Visitor Pattern. F Büttner, O Radfelder, A Lindow, M Gogolla SEKE, 135-141, 2004 | 27 | 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 | 26 | 2014 |
| Lightweight string reasoning for OCL F Büttner, J Cabot Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | 26 | 2012 |
| 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 |
| 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 | 26 | 2004 |
| Realizing UML metamodel transformations with AGG F Büttner, M Gogolla Electronic Notes in Theoretical Computer Science 109, 31-42, 2004 | 22 | 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 | 18 | 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 | 17 | 2013 |
| Verification of graph-based model transformations using alloy X Wang, F Büttner, Y Lamo Electronic Communications of the EASST 67, 2014 | 16 | 2014 |
| Realizing graph transformations by pre-and postconditions and command sequences F Büttner, M Gogolla International Conference on Graph Transformation, 398-413, 2006 | 14 | 2006 |
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)在 list.lu 的电子邮件经过验证
