109
Voted
FORMATS
15 years 7 months ago
2009 Springer 
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
111
click to vote
FORMATS
15 years 4 months ago
2009 Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
99
Voted
FORMATS
15 years 7 months ago
2009 Springer 
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
FORMATS
15 years 7 months ago
2009 Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
87
Voted
FORMATS
15 years 7 months ago
2009 Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...
|
Formal Methods