Semantic Reflection and Digital Twins: A Comprehensive Overview
E Kamburjan, A Pferscher, R Schlatte, R Sieve… - The Combined Power of …, 2024 - Springer
Semantic reflection combines reflection in programming languages with semantic
technologies for knowledge representation. It enables a program to represent and query its …
technologies for knowledge representation. It enables a program to represent and query its …
Quantitative robustness analysis of sensor attacks on cyber-physical systems
This paper contributes a formal framework for quantitative analysis of bounded sensor
attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a …
attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a …
Formal impact metrics for cyber-physical attacks
Cyber-Physical systems (CPSs) are exposed to cyber-physical attacks, ie, security breaches
in cyberspace that adversely affect the physical processes of the systems. We define two …
in cyberspace that adversely affect the physical processes of the systems. We define two …
Type-Based Verification of Delegated Control in Hybrid~ Systems (Full Version)
E Kamburjan, M Lienhardt - arXiv preprint arXiv:2310.01370, 2023 - arxiv.org
We present a post-region-based verification system for distributed hybrid systems modeled
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
Actors Upgraded for Variability, Adaptability, and Determinism
The Rebeca modeling language is designed as an imperative actor-based language with
the goal of providing an easy-to-use language for modeling concurrent and distributed …
the goal of providing an easy-to-use language for modeling concurrent and distributed …
Measuring robustness in cyber-physical systems under sensor attacks
This paper contributes a formal framework for quantitative analysis of bounded sensor
attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a …
attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a …
Hybrid Rebeca Revisited
S Zhiany, F Ghassemi, N Abbasimoghadam… - arXiv preprint arXiv …, 2024 - arxiv.org
Hybrid Rebeca is introduced for modeling asynchronous event-based Cyber-Physical
Systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non …
Systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non …
Type-Based Verification of Delegated Control in Hybrid Systems
E Kamburjan, M Lienhardt - Active Object Languages: Current Research …, 2024 - Springer
We present a post-region-based verification system for distributed hybrid systems modeled
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
with Hybrid Active Objects. The post-region of a class method is the region of the state space …
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
Abstract Cyber-Physical Systems are exposed to cyber-physical attacks, ie, security
breaches in cyberspace that alter the underlying physical processes. We use Uppaal SMC …
breaches in cyberspace that alter the underlying physical processes. We use Uppaal SMC …
Reactive actors: Isolation for efficient analysis of distributed systems
M Sirjani, E Khamespanah… - 2019 IEEE/ACM 23rd …, 2019 - ieeexplore.ieee.org
In this paper we explain how the isolation or decoupling of actors can help in developing
efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed …
efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed …