E-LIB Suche - Ergebnisse für: Yildiz, Bugra M.

1

An MDE Approach for Modular Program Analyses:

, In: Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming,

Yildiz, Bugra M. ; Bockisch, Christoph ; Rensink, Arend. - p. 1-5 , 2017

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

2

How to Efficiently Build a Front-End Tool for UPPAAL: A Mod..:

Schivo, Stefano ; Yildiz, Bugra M ; Ruijters, Enno...
Lecture Notes in Computer Science. , 2022

Link: https://publikationen.bi..

3

A Model-Derivation Framework for Software Analysis:

Yildiz, Bugra M ; Rensink, Arend ; Bockisch, Christoph.
http://arxiv.org/abs/1703.06576. , 2017

Link: http://arxiv.org/abs/170..

4

A model-driven framework for hardware-software co-design of..:

Ahmad, Waheed ; Yildiz, Bugra M ; Rensink, Arend.
http://doc.utwente.nl/101851/1/mainExtended.pdf. , 2016

Link: http://purl.utwente.nl/p..

5

A model-derivation framework for timing analysis of Java so..:

Yildiz, Bugra M ; Rensink, Arend ; Bockisch, Christoph.
http://doc.utwente.nl/98885/1/Technical_Report_BMY_30.12.2015.pdf. , 2015

Link: http://purl.utwente.nl/p..

6

A Model-Derivation Framework for Software Analysis:

Bugra M. Yildiz ; Arend Rensink ; Christoph Bockisch.
http://arxiv.org/pdf/1703.06576v1. , 2017

Link: https://doi.org/10.4204/..

7

A timed-automata approach for critical path detection in a ..:

Yildiz, Bugra M ; Bockisch, Christoph M ; Rensink, Arend.
http://doc.utwente.nl/93191/1/Yildiz-A_Timed-Automata_Approach_for_Critical.pdf. , 2014

Link: http://purl.utwente.nl/p..

8

Ab-initio Calculations; Mechanical and Electronic Propertie..:

ERKİŞİ, AYTAÇ ; YILDIZ, BUĞRA
8a7a23ae-a66b-40ad-95b2-df9f5da6d960. , 2021

Link: https://doi.org/10.29233..

9

The investigation of electronic, anisotropic elastic and la..:

Sürücü, Gökhan ; Yıldız, Buğra ; Erkişi, Aytaç..
10.1016/j.jallcom.2020.155436. , 2020

Link: https://hdl.handle.net/2..

10

The investigation of electronic, anisotropic elastic and la..:

Surucu, Gokhan ; YILDIZ, BUĞRA ; Erkisi, Aytac..
Surucu G., YILDIZ B., Erkisi A., Wang X., Surucu O., "The investigation of electronic, anisotropic elastic and lattice dynamical properties of MAB phase nanolaminated ternary borides: M 2 AlB 2 ( M = Mn , Fe and Co ) under spin effects", JOURNAL OF ALLOYS AND COMPOUNDS, cilt.838, 2020. , 2020

Link: https://hdl.handle.net/1..

11

Accurate diagnosis of acute abdomen in FMF and acute append..:

Kisacik, Bunyamin ; Kalyoncu, Umut ; Erol, M. Fatih...
Clinical Rheumatology. 26 (2007) 12 - p. 2059-2062 , 2007

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

12

The prognostic impact of comorbidity, nutritional and perfo..:

Sağlam, Buğra ; Albayrak, M ; Yıldız, Abdulkerim...
Nigerian Journal of Clinical Practice. , 2023

Link: https://hdl.handle.net/2..

13

Effective Analysis of Attack Trees: A Model-Driven Approach:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Kumar, Rajesh ; Schivo, Stefano ; Ruijters, Enno... - p. 56-73 , 2018

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

14

Protective Effect of Nicotine on Sepsis-Induced Oxidative M..:

Özdemir-Kumral, Zarife N. ; Özbeyli, Dilek ; Özdemir, Ahmet F....
Nicotine & Tobacco Research. 19 (2017) 7 - p. 859-864 , 2017

Link: https://www.jstor.org/st..

15

Protective Effect of Nicotine on Sepsis-Induced Oxidative M..:

Özdemir-Kumral, Zarife N. ; Özbeyli, Dilek ; Özdemir, Ahmet F....
Nicotine & Tobacco Research. , 2016

Link: https://doi.org/10.1093/..