Fabian Büttner

According to our database, Fabian Büttner authored at least 31 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Lightweight string reasoning in model finding.

Fabian Büttner, Jordi Cabot

Softw. Syst. Model., 2015

2014

Verification of Authorization Policies Modified by Delegation.

Marina Egea, Fabian Büttner

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

On OCL-based imperative languages.

Fabian Büttner, Martin Gogolla

Sci. Comput. Program., 2014

Model-driven standardization of public authority data interchange.

Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek

Sci. Comput. Program., 2014

Verification of Graph-based Model Transformations Using Alloy.

Xiaoliang Wang, Fabian Büttner, Yngve Lamo

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2013

Analyzing Flowgraphs with ATL.

Valerio Cosentino, Massimo Tisi, Fabian Büttner

Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Initiating a Benchmark for UML and OCL Analysis Tools.

Martin Gogolla, Fabian Büttner, Jordi Cabot

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Automated Verification of Model Transformations in the Automotive Industry.

Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Checking Model Transformation Refinement.

Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara

Proceedings of the Theory and Practice of Model Transformations, 2013

2012

A benchmark for OCL engine accuracy, determinateness, and efficiency.

Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner

Softw. Syst. Model., 2012

On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.

Fabian Büttner, Marina Egea, Jordi Cabot

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE.

Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla

Proceedings of the Modellierung 2012, 14.-16. März 2012, Bamberg, Deutschland, 2012

EMFtoCSP: a tool for the lightweight verification of EMF models.

Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Verification of ATL Transformations Using Transformation Models and Model Finders.

Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla

Proceedings of the Formal Methods and Software Engineering, 2012

Lightweight String Reasoning for OCL.

Fabian Büttner, Jordi Cabot

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Reusing OCL in the definition of imperative languages.

Fabian Büttner

PhD thesis, 2011

Modular Embedding of the Object Constraint Language into a Programming Language.

Fabian Büttner, Martin Gogolla

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

On validation of ATL transformation rules by transformation models.

Fabian Büttner, Jordi Cabot, Martin Gogolla

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2009

On Better Understanding OCL Collections <i>or</i> An OCL Ordered Set Is Not an OCL Set.

Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow

Proceedings of the Models in Software Engineering, 2009

2008

Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.

Fabian Büttner, Mirco Kuhlmann

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.

Martin Gogolla, Mirco Kuhlmann, Fabian Büttner

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Shortcomings of the Embedding of OCL into QVT ImperativeOCL.

Fabian Büttner, Mirco Kuhlmann

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

2007

USE: A UML-based specification environment for validating UML and OCL.

Martin Gogolla, Fabian Büttner, Mark Richters

Sci. Comput. Program., 2007

From Graph Transformation to OCL Using USE.

Martin Gogolla, Fabian Büttner, Duc-Hanh Dang

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Model Transformations? Transformation Models!

Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.

Fabian Büttner, Martin Gogolla

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Transformation-Based Structure Model Evolution.

Fabian Büttner

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Towards Transformation of Integrity Constraints and Database States.

Fabian Büttner, Hanna Bauerdick, Martin Gogolla

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004

Realizing UML Metamodel Transformations with AGG.

Fabian Büttner, Martin Gogolla

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

Digging into the Visitor Pattern.

Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.

Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004