Bugra M. Yildiz

We propose six architectural viewpoints that have been specifically defined to model GSD systems, based on a meta-model that has been derived after a thorough domain analysis of the GSD literature. Expand

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. Expand

This paper presents a framework that automatically derives models from Java programs that can be used by a model checker. Expand

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. Expand

This paper presents a framework that derives models from Java programs in an automated way for analyzing timing properties of programs using model-checking. Expand

Program analyses are an important tool to check if a system fulfills its specification. Expand

This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. Expand

We propose to apply model-driven architecture design (MDA) approach to GSD to address portability and interoperability problems. Expand

We propose an Ecore-metamodel for covering Java bytecode completely, which can act as a common basis for program analyses. Expand