• Publications
  • Influence
Architectural Viewpoints for Global Software Development
TLDR
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
  • 7
  • PDF
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
TLDR
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
  • 9
A Model-Derivation Framework for Software Analysis
TLDR
This paper presents a framework that automatically derives models from Java programs that can be used by a model checker. Expand
  • 3
  • PDF
A Tool Framework for Deriving the Application Architecture for Global Software Development Projects
TLDR
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
  • 4
  • PDF
A model-derivation framework for timing analysis of Java software Systems
TLDR
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
  • 3
  • PDF
A Java Bytecode Metamodel for Composable Program Analyses
TLDR
Program analyses are an important tool to check if a system fulfills its specification. Expand
  • 2
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications
TLDR
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
  • 4
  • PDF
Meta-Model for global software development to support portability and interoperability
TLDR
We propose to apply model-driven architecture design (MDA) approach to GSD to address portability and interoperability problems. Expand
  • 3
  • PDF
An MDE Approach for Modular Program Analyses
TLDR
We propose an Ecore-metamodel for covering Java bytecode completely, which can act as a common basis for program analyses. Expand
  • 1
First-principles studies of Ti n+1 SiN n (n = 1, 2, 3) MAX phase
ABSTRACT In this study, the structural, electronic, mechanical, lattice dynamical and thermodynamic characteristics of ( 1, 2 and 3) phase compounds were investigated using the first principleExpand