Samir Chouali

Samir Chouali

Université de Franche-Comté - Besançon / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4451418
University of Franche-Comté
person_outline Samir Chouali's MOST POPULAR ARTICLES
1-) Formal verification of components assembly based on SysML and interface automata Innovations in Systems and Software Engineering 7, 265-274, 2011
2-) Proving component interoperability with B refinement Electronic Notes in Theoretical Computer Science 160, 157-172, 2006
3-) Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks Journal of Parallel and Distributed Computing 125, 121-134, 2019
4-) Refinement of interface automata strengthened by action semantics Electronic Notes in Theoretical Computer Science 253 (1), 111-126, 2009
5-) Verifying the compatibility of component interfaces using the B formal method Software Engineering Research and Practice, 850-856, 2005