The risk assessment process performs an important role in maintenance decision making,
through structuring the process of identifying, prioritizing, and thereafter formulating effective …

Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …

The core challenge of financial companies is to maximize business profits and minimize
capital risks in enterprise operations management, mainly by considering their liquidity risk …

Online safety monitoring is the key technology to realize the safe operation of the automatic
train protection (ATP) system. So, based on the probabilistic model checking and least …

We present the next generation of ORIS, a toolbox for quantitative evaluation of concurrent
models with non-Markovian timers. The tool shifts its focus from timed models to stochastic …

Workflows orchestrate a collection of computing tasks to form a complex workflow logic.
Different from the traditional monolithic workflow management systems, modern workflow …

In the formal verification of stochastic systems, statistical model checking uses simulation to
overcome the state space explosion problem of probabilistic model checking. Yet its runtime …

According to the principles of compositional verification, verifying that lower-level
components satisfy their specification ensures that the whole system satisfies its top-level …

Statistical model checking uses simulation to overcome the state space explosion problem
in formal verification. Yet its runtime explodes when faced with rare events, unless a rare …

Many applications in fields like sociology, biology and urban computing, need to cope with
an explicit use of a spatial environment, or territory. Such applications, referred to as space …