# Braham Lotfi Mediouni

According to our database

Collaborative distances:

^{1}, Braham Lotfi Mediouni authored at least 7 papers between 2015 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

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

PhD thesis, 2019

2018

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

IJCCBS, 2018

Mitigating Security Risks Through Attack Strategies Exploration.

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

*S*BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

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

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.

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

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

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