Fabio Cremona

Learn More
Synchronous reactive models are used by automotive suppliers to develop functionality delivered as AUTOSAR components to system integrators (OEMs). Integrators must then generate a task implementation from runnables in AUTOSAR components and deploy tasks onto CPU cores, while preserving timing and resource constraints. In this work, we propose an integrated(More)
Nanoscale circuits operating at sub-threshold voltages are affected by growing impact of random telegraph signal (RTS) and thermal noise. Given the low operational voltages and subsequently lower noise margins, these noise phenomena are capable of changing the value of some of the nodes in the circuit, compromising the reliability of the computation. We(More)
Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capability of producing automatically an implementation of the model. Unfortunately, in the development of complex distributed or highly concurrent systems, the scheduling and(More)
This paper presents FIDE, an Integrated Development Environment (IDE) for building applications using Functional Mock-up Units (FMUs) that implement the standardized Functional Mock-up Interface (FMI). FIDE is based on the actororiented Ptolemy II framework and leverages its graphical user interface, simulation engine, and code generation feature to let a(More)
Purpose of the study HAART has greatly modified the course of HIV-1 infection ; however, its impact seems to be less favourable on lymphoproliferative disorders associated with Epstein-Barr virus (EBV) than on other AIDS-defining illnesses. The aim of this study was to estimate the relationship between EBV levels and other viro-immunological parameters in(More)
  • 1