Filter Results:
- Full text PDF available (5)
Publication Year
2011
2019
- This year (1)
- Last 5 years (9)
- Last 10 years (12)
Supplemental Content
Publication Type
Co-author
Journals and Conferences
Learn More
- Stefano Schivo, Bugra M. Yildiz, +5 authors Mariëlle Stoelinga
- SETTA
- 2017
We propose a model-driven engineering approach that facilitates the production of tool chains that use the popular model checker Uppaal as a back-end analysis tool. In this approach, we introduce a… (More)
One of the main challenges in developing a software system is to assure that its properties fulfill the specifications. In the context of this paper, we are especially interested in timing… (More)
- Bugra M. Yildiz, Bedir Tekinerdogan
- IEEE Sixth International Conference on Global…
- 2011
Global Software Development (GSD) can be considered as the coordinated activity of software development that is not localized and central but geographically distributed. Designing an appropriate… (More)
- Bugra M. Yildiz, Bedir Tekinerdogan, Semih Cetin
- IEEE Seventh International Conference on Global…
- 2012
In order to meet the communication, coordination and control requirements of distributed Global Software Development (GSD) teams, it is necessary to define a proper software architecture. Designing a… (More)
- Bugra M. Yildiz, Bedir Tekinerdogan
- ICSEA
- 2011
Global Software Development (GSD) considers the coordinated activity of software development that is not localized and central but geographically distributed. To support coordination among sites,… (More)
- Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
- CyPhy
- 2016
Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties… (More)
- Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit
- MARS@ETAPS
- 2017
Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that… (More)
- Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
- Programming
- 2017
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for program analyses is to use an imperative, general-purpose language like… (More)
- Waheed Ahmad, Twan Basten, +12 authors Marielle Stoelinga
- 2017
In the past decade, demand for high performance computing has been steadily increasing throughout the computing spectrum, all the way from high-end supercomputers, down to small handheld devices. To… (More)
- Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
- STAF Workshops
- 2017
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for program analyses is to use an imperative, general-purpose language like… (More)