SC Harvester Papers Database Interface

Verifying the timing of a persistent storage for stateful fog applications

Z. Bakhshi, G. Rodríguez-Navas, H. Hansson. In: 2022 6th International Conference on Computer, Software and Modeling (ICCSM). 2022

Abstract: In this paper, we analyze the failure semantics of a persistent fault-tolerant storage solution for stateful fog applications. This storage system is a container-based solution that provides data availability and consistency in a distributed container-based fog architecture. We evaluate the behavior of this storage system with a formal model that includes all the important time parameters and temp...

Corrigendum: Task Roadmaps: Speeding Up Task Replanning

A. Lager, G. Spampinato, A. Papadopoulos, T. Nolte. In: Frontiers in Robotics and AI. 2022

Abstract: [This corrects the article DOI: 10.3389/frobt.2022.816355.]....

Big Tech’s power, political corporate social responsibility and regulation

Juho Lindman, Jukka Makinen, E. Kasanen. In: Journal of Information Technology. 2022

Abstract: The economic dominance of large Internet tech companies, specifically the ‘Big Five’ (Google, Apple, Meta née Facebook, Amazon and Microsoft), is fundamentally complicating the organisation of society. Their positions raise profound questions, old and new, at the intersection of information systems and political philosophy, where companies have traditionally appeared in liberal democracies as econ...

A retrospective clinical study of fixed tooth- and implant-supported prostheses in titanium and cobalt-chromium-ceramic: 5–9-year follow-up

S. Nilsson, V. Stenport, Marco Nilsson, Catharina Göthberg. In: Clinical Oral Investigations. 2022

Abstract: The aim of this retrospective study was to evaluate the clinical outcome of fixed tooth- and implant-supported protheses manufactured in porcelain veneered cobalt-chromium (CoCr) or titanium with a follow-up period of 5–9 years. This study included 63 patients with a total of 86 fixed dental protheses (FDPs) (53 implant-supported and 33 tooth-supported). In total, 67 were short-span FDPs (3–5 unit...

Optimization-based attack against control systems with CUSUM-based anomaly detection

Gabriele Gualandi, M. Maggio, A. Papadopoulos. In: 2022 30th Mediterranean Conference on Control and Automation (MED). 2022

Abstract: Security attacks on sensor data can deceive a control system and force the physical plant to reach an unwanted and potentially dangerous state. Therefore, attack detection mechanisms are employed in cyber-physical control systems to detect ongoing attacks, the most prominent one being a threshold-based anomaly detection method called CUSUM. Literature defines the maximum impact of stealth attacks ...

Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation

Danny Weyns, I. Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica et al. In: ACM SIGSOFT Software Engineering Notes. 2022

Abstract: Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introduced to support research in the field of self-adaptive systems. While these artifacts have shown their value, it is not clear to what extent these artifacts support research on problems in self-adaptation that are relevan...

The integration of machine learning into automated test generation: A systematic mapping study

Afonso Fontes, Gregory Gay. In: Software Testing. 2022

Abstract: Machine learning (ML) may enable effective automated test generation. We characterize emerging research, examining testing practices, researcher goals, ML techniques applied, evaluation, and challenges in this intersection by performing. We perform a systematic mapping study on a sample of 124 publications. ML generates input for system, GUI, unit, performance, and combinatorial testing or improve...

The integration of machine learning into automated test generation: A systematic mapping study

Afonso Fontes, Gregory Gay. In: Software Testing. 2022

Abstract: Machine learning (ML) may enable effective automated test generation. We characterize emerging research, examining testing practices, researcher goals, ML techniques applied, evaluation, and challenges in this intersection by performing. We perform a systematic mapping study on a sample of 124 publications. ML generates input for system, GUI, unit, performance, and combinatorial testing or improve...

Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study

István Dávid, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi et al. In: Software and Systems Modeling. 2022

Digital transformation in local government organisations: empirical evidence from blockchain initiatives

Stanislav Mahula, Mikael Lindquist, Livia Norström, Juho Lindman. In: Proceedings of the 23rd Annual International Conference on Digital Government Research. 2022

Abstract: Local government organisations are the first contact between the citizen and state authorities. However, the rapid technological development in the private sector raises questions on how public actors can keep up. Seeking improvement, local governments undergo the process of digital transformation (DT). This encompasses a variety of processes and initiatives, including experimenting with new techn...

AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision

M. Riazati, M. Daneshtalab, Mikael Sjödin, B. Lisper. In: 2022 IEEE 4th International Conference on Artificial Intelligence Circuits and Systems (AICAS). 2022

Abstract: Deep Neural Networks (DNN) have received much attention in various applications such as visual recognition, self-driving cars, health care, etc. Hardware implementation, specifically using FPGA and ASIC due to their high performance and low power consumption, is considered an efficient method. However, implementation on these platforms is difficult for neural network designers since they usually h...

The changing face of Turner syndrome.

C. Gravholt, M. Viuff, J. Just, K. Sandahl, Sara Brun et al. In: Endocrine reviews. 2022

Abstract: Turner syndrome is a condition in females missing the second sex chromosome (45,X) or parts thereof. It is considered a rare genetic condition and is associated with a wide range of clinical stigmata, such as short stature, ovarian dysgenesis, delayed puberty and infertility, congenital malformations, endocrine disorders, including a range of autoimmune conditions and type 2 diabetes and neurocogn...

The epidemiology of non-alcoholic steatohepatitis (NASH) in the United States between 2010-2020: a population-based study.

Osama Hamid, Ahmed Eltelbany, Abdul Mohammed, K. A. Alchirazi, S. Trakroo et al. In: Annals of hepatology. 2022

Constituent Systems Quality Requirements Engineering in Co-opetitive Systems of Systems

Pontus Svenson, Thomas Olsson, J. Axelsson. In: 2022 17th Annual System of Systems Engineering Conference (SOSE). 2022

Abstract: Systems of systems consist of independently owned, operated, and developed constituent systems that work together for mutual benefit. Co-opetitive systems of systems consist of constituent systems that in addition also compete. In this paper, we focus on quality requirement engineering for a constituent systems developer in such SoS. We discuss the needs and requirements of a structured quality re...

HERMES: Heuristic Multi-queue Scheduler for TSN Time-Triggered Traffic with Zero Reception Jitter Capabilities

D. Bujosa, M. Ashjaei, A. Papadopoulos, Thomas Nolte, J. Proenza. In: Proceedings of the 30th International Conference on Real-Time Networks and Systems. 2022

Abstract: The Time-Sensitive Networking (TSN) standards provide a toolbox of features to be utilized in various application domains.The core TSN features include deterministic zero-jitter and low-latency data transmission and transmitting traffic with various levels of time-criticality on the same network. To achieve a deterministic transmission, the TSN standards define a time-aware shaper that coordinates...