Memory accesses form an important source of timing unpredictability. Timing analysis of real-
time embedded software thus requires bounding the time for memory accesses …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

In a multicore processor, different cores typically share the last level cache, and threads
running on different cores may interfere with each other in accessing the shared cache …

Software-controlled scratchpad memory is increasingly employed in embedded systems as
it offers better timing predictability compared to caches. Previous scratchpad allocation …

Parametric Worst-Case Execution Time (WCET) is a static analysis that computes a WCET
formula that depends on various parameters. The formula can be used off-line for fast …

Synchronous languages like Esterel have been widely adopted for designing reactive
systems in safety-critical domains such as avionics. Specifications written in Esterel are …

We consider swarms of asynchronous oblivious robots evolving into an anonymous grid-
shaped network. In this context, we investigate optimal (wrt the number of robots) …

Modern embedded systems require high performance, low cost and low power
consumption. Such systems typically consist of a heterogeneous collection of processors …

Static analysis techniques can be used to compute safe bounds on the worst-case execution
time (WCET) of programs. For large programs, abstractions are often required to curb …

The existence of infeasible paths in a program reduces the coverage of test cases and
causes a waste of valuable testing resources. Detecting infeasible paths allows for focusing …