This paper presents a model-driven, stress test methodology aimed at increasing chances of
discovering faults related to network traffic in distributed real-time systems (DRTS). The …

Program synthesis with automated methods has been an active research area for many
years; however, we still lack well‐known and accepted techniques for this software …

This paper presents a quantitative framework for early prediction of resource usage and load
in distributed real-time systems (DRTS). The prediction is based on an analysis of UML 2.0 …

In many software development projects, performance requirements are not addressed until
after the application is developed or deployed, resulting in costly changes to the software or …

Early software fault detection offers more flexibility to correct errors in the early development
stages. Unfortunately, existing studies in this domain are not sufficiently comprehensive in …

This paper presents a quantitative framework for predicting resource usage and load in Real-
Time Systems (RTS). The prediction is based on an analysis of UML 2.0 sequence …

This paper presents an overview on the workshop on Specification and Validation of Real-
time and embedded Systems that has taken place for the second time in association with the …

Program synthesis with automated methods has been an active research area for many
years; however, we still lack well known and accepted techniques for this software …

Zentrales Thema dieser Arbeit ist die Verteilungsplanung für Softwarekomponenten in Smart
Item Umgebungen. Diese Infrastrukturen dienen dem Datenaustausch zwischen …

In many software development projects, performance requirements are not addressed until
after the application is developed or deployed, resulting in costly changes to the software or …