The migration towards digital control systems creates new security threats that can endanger
the safety of industrial infrastructures. Addressing the convergence of safety and security …

How a sidekick scripting language for Java, created at Netscape in a ten-day hack, ships first
as a de facto Web standard and eventually becomes the world's most widely used …

We present the Tom language that extends Java with the purpose of providing high level
constructs inspired by the rewriting community. Tom furnishes a bridge between a general …

Formal models serve in many roles in the programming language community. In its primary
role, a model communicates the idea of a language design; the architecture of a language …

The promise of logic programming is that programs can be written relationally, without
distinguishing between input and output arguments. Relational programs are remarkably …

We propose a formal model for reputation-based trust management. In contrast to credential-
based trust management, in our framework an agent's reputation serves as the basis for …

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to
define operational semantics of programming languages by a set of rules of a certain shape …

System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded
systems, but it poses significant challenges from a design and verification point of view. In …

Rewriting is a general and expressive way of specifying concurrent systems, where
concurrent transitions are axiomatized by rewrite rules. Narrowing is a complete symbolic …

This article presents a scientific discussion about the ongoing progress in the development
of traffic simulation system platforms. As part of the discussion, the presentation introduces a …