Braham Lotfi Mediouni

According to our database1, Braham Lotfi Mediouni authored at least 7 papers between 2015 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...