In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

Active learning of timed languages is concerned with the inference of timed automata by
observing some of the timed words in their languages. The learner can query for the …

The Electronic Health Records (EHR) sharing system is the modern tool for delivering
efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the …

This article proposes novel off-line test generation techniques from non-deterministic timed
automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance …

The emergence of embedded and connected smart technologies, systems, and devices has
enabled the concept of smart cities by connecting every" thing" to the Internet and in …

In most cities, the availability of parking is a major concern. The misuse of parking spots as
drivers park for longer than permitted periods cause more delays, inconvenience to others …

Synchronous dataflow (SDF) graphs are a widely used formalism for modelling, analysing
and realising streaming applications, both on a single processor and in a multiprocessing …

Given a timed automaton \calP modeling an implementation and a timed automaton \calS as
a specification, language inclusion checking is to decide whether the language of \calP is a …

We introduce timed automata and show how they can be used for the specification of timed
systems. We also present some syntactical extensions useful for modeling and in particular …

The emergence of embedded and connected smart technologies, systems, and devices has
enabled the concept of smart cities by connecting every" thing" to the Internet and in …