Optimizing the Robustness of X-by-Wire using Word Combinatorics

Mécanismes de protection dans AUTOSAR OS

New policies

Isi2007 nn shc_2007

Cief2007 nn shc_slides

Assessing the risk and return of financial trading systems - a large deviation approach

Validation of in-vehicle real-time applications

Lean Model-Driven Development through Model-Interpretation: the CPAL design flow

Timing verification of automotive communication architectures using quantile estimation

Insights on the configuration and performances of SOME/IP Service Discovery