Follow
Samir Chouali
Samir Chouali
Associate professor, Femto-ST Institute, University of Franche-Comté
Verified email at univ-fcomte.Fr
Title
Cited by
Cited by
Year
Formal verification of components assembly based on SysML and interface automata
S Chouali, A Hammad
Innovations in Systems and Software Engineering 7, 265-274, 2011
362011
Proving component interoperability with B refinement
S Chouali, M Heisel, J Souquières
Electronic Notes in Theoretical Computer Science 160, 157-172, 2006
332006
Refinement of interface automata strengthened by action semantics
S Mouelhi, S Chouali, H Mountassir
Electronic Notes in Theoretical Computer Science 253 (1), 111-126, 2009
222009
Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks
MA Merzoug, A Boukerche, A Mostefaoui, S Chouali
Journal of Parallel and Distributed Computing 125, 121-134, 2019
192019
Verifying the compatibility of component interfaces using the B formal method
J Souquieres, S Chouali
Software Engineering Research and Practice, 850-856, 2005
192005
Assembling components using sysml with non-functional requirements
S Chouali, A Hammad, H Mountassir
Electronic notes in theoretical computer science 295, 31-47, 2013
152013
Verification of dynamic constraints for B event systems under fairness assumptions
F Bellegarde, S Chouali, J Julliand
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
152002
An I/O automata-based approach to verify component compatibility: application to the CyCab car
S Chouali, H Mountassir, S Mouelhi
Electronic Notes in Theoretical Computer Science 238 (6), 3-13, 2010
142010
Pltl-partitioned model checking for reactive systems under fairness assumptions
S Chouali, J Julliand, PA Masson, F Bellegarde
ACM Transactions on Embedded Computing Systems (TECS) 4 (2), 267-301, 2005
142005
Towards a formal analysis of MQTT protocol in the context of communicating vehicles
S Chouali, A Boukerche, A Mostefaoui
Proceedings of the 15th ACM International Symposium on Mobility Management …, 2017
132017
An approach combining sysml and modelica for modelling and validate wireless sensor networks
A Hammad, H Mountassir, S Chouali
Proceedings of the First International Workshop on Software Engineering for …, 2013
132013
Adapting component behaviours using interface automata
S Chouali, S Mouelhi, H Mountassir
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
132010
Formal verification and performance analysis of a new data exchange protocol for connected vehicles
S Chouali, A Boukerche, A Mostefaoui, MA Merzoug
IEEE Transactions on Vehicular Technology 69 (12), 15385-15397, 2020
112020
Fall detection application for the elderly in the family heroes system
M Fayad, A Mostefaoui, S Chouali, S Benbernou
Proceedings of the 17th ACM International Symposium on Mobility Management …, 2019
112019
Formalizing and verifying compatibility and consistency of SysML blocks
O Carrillo, S Chouali, H Mountassir
ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012
112012
Proving Component Interoperability with B Refinement
S Chouali, M Heisel, J Souquieres
82005
SysML blocks adaptation
H Bouaziz, S Chouali, A Hammad, H Mountassir
Formal Methods and Software Engineering: 17th International Conference on …, 2015
72015
Incremental modeling of system architecture satisfying SysML functional requirements
O Carrillo, S Chouali, H Mountassir
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
72014
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.
A Hammad, H Mountassir, S Chouali
MODELSWARD, 198-201, 2013
72013
SysML model-driven approach to verify blocks compatibility
H Bouaziz, S Chouali, A Hammad, H Mountassir
International Journal of Computer Aided Engineering and Technology 11 (2 …, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20