The automatic localization of software faults plays a critical role in assisting software
professionals in fixing problems quickly. Despite various existing models for fault tolerance …

A concurrent linear hybrid automaton is composed of a set of linear hybrid automata and is
used to model linear hybrid systems. Each component's behavior exhibits both discrete and …

Model‐based development frameworks for cyber‐physical systems (CPSs) such as Simulink
and Stateflow are popular for many applications. For safety and security concerns …

Resilience is the property that enables a system to continue operating properly when one or
more faults occur. Nowadays, as software systems become more and more complex, their …

Extreme-scale computing involves hundreds of millions of threads with multi-level
parallelism running on large-scale hierarchical and heterogeneous hardware. In POSIX …