-
Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petr...
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction,... -
LPT - A Tool for Parametric TPN Validation
International audience -
Study of concurrency in real-time distributed systems
This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent... -
Some Synchronization Issues in OSPF Routing
International audience -
A Formal Framework to Specify and Verify Real Time Properties on Critical Sys...
International audience
