Abstract Behavior–interaction–priority (BIP) is a component-based framework supporting
rigorous design of embedded systems. BIP supports incremental design of large systems …

This paper investigates the combined use of abstraction and probabilistic learning as a
means to enhance statistical model checking performance. We are given a property (or a list …

Collective autonomic systems are adaptive, open-ended, highly parallel, interactive and
distributed software systems. Their key features are so-called self-* properties, such as self …

We propose invariant-based techniques for the efficient verification of safety and deadlock-
freedom properties of component-based systems. Components and their interactions are …

Performance and functional correctness are key for successful design of modern embedded
systems. Both aspects must be considered early in the design process to enable founded …

The exponential increase in the demands for the deployment of large-scale sensor
networks, makes the efficient development of functional applications necessary …

Building abstract system-level models that faithfully capture performance and functional
behavior for embedded systems design is challenging. Unlike functional aspects …

The control and protection of a user data is a very important aspect in the design and
deployment of the Internet of Things (IoT). In this paper we propose a security-based …

Internet of Things (IoT) systems process and respond to multiple (external) events, while
performing computations for a Sense-Compute-Control (SCC) or a Sense-Only (SO) goal …

Attack trees are graphical representations of the different scenarios that can lead to a
security failure. In combination with model checking, attack trees are useful to quantitatively …