Badr Siala
According to our database1,
Badr Siala
authored at least 5 papers
between 2016 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
4
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Computational Collective Intelligence - 14th International Conference, 2022
2017
Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems).
PhD thesis, 2017
Proceedings of the 25th Euromicro International Conference on Parallel, 2017
2016
Proceedings of the Formal Methods and Software Engineering, 2016