33 citations · 36 across the 4 of their papers we have counts for
4 papers
Verification of interlocking systems using statistical model checking
Quentin Cappart, Christophe Limbree, Pierre Schaus +3
In the railway domain, an interlocking is the system ensuring safe train traffic inside a station by controlling its active elements such as the signals or points. Modern interlock…
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Van Chan Ngo, Axel Legay
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petr…
Dynamic Verification of SystemC with Statistical Model Checking
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties su…
Security policies for distributed systems
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow +1
A security policy specifies a security property as the maximal information flow. A distributed system composed of interacting processes implicitly defines an intransitive security…