This article presents research challenges and a tutorial on performance evaluation of
blockchain-based security and privacy systems for the Internet of Things (IoT). We start by …

A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Sentiment analysis is one of the fastest growing research areas in computer science, making
it challenging to keep track of all the activities in the area. We present a computer-assisted …

Ethereum smart contracts---autonomous programs that run on a blockchain---often control
transactions of financial and intellectual property. Because of the critical role they play, smart …

As systems continue to grow in scale and complexity, the Systems Engineering community
has turned to Model‐Based Systems Engineering (MBSE) to manage complexity, maintain …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

Abstract We present Spot 2.0, a C++ library with Python bindings and an assortment of
command-line tools designed to manipulate LTL and ω-automata in batch. New automata …