default search action
Fabian Büttner
Person information
- affiliation: University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j7]Fabian Büttner, Jordi Cabot:
Lightweight string reasoning in model finding. Softw. Syst. Model. 14(1): 413-427 (2015) - 2014
- [j6]Xiaoliang Wang, Fabian Büttner, Yngve Lamo:
Verification of Graph-based Model Transformations Using Alloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j5]Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek:
Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89: 162-175 (2014) - [j4]Fabian Büttner, Martin Gogolla:
On OCL-based imperative languages. Sci. Comput. Program. 92: 162-178 (2014) - [p1]Marina Egea, Fabian Büttner:
Verification of Authorization Policies Modified by Delegation. Engineering Secure Future Internet Services and Systems 2014: 287-314 - 2013
- [c22]Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara:
Checking Model Transformation Refinement. ICMT 2013: 158-173 - [c21]Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang:
Automated Verification of Model Transformations in the Automotive Industry. MoDELS 2013: 690-706 - [c20]Martin Gogolla, Fabian Büttner, Jordi Cabot:
Initiating a Benchmark for UML and OCL Analysis Tools. TAP@STAF 2013: 115-132 - [c19]Valerio Cosentino, Massimo Tisi, Fabian Büttner:
Analyzing Flowgraphs with ATL. TTC 2013: 32-36 - 2012
- [j3]Mirco Kuhlmann, Lars Hamann, Martin Gogolla, Fabian Büttner:
A benchmark for OCL engine accuracy, determinateness, and efficiency. Softw. Syst. Model. 11(2): 165-182 (2012) - [c18]Fabian Büttner, Jordi Cabot:
Lightweight String Reasoning for OCL. ECMFA 2012: 244-258 - [c17]Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla:
Verification of ATL Transformations Using Transformation Models and Model Finders. ICFEM 2012: 198-213 - [c16]Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot:
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE 2012: 44-50 - [c15]Lars Hamann, Fabian Büttner, Mirco Kuhlmann, Martin Gogolla:
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. Modellierung 2012: 155-170 - [c14]Fabian Büttner, Marina Egea, Jordi Cabot:
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. MoDELS 2012: 432-448 - 2011
- [b1]Fabian Büttner:
Reusing OCL in the definition of imperative languages. University of Bremen, 2011, ISBN 978-3-8325-2811-9, pp. 1-197 - [c13]Fabian Büttner, Jordi Cabot, Martin Gogolla:
On validation of ATL transformation rules by transformation models. MoDeVVa@MoDELS 2011: 9:1-9:8 - [c12]Fabian Büttner, Martin Gogolla:
Modular Embedding of the Object Constraint Language into a Programming Language. SBMF 2011: 124-139
2000 – 2009
- 2009
- [c11]Fabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow:
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. MoDELS (Workshops) 2009: 276-290 - 2008
- [j2]Fabian Büttner, Mirco Kuhlmann:
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008) - [c10]Fabian Büttner, Mirco Kuhlmann:
Shortcomings of the Embedding of OCL into QVT ImperativeOCL. MoDELS (Workshops) 2008: 263-272 - [c9]Martin Gogolla, Mirco Kuhlmann, Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. MoDELS 2008: 446-459 - 2007
- [j1]Martin Gogolla, Fabian Büttner, Mark Richters:
USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3): 27-34 (2007) - [c8]Martin Gogolla, Fabian Büttner, Duc-Hanh Dang:
From Graph Transformation to OCL Using USE. AGTIVE 2007: 585-586 - 2006
- [c7]Fabian Büttner, Martin Gogolla:
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. ICGT 2006: 398-413 - [c6]Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow:
Model Transformations? Transformation Models! MoDELS 2006: 440-453 - 2005
- [c5]Fabian Büttner, Hanna Bauerdick, Martin Gogolla:
Towards Transformation of Integrity Constraints and Database States. DEXA Workshops 2005: 823-828 - [c4]Fabian Büttner:
Transformation-Based Structure Model Evolution. MoDELS (Satellite Events) 2005: 339-340 - 2004
- [c3]Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann:
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. Modellierung 2004: 281-282 - [c2]Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla:
Digging into the Visitor Pattern. SEKE 2004: 135-141 - [c1]Fabian Büttner, Martin Gogolla:
Realizing UML Metamodel Transformations with AGG. GT-VMT@ETAPS 2004: 31-42
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint