SC Harvester Papers Database Interface

Safety assurance and certification : Current practices, challenges, and brainstorming on ways forward

B. Gallina. In: . 2019

The AMASS Approach for Assurance and Certification of Critical Systems

J. Vara, Alejandra Ruiz López, B. Gallina, Gaël Blondelle, E. Alaña et al. In: . 2019

Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262

B. Gallina, M. Javed, H. Martin, R. Bramberger. In: . 2019

A Budget-Constrained Placement of Controller Nodes for Maximizing the Network Performance in SDN-Enabled WSNs

S. Mousavi, Saber Fazliahmadi, N. Rasouli, H. Faragardi, H. Fotouhi et al. In: . 2019

State-OfThe-Art on eHealth @ home System Architectures

Benjamin Heravi, M. Björkman, H. Fotouhi, Detlef Scholle. 2019

A Quantum-Annealing-Based Approach to Optimize the Deployment Cost of a Multi-Sink Multi-Controller WSN

R. Nikouei, N. Rasouli, Shirin Tahmasebi, Somayeh Zolfi, H. Faragardi et al. In: Procedia Computer Science. 2019

Abstract: Software Defined Networking (SDN) provides network significant reconfiguration capability to Wireless Sensor Networks (WSNs). SDN is a promising technique for WSNs with high scalability and high re ......

An Empirical Study on Decision making for Quality Requirements

Thomas Olsson, K. Wnuk, T. Gorschek. In: J. Syst. Softw.. 2018

Abstract: Context: Quality requirements are important for product success yet often handled poorly. The problems with scope decision lead to delayed handling and an unbalanced scope. Objective: This study ch ......

Improving Defect Localization by Classifying the Affected Asset Using Machine Learning

Sam Halali, M. Staron, Mirosław Ochodek, Wilhelm Meding. In: . 2018

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions

Simin Cai, B. Gallina, Dag Nyström, C. Seceleanu. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). 2018

Abstract: Although atomicity, isolation and temporal correctness are crucial to the dependability of many real-time database-centric systems, the selected assurance mechanism for one property may breach another. Trading off these properties requires to specify and analyze their dependencies, together with the selected supporting mechanisms (abort recovery, concurrency control, and scheduling), which is stil...

What Do Agile Teams Find Important for Their Success?

H. Alahyari, J. Horkoff, Olliver Matsson, Kim Egenvall. In: 2018 25th Asia-Pacific Software Engineering Conference (APSEC). 2018

Abstract: Although the general benefits of agile methods have been shown, it is not always clear what makes the application of agile successful or not in a company. With this motivation, we investigate agile success factors, particularly from the viewpoint of teams. We conduct in-company surveys to collect and rank agile team success factors, comparing these results with success factors found in the literat...

A Review on Software Architectures for Heterogeneous Platforms

H. Andrade, I. Crnkovic. In: 2018 25th Asia-Pacific Software Engineering Conference (APSEC). 2018

Abstract: The increasing demands for computing performance have been a reality regardless of the requirements for smaller and more energy efficient devices. Throughout the years, the strategy adopted by industry was to increase the robustness of a single processor by increasing its clock frequency and mounting more transistors so more calculations could be executed. However, it is known that the physical li...

Measurement and Impact Factors of Speed of Reviews and Integration in Continuous Software Engineering

M. Staron, Wilhelm Meding, Ola Söder, Magnus Bäck. In: Foundations of Computing and Decision Sciences. 2018

Abstract: Abstract Continuous integration and continuous software deployment depend on the mix of automated and manual activities. The automated build and test processes are often intertwined with manual reviews and bug-fixing activities. In this paper, we set o to study how these manual and automated activities influence the speed of reviews and integration. We conduct a case study of two companies develop...

Measurements in the Early Stage Software Start-ups: A Multiple Case Study in a Nascent Ecosystem

Grace Kamulegeya, Raymond Mugwanya, R. Hebig. In: Foundations of Computing and Decision Sciences. 2018

Abstract: Abstract Context: Software measurement is crucial to stay competitive and deliver quality software products. Problem: While much research has been done on measurement in large companies in developed countries, there is limited research on measurement in start-ups. So far there are no studies on whether these results apply to nascent ecosystems, such as those in East Africa. Goal: The aim of this s...

Actor-based macroscopic modeling and simulation for smart urban planning

Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, M. Sirjani. In: Sci. Comput. Program.. 2018

Abstract: Abstract Assessing the impacts of a mobility initiative prior to deployment is a complex task for both urban planners and transport companies. Computational models like Tangramob offer an agent-based framework for simulating the evolution of urban traffic after the introduction of new mobility services. However, simulations can be computationally expensive to perform due to their iterative nature ...

An Activity and Metric Model for Online Controlled Experiments

D. I. Mattos, Pavel A. Dmitriev, Aleksander Fabijan, J. Bosch, H. Olsson. In: . 2018