Parametric timed automata extend the standard timed automata with the possibility to use
parameters in the clock guards. In general, if the parameters are real-valued, the problem of …

Abstract Model-based mutation testing has the potential to effectively drive test generation to
reveal faults in software systems. However, it faces a typical efficiency issue since it could …

A fire alarm system (FAS) is a system comprising signalling-alarm devices, which
automatically detect and transmit information about fire, but also receivers of fire alarms and …

A novel sensing device for fire detection in domestic environments is presented. The fire
detector uses a combination of several sensors that not only detect smoke, but discriminate …

Partial order reduction for timed systems is a challenging topic due to the dependencies
among events induced by time acting as a global synchronization mechanism. So far, there …

Providing dependability is still a major issue for wireless mesh networks, which restrains
their application in industrial contexts. The widespread CSMA/CA medium access can …

We propose a partial order reduction method for reachability analysis of networks of timed
automata interacting via synchronous channel communication and via shared variables. Our …

Timed automata (TA) have been widely adopted as a suitable formalism to model time-
critical systems. Furthermore, contemporary model-checking tools allow the designer to …

Timed automata (TA) have shown to be a suitable formalism for modeling real-time systems.
Moreover, modern model-checking tools allow a designer to check whether a TA complies …

The verification of the time-dependent behavior of safety-critical systems is important, as
design problems often arise from complex timing conditions. One of the most common …