Energy efficient battery management
A challenging aspect of mobile communications consists in exploring ways in which the
available run time of terminals can be maximized. We present a detailed electrochemical …
available run time of terminals can be maximized. We present a detailed electrochemical …
Security risks in cyber physical systems—a systematic map** study
The increased need for constant connectivity and complete automation of existing systems
fuels the popularity of Cyber Physical Systems (CPS) worldwide. Increasingly more, these …
fuels the popularity of Cyber Physical Systems (CPS) worldwide. Increasingly more, these …
Spatio-temporal model checking of vehicular movement in public transport systems
We present the use of a novel spatio-temporal model checker to detect problems in the data
and operation of a collective adaptive system. Data correctness is important to ensure …
and operation of a collective adaptive system. Data correctness is important to ensure …
On the interplay between cyber and physical spaces for adaptive security
Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or
manage valuable physical and digital assets. These assets can be harmed by malicious …
manage valuable physical and digital assets. These assets can be harmed by malicious …
Model checking spatial logics for closure spaces
Spatial aspects of computation are becoming increasingly relevant in Computer Science,
especially in the field of collective adaptive systems and when dealing with systems …
especially in the field of collective adaptive systems and when dealing with systems …
A hybrid threat model for smart systems
Cyber-physical systems and their smart components have a pervasive presence in all our
daily activities. Unfortunately, identifying the potential threats and issues in these systems …
daily activities. Unfortunately, identifying the potential threats and issues in these systems …
[HTML][HTML] Survey on security and privacy issues in cyber physical systems
The notion of Cyber-Physical Systems (CPS) is proposed by the National
ScientificFoundation to describe a type of systems which combine hardware and software …
ScientificFoundation to describe a type of systems which combine hardware and software …
BigraphER: rewriting and analysis engine for bigraphs
BigraphER is a suite of open-source tools providing an efficient implementation of rewriting,
simulation, and visualisation for bigraphs, a universal formalism for modelling interacting …
simulation, and visualisation for bigraphs, a universal formalism for modelling interacting …
Minimisation of spatial models using branching bisimilarity
Spatial logic and spatial model checking have great potential for traditional computer
science domains and beyond. Reasoning about space involves two different conditional …
science domains and beyond. Reasoning about space involves two different conditional …
[HTML][HTML] Maintaining Cyber Resilience in the Reconfigurable Networks with Immunization and Improved Network Game Methods
The paper proposes a technique for protecting reconfigurable networks that implements
topology rebuilding, which combines immunization and network gaming methods, as a …
topology rebuilding, which combines immunization and network gaming methods, as a …