Finite state models, such as Mealy machines or state charts, are often used to express and
specify protocol and software behavior. Consequently, these models are often used in …

The current availability of large volumes of health care data makes it a promising data
source to new views on disease interaction. Most of the times, patients have multiple …

Many automated system analysis techniques (eg, model checking, model-based testing) rely
on first obtaining a model of the system under analysis. System modeling is often done …

We propose a technique to automatically generate a formal specification of the model of a
system from a set of observations of its behaviour. We aim to free systems modellers from …

The communications and collaborations among activities, pro-cesses, or systems, in
general, are the base of complex sys-tems defined as distributed systems. Given the …

The interpretability of deep learning models has gained the attention of many researchers
and organisations in recent years. The doctoral research wilwill include the interpretability …

Sequential automata have been used for quite a while in the control of industrial systems,
mainly in the automotive industry. A series of modelling and analysis techniques have been …

THE chain of mountains, that borders the lake of Tacarigua toward the South, forms in some
sort the northern shore of the great basin of the Llanos or savannahs of Caraccas. In order to …

This paper develops and tests a new theoretical explanation for stock repurchases. Investors
may disagree with the manager about the firm's investment projects. A repurchase causes a …