The paper presents experiments using a radial basis function (RBF) network to tackle the
unconstrained face recognition problem using low resolution video information. Input …

There has been a growing interest in defining models of automata enriched with time. For
instance, timed automata were introduced as automata extended with clocks. In this paper …

The paper presents a method for deriving a complete test suite for a timed deterministic FSM
with time-outs when only the upper bound on the number of states and the largest finite time …

Communication software systems are considered as critical national infrastructures that
support users, corporations, and governments. Their description, implementation, and …

We develop a formal passive testing framework for software systems where parties
communicate asynchronously. Monitors, placed in between the entities, check that a certain …

In this paper we present a method for testing a system against a non-deterministic stochastic
finite state machine. As usual, we assume that the functional behaviour of the system under …

A method is presented for deriving test suites with the guaranteed fault coverage for
deterministic possibly partial Timed Finite State Machines (TFSMs). TFSMs have integer …

Conformance testing with the guaranteed fault coverage is based on distinguishing faulty
system implementations from the corresponding system specification. We consider timed …

Some systems interact with their environment at physically distributed interfaces called ports
and we separately observe sequences of inputs and outputs at each port. As a result we …

The generation of test data for state-based specifications is a computationally expensive
process. This problem is magnified if we consider that time constraints have to be taken into …