E-LIB Suche - Ergebnisse für: Büttner, Fabian

1

Treatment of diabetic kidney disease. A network meta-analys..:

Büttner, Fabian ; Barbosa, Clara Vollmer ; Lang, Hannah...
PLOS ONE. 18 (2023) 11 - p. e0293183 , 2023

Link: https://doi.org/10.1371/..

2

On OCL-based imperative languages:

Büttner, Fabian ; Gogolla, Martin
Science of Computer Programming. 92 (2014) - p. 162-178 , 2014

Link: https://doi.org/10.1016/..

3

Model-driven standardization of public authority data inter..:

Büttner, Fabian ; Bartels, Ullrich ; Hamann, Lars...
Science of Computer Programming. 89 (2014) - p. 162-175 , 2014

Link: https://doi.org/10.1016/..

4

Lightweight string reasoning in model finding:

Büttner, Fabian ; Cabot, Jordi
Software & Systems Modeling. 14 (2013) 1 - p. 413-427 , 2013

Link: https://doi.org/10.1007/..

5

Etablierung der Chromatin-Immunopräzipitation für in vivo..:

Büttner, Fabian , 2012

Link: http://nbn-resolving.de/..

6

EMFtoCSP : a tool for the lightweight verification of EM..:

, In: Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches,

González, Carlos A. ; Büttner, Fabian ; Clarisó, Robert. - p. 44-50 , 2012

Link: https://dl.acm.org/doi/1..

7

On verifying ATL transformations using 'off-the-shelf' SMT ..:

, In: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems,

Büttner, Fabian ; Egea, Marina ; Cabot, Jordi - p. 432-448 , 2012

Link: https://dl.acm.org/doi/1..

8

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

, In: Model Driven Engineering Languages and Systems; Lecture Notes in Computer Science,

Büttner, Fabian ; Egea, Marina ; Cabot, Jordi - p. 432-448 , 2012

Link: https://doi.org/10.1007/..

9

Reusing OCL in the definition of imperative languages:

Büttner, Fabian , 2011

Exemplare: Zentrale;

10

On validation of ATL transformation rules by transformation..:

, In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation,

Büttner, Fabian ; Cabot, Jordi ; Gogolla, Martin - p. 1-8 , 2011

Link: https://dl.acm.org/doi/1..

11

On Better Understanding OCL Collections or An OCL Ordered S..:

, In: Models in Software Engineering; Lecture Notes in Computer Science,

Büttner, Fabian ; Gogolla, Martin ; Hamann, Lars.. - p. 276-290 , 2010

Link: https://doi.org/10.1007/..

12

A benchmark for OCL engine accuracy, determinateness, and e..:

Kuhlmann, Mirco ; Hamann, Lars ; Gogolla, Martin.
Software & Systems Modeling. 11 (2010) 2 - p. 165-182 , 2010

Link: https://doi.org/10.1007/..

13

Genomic response of the rat brain to global ischemia and re..:

Büttner, Fabian ; Cordes, Christian ; Gerlach, Frank...
Brain Research. 1252 (2009) - p. 1-14 , 2009

Link: https://doi.org/10.1016/..

14

On better understanding OCL collections or an OCL ordered s..:

, In: Proceedings of the 2009 international conference on Models in Software Engineering,

Büttner, Fabian ; Gogolla, Martin ; Hamann, Lars.. - p. 276-290 , 2009

Link: https://dl.acm.org/doi/1..

15

USE: A UML-based specification environment for validating U..:

Gogolla, Martin ; Büttner, Fabian ; Richters, Mark
Science of Computer Programming. 69 (2007) 1-3 - p. 27-34 , 2007

Link: https://doi.org/10.1016/..