SC Harvester Papers Database Interface

Statistical model checking of Timed Rebeca models

Ali Jafari, Ehsan Khamespanah, H. Kristinsson, M. Sirjani, Brynjar Magnusson. In: Comput. Lang. Syst. Struct.. 2016

Call for Papers: Issue 1/2018

J. Horkoff, Manfred Jeusfeld, J. Ralyté, D. Karagiannis. In: Business & Information Systems Engineering. 2016

Call for Papers: Issue 1/2018

J. Horkoff, Manfred Jeusfeld, J. Ralyté, D. Karagiannis. In: Business & Information Systems Engineering. 2016

Error Handling Algorithm and Probabilistic Analysis Under Fault for CAN-Based Steer-by-Wire System

M. Shah, A. R. Husain, Hüseyin Aysan, S. Punnekkat, R. Dobrin et al. In: IEEE Transactions on Industrial Informatics. 2016

Which Cloud Auto-Scaler Should I Use for my Application?: Benchmarking Auto-Scaling Algorithms

Ahmed Ali-Eldin, A. Ilyushkin, Bogdan Ghit, N. Herbst, A. Papadopoulos et al. In: Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering. 2016

Which Cloud Auto-Scaler Should I Use for my Application?: Benchmarking Auto-Scaling Algorithms

A. Ali-Eldin, A. Ilyushkin, Bogdan Ghit, N. Herbst, A. Papadopoulos et al. In: Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering. 2016

Abstract: Rapid elasticity is one of the essential characteristics of cloud computing identified by NIST [17]. Elasticity allows resources to be provisioned and released to scale rapidly out ward and in ward according to demand. Tens -- if not hundreds -- of algorithms have been proposed in the literature to automatically achieve elastic provisioning [15, 23, 14, 21, 13, 20, 6, 12, 16, 10]. These algorithms...

Interactive goal model analysis for early requirements engineering

Jennifer Horkoff, E. Yu. In: Requirements Engineering. 2016

MeSRAM - A method for assessing robustness of measurement programs in large software development organizations and its industrial evaluation

M. Staron, Wilhelm Meding. In: . 2016

Testing Quality Requirements of a System-of-Systems in the Public Sector - Challenges and Potential Remedies

Jacob Larsson, Markus Borg, Thomas Olsson. In: ArXiv. 2016

Abstract: Quality requirements is a difficult concept in software projects, and testing software qualities is a well-known challenge. Without proper management of quality requirements, there is an increased risk that the software product under development will not meet the expectations of its future users. In this paper, we share experiences from testing quality requirements when developing a large system-o...

Early execution time-estimation through automatically generated timing models

P. Altenbernd, J. Gustafsson, B. Lisper, F. Stappert. In: Real-Time Systems. 2016

DAVID: An open-source platform for real-time emotional speech transformation: With 25 applications in the behavioral sciences

L. Rachman, M. Liuni, P. Arias, A. Lind, Petter Johansson et al. In: bioRxiv. 2016

Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems

J. Steghöfer, H. Seebach, Benedikt Eberhardinger, Michael Huebschmann, W. Reif. In: Scalable Comput. Pract. Exp.. 2016

Dynamic Variability Management Supporting Operational Modes of a Power Plant Product Line

Rafael Capilla, J. Bosch. In: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems. 2016

Compositional schedulability analysis of real-time actor-based systems

M. Jaghoori, F. D. de Boer, D. Longuet, Tom Chothia, M. Sirjani. In: Acta Informatica. 2016

Compositional schedulability analysis of real-time actor-based systems

M. Jaghoori, F. D. Boer, D. Longuet, Tom Chothia, M. Sirjani. In: Acta Informatica. 2016