Address: Formal Methods and Tools, Department of Computer Science, University of Twente, P.O. Box 217, NL-7500 AE Enschede, Netherlands.


I got my bachelor degree in Computer Engineering in Bilkent University (Ankara, Turkey) in 2009. My senior project is "Rule-Based Fault Detection System": An application for monitoring and detecting faults in Linux system created by other applications and allowing users to enter rules about memory and CPU Usage, state, etc of other processes.

Following my bachelor degree, I got my master degree in Computer Engineering in Bilkent University (Ankara, Turkey) in 2011. The research topic for my master study was Global Software Engineering. The title of my thesis is " Architectural Viewpoints for Global Software Development". In this thesis, we have proposed seven architectural viewpoints for modeling GSD architecture. The viewpoints include abstract and concrete (visual and textual) syntax definitions. To support the architect to derive architectural views, we have defined a question framework and related tool support.

Currently, I am a Phd candidate in Formal Methods and Tools (FMT) group in Twente University. I am working in the "Time Performance Improvement with Parallel Processing Systems" (TIPS) project. The project aims to developing techniques and tools for mapping software systems onto multicore processors.


Parallel Programming, Software Product Lines, Software Architecture Development, Model-Driven Development, Global Software Development.


Doctorate: Formal Methods and Tools Group, Twente University, 2013-…, currently processing.

Master:  Computer Engineering, Bilkent University, 2009-2011.

Undergraduate: Computer Engineering, Bilkent University, 2005-2009.

High School: Ankara Atatürk Anatolian High School, 2001-2005.



-  B.M.  Yildiz, C. M. Bockisch, A. Rensink, M. Aksit. A Timed-Automata Approach for Critical Path Detection in a Soft Real-Time Application, in Proc. Of Work in Progress Session of International Conference on Parallel, Distributed and Network-based Procesing, Turin, Italy, 2014.

-  B.M.  Yildiz, B.  Tekinerdogan,  S.  Cetin.  A  Tool  Framework  for  Deriving  the  Application  Architecture  for Global Software Development Projects,  in Proc. of International Conference on Global Software Engineering, Porto Alegre, Brasil, August, 2012.

-  B.M. Yildiz & B. Tekinerdogan.  Architectural Viewpoints for Global Software Development. in the Proc. of Global Software Engineering, First International Workshop on Architecting in Helsinki, pp. 9-16, August, 2011.

-  B.M. Yildiz & B. Tekinerdogan.  Meta-Model For Global Software Development to Support Portability and Interoperability,   in  Proc.  of  the  Sixth  International  Conference  on  Software  Engineering  Advances  (ICSEA 2011), Barcelona, Spain, pp. 98-103, October, 2011.


-  B.M.  Yildiz  &  B.  Tekinerdogan.  Domain  Specific  Language  for  Global  Software  Development   (Turkish), Proc. of the Fifth National Conference on Software Engineering   (UYMS 2011), pp. 189-197, Ankara, Turkey, September, 2011.

-  Buğra  M.  Yıldız,  Çağrı  Toraman,  Uğur  Bilen.  An  Aspect-Oriented  Development  of  a Banking  Management System. Fourth Turkish Aspect-Oriented Software Development Workshop, Ankara, Bilkent University, Turkey, 24 December, 2009.

-  Oğuzcan  Oğuz,  Murat  Kurtcephe,  Buğra  Mehmet  Yıldız.  Procedural  Modeling  of  Buildings.  First  National Symposium on Model-Driven Software Development, May 20, Bilkent University, Ankara, Turkey, 2009.

Technical Reports

- Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625



I have worked for 7 years as a tutor and assistant for the following courses in Bilkent University: CS101  Algorithms  and Programming I,  CS102 Algorithms and Programming II,  CS111 Introduction to Computing  in  Engineering  and  Science,  CS112  Introduction  to  Object-Oriented  Programming,  CS121 Introduction  to  Computing  for  Social  Sciences,  CS319  Object-Oriented  Software  Engineering,  CS411 Software  Architecture  Design,  CS413  Software  Project  Management,  CS415  Software  Product  Line Engineering, CS421 Computer Networks.

I have worked for as a project coach for “Have Fun and Play” course for one semester in University of Twente.


I like reading history, philosophy books and detective stories (especially Agatha Christie), and watching horror movies.

I  have  a  special  interest  in  Psychology and Sociology.  Not  only  reading  books,  but  also  I  have  taken a number of psychology and sociology courses officially and unofficially (as a visitor student). I  took part in some academic research projects from Psychology Department in 2008.

I like almost all kind of sports. I especially prefer fitness and hiking, playing football, table-tennis, badminton. Here, you can find me fighting against difficult natural conditions:



Safranbolu is my home town. Although its known history starts in prehistoric ages, it is more commonly known with its beautiful and well-preserved Ottoman-era architecture. This unique attribute of Safranbolu made itself as the first town in Turkey to be added to the list of UNESCO's World Heritage. 

Its name comes from the plant known as "Saffron" (Safran in Turkish). Safranbolu is the town where saffron is mostly produced in Turkey. This plant is known to be a great cure for most of the illnesses, but its most important feature is that it is used for coloring and adding smell. It can give yellow color to the water whose weight is 100000 times itself. Because of its rareness, it is sold as the most expensive herb in the world.

Safranbolu is also famous for its Turkish delights (lokum). You can find any kind of lokum with high quality there.

safranbolu-2012 (148)