SC Harvester Papers Database Interface

Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report

Luciana Provenzano, Kaj Hänninen. In: . 2017

Self-adaptation for Individual Self-aware Computing Systems

M. Maggio, T. Abdelzaher, Lukas Esterle, H. Giese, J. Kephart et al. In: . 2017

Using machine learning to design a flexible LOC counter

Mirosław Ochodek, M. Staron, Dominik Bargowski, Wilhelm Meding, R. Hebig. In: 2017 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE). 2017

On tackling quality threats for the assessment of measurement programs: A case study on the distribution of metric usage and knowledge

R. Hebig, Haoyu Wang. In: Sci. Comput. Program.. 2017

Preface to the special issue on advances in software measurement

M. Staron, Wilhelm Meding, A. Abran, J. Bosch. In: Sci. Comput. Program.. 2017

From LiDAR to Underground Maps via 5G - Business Models Enabling a System-of-Systems Approach to Mapping the Kankberg Mine

Markus Borg, Thomas Olsson, Jonny Svensson. In: ArXiv. 2017

Abstract: With ever-increasing productivity targets in mining operations, there is a growing interest in mining automation. The PIMM project addresses the fundamental challenge of network communication by constructing a pilot 5G network in the underground mine Kankberg. In this report, we discuss how such a 5G network could constitute the essential infrastructure to organize existing systems in Kankberg int...

Do Software Reliability Prediction Models Meet Industrial Perceptions?

S. Joshi, Bharat M. Deshpande, S. Punnekkat. In: Proceedings of the 10th Innovations in Software Engineering Conference. 2017

Control Strategies for Self-Adaptive Software Systems

A. Filieri, M. Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, I. Gerostathopoulos et al. In: ACM Transactions on Autonomous and Adaptive Systems (TAAS). 2017

Abstract: The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical groundi...

Special section on: Reliability and Safety Certification of Software-Intensive Systems

B. Gallina, R. Natella. In: Reliab. Eng. Syst. Saf.. 2017

Proactive reviews of textual requirements

Vard Antinyan, M. Staron. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 2017

APP4MC: Application platform project for multi- and many-core systems

Robert Hoettger, H. Mackamul, A. Sailer, J. Steghöfer, Jörg Tessmer. In: it - Information Technology. 2017

Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis

A. Papadopoulos, F. Terraneo, A. Leva, M. Prandini. In: IEEE Transactions on Automatic Control. 2017

Abstract: We study feedback control for a discrete-time integrator with unitary delay in the presence of quantization both in the control action and in the measurement of the controlled variable. In some applications the quantization effects can be neglected, but when high precision is needed, they have to be explicitly accounted for in control design. In this paper, we propose a switched control solution f...

Conceptualizing Big Social Data

Ekaterina Olshannikova, Thomas Olsson, Jukka Huhtamäki, H. Kärkkäinen. In: Journal of Big Data. 2017

Abstract: The popularity of social media and computer-mediated communication has resulted in high-volume and highly semantic data about digital social interactions. This constantly accumulating data has been termed as Big Social Data or Social Big Data, and various visions about how to utilize that have been presented. However, as relatively new concepts, there are no solid and commonly agreed definitions o...

A Portfolio of Internal Quality Metrics for Software Architects

M. Staron, Wilhelm Meding. In: . 2017

Challenges of Establishing Traceability in the Automotive Domain

Salome Maro, M. Staron, J. Steghöfer. In: . 2017