User menu

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

Search

Displaying 9 results.
    • Speech
    $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
    Mediouni, Braham Lotfi Nouri, Ayoub Bozga, Marius Dellabani, Mahieddine Legay, Axel[UCL] Bensalem, Saddek (2018) Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, —
    • Speech
    Performance Evaluation of Complex Systems Using the SBIP Framework
    Nouri, Ayoub Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2016) he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) —
    • Speech
    SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
    Mediouni, Braham Nouri, Ayoub Bozga, Marius Dellabani, Mahieddine Legay, Axel[UCL] Bensalem, Saddek (2018) ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis —
    • Speech
    Faster Statistical Model Checking by Means of Abstraction and Learning
    Nouri, Ayoub Raman, Balaji Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2014) RV —
    • 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
    Mitigating Security Risks through Attack Strategies Exploration
    Mediouni, Braham Nouri, Ayoub Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2018) ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems
    Nouri, Ayoub Bozga, Marius Molnos, Anca Legay, Axel[UCL] Bensalem, Saddek (2014) MEMOCODE — Lausanne, Switzerland
    • Speech
    Statistical Model Checking QoS properties of Systems with SBIP
    Bensalem, Saddek Bozga, Marius Delahaye, Benoît Jégourel, Cyrille Legay, Axel[UCL] Nouri, Ayoub (2012) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012 —