Badr Siala

According to our database, Badr Siala authored at least 5 papers between 2016 and 2022.

Collaborative distances:

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

2022

An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns.

Badr Siala, Mohamed Tahar Bhiri

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).

Badr Siala

PhD thesis, 2017

An Event-B framework for the validation of Event-B refinement plugins.

Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala

CoRR, 2017

Automatic Refinement for Event-B through Annotated Patterns.

Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri

Proceedings of the 25th Euromicro International Conference on Parallel, 2017

2016

An Event-B Development Process for the Distributed BIP Framework.

Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Formal Methods and Software Engineering, 2016