User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 4 results.
    • Journal article
    Rigorous embedded design: challenges and perspectives
    Bensalem, Saddek Legay, Axel[UCL] Bozga, Marius (2013) International Journal on Software Tools for Technology Transfer — Vol. 15, no. 3, p. 149-154 (2013)
    • Speech
    Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
    Bensalem, Saddek Legay, Axel[UCL] Nouri, Ayoub Peled, Doron (2013) MEMOCODE —
    • Speech
    Stochastic Modeling and Performance Analysis of Multimedia SoCs
    Raman, Balaji Nouri, Ayoub Gangadharan, Deepak Bozga, Marius Basu, Ananda Maheshwari, Mayur Milan, Jérôme Legay, Axel[UCL] Bensalem, Saddek Chakraborty, Samarjit (2013) Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) — Agios konstantinos, Samos Island, Greece
    • Speech
    Incremental Generation of Linear Invariants for Component-Based Systems
    Bensalem, Saddek Bozga, Marius Boyer, Benoît Legay, Axel[UCL] (2013) 3th International Conference on Application of Concurrency to System Design (ACSD) —