Braham Lotfi Mediouni
Orcid: 0000-0003-4256-0383
According to our database1,
Braham Lotfi Mediouni
authored at least 8 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Innov. Syst. Softw. Eng., March, 2024
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
Int. J. Crit. Comput. Based Syst., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
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
Proceedings of the 10th International Design & Test Symposium, 2015