Availability of a common, shared benchmark to provide repeatable, quantifiable, and
comparable results is an added value for any scientific community. International consortia …

The time Petri net with firing frequency intervals (TPNF) is a modeling formalism used to
specify system behavior under timing and frequency constraints. Efficient techniques exist to …

People in industrial societies carry more and more portable electronic devices (eg,
smartphone or console) with some kind of wireless connectivity support. Interaction with auto …

This doctoral dissertation is built upon a number of scientific contributions conducted during
the last decade with the general aim of producing a new generation of smart, personalized …

The verification of safety requirements becomes crucial in critical systems where human
lives depend on their correct functioning. Formal methods have often been advocated as …

In this paper we report on some insights derived from our experience in the development of
an embedded system. A real-world embedded system implementing a smart home is used …

Las arquitecturas software son una valiosa herramienta para la evaluación de las
propiedades cualitativas y cuantitativas de los sistemas en sus primeras fases de desarrollo …

The present study has been designed to apply Flipped Classroom methodology principles
for the teaching of English in Early Education and to evaluate its effectiveness for the English …

Today, various novel telecommunication systems have been proposed. The idea of a virtual
communication space shared by multiple distributed users via networks, so-called …