1 citations · 1 across the 3 of their papers we have counts for
4 papers
Reasoning about Moving Target Defense in Attack Modeling Formalisms
Gabriel Ballot, Vadim Malvone, Jean Leneutre +1
Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This freque…
Online Cycle Detection for Models with Mode-Dependent Input and Output Dependencies
Heejong Park, Arvind Easwaran, Etienne Borde
In the fields of co-simulation and component-based modelling, designers import models as building blocks to create a composite model that provides more complex functionalities. Mod…
A Survey on Time-Sensitive Resource Allocation in the Cloud Continuum
Saravanan Ramanathan, Nitin Shivaraman, Seima Suryasekaran +3
Artificial Intelligence (AI) and Internet of Things (IoT) applications are rapidly growing in today's world where they are continuously connected to the internet and process, store…
Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems
Etienne Borde
Cyber Physical Systems are systems controlled or monitored by computer-based programs, tightly integrated networks, sensors, and actuators. Software development of CPS has become s…