Add to ORKGIn our mission to advance innovation by industrial adoption of academic results, we perform many projects with high-tech industries. Favoring formal methods, we observe a gap between industrial needs in performance modeling and the analysis capabilities of formal methods for this goal. After clarifying this gap, we highlight some relevant deficiencies for state-of-the-art quantitative analysis techniques (focusing on model checking and simulation). As an ingredient to bridging the gap, we propose to unite domain-specific industrial contexts with academic performance approaches through Domain Specific Languages (DSLs). We illustrate our vision with examples from different high-tech industries and discuss lessons learned from the migration pr...
The increasing complexity of embedded systems requires performance evaluation early in the design ph...
Big Data applications represent an emerging field, which have proved to be crucial in business intel...
We address the issue of the development of performance models for programs that may be executed on l...
Performance benchmarks are domain specific applications that are specialized to a certain set of tec...
In this short paper I will address the question whether the methods and techniques we develop are ap...
Domain specific modelling (DSM) is used typically on various computer application domains to allevia...
One of the current unsolved problems in human factors is the difficulty in acquiring information fro...
During the last decade the gap between software modeling and performancemodeling has been closing. F...
Involvement in the production of software often reduces a scientist’s productivity. While this has a...
Achieving the best possible cost performance for a system is often the goal of the manager of that s...
• Performance models are still not in widespread industry use (Koziolek 2010, Mayer et al. 2011): – ...
International audiencePerformance measurement systems have gotten remarking development since the 19...
We address the issue of the development of performance models for programs that may be executed on l...
The increasing complexity of embedded systems requires performance evaluation early in the design ph...
A call for the perfect marriage between classical performance evaluation and state-of-the-art verifi...
The increasing complexity of embedded systems requires performance evaluation early in the design ph...
Big Data applications represent an emerging field, which have proved to be crucial in business intel...
We address the issue of the development of performance models for programs that may be executed on l...
Performance benchmarks are domain specific applications that are specialized to a certain set of tec...
In this short paper I will address the question whether the methods and techniques we develop are ap...
Domain specific modelling (DSM) is used typically on various computer application domains to allevia...
One of the current unsolved problems in human factors is the difficulty in acquiring information fro...
During the last decade the gap between software modeling and performancemodeling has been closing. F...
Involvement in the production of software often reduces a scientist’s productivity. While this has a...
Achieving the best possible cost performance for a system is often the goal of the manager of that s...
• Performance models are still not in widespread industry use (Koziolek 2010, Mayer et al. 2011): – ...
International audiencePerformance measurement systems have gotten remarking development since the 19...
We address the issue of the development of performance models for programs that may be executed on l...
The increasing complexity of embedded systems requires performance evaluation early in the design ph...
A call for the perfect marriage between classical performance evaluation and state-of-the-art verifi...
The increasing complexity of embedded systems requires performance evaluation early in the design ph...
Big Data applications represent an emerging field, which have proved to be crucial in business intel...
We address the issue of the development of performance models for programs that may be executed on l...