User menu

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

All Publications

Displaying 22 results.
    • Journal article
    Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework
    Nouri, Ayoub Mediouni, Braham Bozga, Marius Combaz, Jacques Bensalem, Saddek Legay, Axel[UCL] (2018) International Journal of Critical Computer-Based Systems — p. 1-33 (2018)
    • Journal article
    Statistical model checking QoS properties of systems with SBIP
    Nouri, Ayoub Bensalem, Saddek Bozga, Marius Delahaye, Benoit Jegourel, Cyrille Legay, Axel[UCL] (2014) International Journal on Software Tools for Technology Transfer — p. 171-185 (2014)
    • 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 —
    • Journal article
    ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis
    Nouri, Ayoub Bozga, Marius Molnos, Anca Legay, Axel[UCL] Bensalem, Saddek (2016) ACM Transactions on Embedded Computing Systems (TECS) — p. 1-26 (2016)
    • 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, —
    • Journal article
    Performance evaluation of stochastic real-time systems with the SBIP framework
    Nouri, Ayoub Mediouni, Braham Lotfi Bozga, Marius Combaz, Jacques Bensalem, Saddek Legay, Axel[UCL] (2018) International Journal of Critical Computer-Based Systems — Vol. 8, no.3/4, p. 340 (2018)
    • Journal article
    Statistical abstraction and model-checking of Large Heterogeneous Systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Delahaye, Benoît Legay, Axel[UCL] (2012) International Journal on Software Tools for Technology Transfer — Vol. 14, no. 1, p. 53-72 (2012)
    • 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
    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
    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 —
    • Speech
    Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Caillaud, Benoît Delahaye, Benoît Legay, Axel[UCL] (2010) Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
    • 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
    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) —