Runtime monitoring is critical for ensuring safe operation and for enabling self-adaptive
behavior of Cyber-Physical Systems (CPS). Monitors are established by identifying runtime …

Behavioral software contracts allow programmers to strengthen the obligations and
promises that they express with conventional types. They lack expressive power, though …

Reliable distributed systems require replication and consensus among distributed
processes to tolerate process and communication failures. Understanding and assuring the …

In various service-oriented applications such as distributed autonomous delivery,
healthcare, tourism, transportation, and many others, where service agents need to perform …

Cloud computing systems fail in complex and unforeseen ways due to unexpected
combinations of events and interactions among hardware and software components. These …

Les systèmes d'information produisent différents types de journaux d'événements. Les
données historiques contenues dans les journaux d'événements peuvent révéler des …

JavaScript Web applications are a common product in industry. As with most applications,
Web applications can acquire software flaws (known as bugs), whose symptoms are seen …

As the reliance on cloud systems intensifies in our progressively digital world, understanding
and reinforcing their reliability becomes more crucial than ever. Despite impressive …

Adaptivity in multi-function radar systems is rapidly increasing, especially when moving
towards fully adaptive, cognitive radar systems. However, the large number of available …

Complex network layouts, currently used by internet service providers and large corporate
networks, have lead to a phenomenon known as asymmetric routing. That is, the two …