-
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Tim...
Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted... -
An information-geometric approach to real-time audio segmentation
International audience -
CRionScan : A stand-alone real time controller designed to perform ion beam i...
High resolution ion microbeams, usually used to perform elemental mapping, low dose targeted irradiation or ion beam lithography needs a very flexible beam control... -
Adaptive NoC-based system for spectral imaging algorithm to art authentication
International audience -
Identification approach for the analysis of human- haptic interface coupling
International audience -
Impact of Fault Tolerance Mechanisms on X-by-Wire system dependability
Colloque avec actes et comité de lecture. nationale.
