research
∙
03/22/2023
IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing
Nowadays, industries are looking into virtualization as an effective mea...
share
research
∙
01/18/2023
Run-time Failure Detection via Non-intrusive Event Analysis in a Large-Scale Cloud Computing Platform
Cloud computing systems fail in complex and unforeseen ways due to unexp...
research
∙
09/05/2022
RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
Orchestration systems are becoming a key component to automatically mana...
research
∙
09/01/2022
Towards Assessing Isolation Properties in Partitioning Hypervisors
Partitioning hypervisor solutions are becoming increasingly popular, to ...
research
∙
08/30/2022
On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems
Railway signaling systems provide numerous critical functions at differe...
research
∙
08/26/2022
A Latency-driven Availability Assessment for Multi-Tenant Service Chains
Nowadays, most telecommunication services adhere to the Service Function...
research
∙
05/27/2022
Introducing k4.0s: a Model for Mixed-Criticality Container Orchestration in Industry 4.0
Time predictable edge cloud is seen as the answer for many arising needs...
research
∙
05/25/2022
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
Nowadays, a feature-rich automotive vehicle offers several technologies ...
research
∙
01/19/2022
ThorFI: A Novel Approach for Network Fault Injection as a Service
In this work, we present a novel fault injection solution (ThorFI) for v...
research
∙
12/31/2021
Virtualization over Multiprocessor System-on-Chip: an Enabling Paradigm for Industrial IoT
The next-generation Industrial Internet of Things (IIoT) inherently requ...
research
∙
12/13/2021
Virtualizing Mixed-Criticality Systems: A Survey on Industrial Trends and Issues
Virtualization is gaining attraction in the industry as it promises a fl...
research
∙
12/13/2021
Software Micro-Rejuvenation for Android Mobile Systems
Software aging – the phenomenon affecting many long-running systems, cau...
research
∙
06/29/2021
Enhancing the Analysis of Software Failures in Cloud Computing Systems with Deep Learning
Identifying the failure modes of cloud computing systems is a difficult ...
research
∙
04/28/2021
Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification
Virtualization technology is nowadays adopted in security-critical embed...
research
∙
10/13/2020
Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
Software bugs in cloud management systems often cause erratic behavior, ...
research
∙
09/30/2020
Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems
Cloud computing systems fail in complex and unexpected ways due to unexp...
research
∙
05/11/2020
ProFIPy: Programmable Software Fault Injection as-a-Service
In this paper, we present a new fault injection tool (ProFIPy) for Pytho...
research
∙
09/20/2019
Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization
A promising approach for designing critical embedded systems is based on...
research
∙
08/30/2019
Enhancing Failure Propagation Analysis in Cloud Computing Systems
In order to plan for failure recovery, the designers of cloud systems ne...
research
∙
08/29/2019
Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform
Many research areas in software engineering, such as mutation testing, a...
research
∙
07/09/2019