-
Inter-process communication energy estimation through AADL modeling
International audience -
A proof of correctness for the construction of property monitors
ISBN: 0-7803-9571-9 -
Scheduling with Quality of Service requirements in Real-Time Energy Harvestin...
International audience -
Image Compression Using Subband Wavelet Decomposition and DCT-based Quantization
International audience -
Improving the Performance of Message Parsers for Embedded Systems
International audience -
A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
This paper presents a compositional escape analysis adapted for use in resource limited embedded systems. This analysis covers the full Java language, including... -
Reliability Challenges of Real-Time Systems in Forthcoming Technology Nodes
ISBN 978-3-9815370-0-0 -
Trace Management and Analysis for Embedded Systems
The growing complexity of embedded system hardware and software makes their behavior analysis a challenging task. In this context, tracing appears to be a promising... -
A model-driven development of tests for avionics embedded systems.
The development of tests for avionics systems involves a multiplicity of in-house test languages, with no standard emerging. Test solution providers have to... -
Automatic Optimisation of System Architectures using EAST-ADL
International audience -
Safety Kernel for Cooperative Sensor-Based Systems
International audience -
Content Based Routing with Directional Random Walk for Failure Tolerance and ...
International audience -
Revisiting Gossip-style Failure Detection in Wireless Sensor Network
International audience -
Secure Multiparty Computation vs. Fair Exchange - Bridging the Gap
International audience -
Designing applications in dynamic networks: The Airplug Software Distribution
International audience -
COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle
International audience -
Run time safety analysis for automotive systems in an open and adaptive envir...
International audience -
Ring Exploration with Oblivious Myopic Robots
International audience -
Fail Silent Road Side Unit for Vehicular Communications
International audience
