Abstract Structural Operational Semantics (SOS) provides a framework to give an
operational semantics to programming and specification languages, which, because of its …

It is generally admitted that timed systeluS can be obtained as extensions of untimed ones
by adding constructs that allow to manipulate time explicitly or implicitly. For instance, timed …

An important application of formal methods is the specification, design, and analysis of
functional aspects of (distributed) systems. Recently the study of quantitative aspects of such …

We proposed a syntactic format, the panth format, for structured operational semantics in
which besides ordinary transitions also predicates, negated predicates, and negat. ed …

Algebra and Automata for Timed and Stochastic Systems Page 1 Pedro R. D’Argenio Algebras
and Automata for Timed and Stochastic Systems Page 2 D’Argenio, Pedro Ruben. Algebras and …

We investigate the uniqueness of driver behavior in vehicles and the possibility of using it for
personal identification with the objectives of achieving safer driving, of assisting the driver in …

We define TRIO+, an object-oriented logical language for modular system specification.
TRIO+ is based on TRIO, a first-order temporal language that is well suited to the …

A LOTOS-like timed process algebra is first introduced, which offers operators for specifying
the urgency of a specified action, but also of an interaction involving two or more processes …

A compositional interchange format for hybrid systems is defined in terms of an interchange
automaton, allowing arbitrary differential algebraic equations, including fully implicit or …

Increasing complexity in real-time distributed systems calls for techniques to automate and
support their design. In particular concurrent and communicating systems are hard to design …