Braham Lotfi Mediouni

According to our database, Braham Lotfi Mediouni authored at least 8 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Model-Based Design of Resilient Systems Using Quantitative Risk Assessment.

Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2019

Modeling and Analysis of Stochastic Real-Time Systems. (Modélisation et analyse de systèmes stochastiques et temps réel).

Braham Lotfi Mediouni

PhD thesis, 2019

2018

Performance evaluation of stochastic real-time systems with the SBIP framework.

Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay

Int. J. Crit. Comput. Based Syst., 2018

Mitigating Security Risks Through Attack Strategies Exploration.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

<i>S</i> BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Improved Learning for Stochastic Timed Models by State-Merging Algorithms.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2015

A multi-objective approach for software/hardware partitioning in a multi-target tracking system.

Ihsen Alouani, Braham Lotfi Mediouni, Smaïl Niar

Proceedings of the 2015 International Symposium on Rapid System Prototyping, 2015

A bi-objective heuristic for heterogeneous MPSoC design space exploration.

Braham Lotfi Mediouni, Smaïl Niar, Rachid Benmansour, Karima Benatchba, Mouloud Koudil

Proceedings of the 10th International Design & Test Symposium, 2015