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 | 36 | 2011 |
Proving component interoperability with B refinement S Chouali, M Heisel, J Souquières Electronic Notes in Theoretical Computer Science 160, 157-172, 2006 | 33 | 2006 |
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 | 22 | 2009 |
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 | 20 | 2019 |
Verifying the compatibility of component interfaces using the B formal method J Souquieres, S Chouali Software Engineering Research and Practice, 850-856, 2005 | 19 | 2005 |
Assembling components using sysml with non-functional requirements S Chouali, A Hammad, H Mountassir Electronic notes in theoretical computer science 295, 31-47, 2013 | 15 | 2013 |
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 | 15 | 2002 |
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 | 14 | 2010 |
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 | 14 | 2005 |
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 | 13 | 2017 |
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 | 13 | 2013 |
Adapting component behaviours using interface automata S Chouali, S Mouelhi, H Mountassir 2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010 | 13 | 2010 |
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 | 12 | 2019 |
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 | 11 | 2020 |
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 | 11 | 2012 |
Proving Component Interoperability with B Refinement S Chouali, M Heisel, J Souquieres | 8 | 2005 |
Compiling Protocols to Promela and Verifying their LTL Properties. B Lion, S Chouali, F Arbab MoDELS (Workshops), 31-39, 2018 | 7 | 2018 |
SysML blocks adaptation H Bouaziz, S Chouali, A Hammad, H Mountassir Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 7 | 2015 |
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 | 7 | 2014 |
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. A Hammad, H Mountassir, S Chouali MODELSWARD, 198-201, 2013 | 7 | 2013 |