Reactive programming has recently gained popularity as a paradigm that is well-suited for
developing event-driven and interactive applications. It facilitates the development of such …

About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …

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 …

In this paper we introduce Chisel, a new hardware construction language that supports
advanced hardware design using highly parameterized generators and layered domain …

Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …

Modern networks provide a variety of interrelated services including routing, traffic
monitoring, load balancing, and access control. Unfortunately, the languages used to …

We characterize high-performance streaming applications as a new and distinct domain of
programs that is becoming increasingly important. The StreamIt language provides novel …

Designing, implementing, and operating a wireless sensor network involves a wide range of
disciplines and many application-specific constraints. To make sense of and take advantage …

We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …