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
Proving component interoperability with B refinement
S Chouali, M Heisel, J Souquieres
Electronic Notes in Theoretical Computer Science 160, 157-172, 2006
352006
Formal verification of components assembly based on SysML and interface automata
S Chouali, A Hammad
Innovations in Systems and Software Engineering 7 (4), 265-274, 2011
312011
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
142009
Verifying the compatibility of component interfaces using the B formal method
J Souquieres, S Chouali
Software Engineering Research and Practice, 850-856, 2005
142005
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
132005
Verification of dynamic constraints for B event systems under fairness assumptions
F Bellegarde, S Chouali, J Julliand
International Conference of B and Z Users, 477-496, 2002
132002
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
122010
Adapting component behaviours using interface automata
S Chouali, S Mouelhi, H Mountassir
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
112010
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
92013
Assembling components using sysml with non-functional requirements
S Chouali, A Hammad, H Mountassir
Electronic Notes in Theoretical Computer Science 295, 31-47, 2013
92013
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
82012
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
62017
SysML blocks adaptation
H Bouaziz, S Chouali, A Hammad, H Mountassir
International Conference on Formal Engineering Methods, 417-433, 2015
52015
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.
A Hammad, H Mountassir, S Chouali
MODELSWARD, 198-201, 2013
42013
Adaptation sémantique des protocoles des composants par les automates d'interface
S Chouali, S Mouelhi, H Mountassir
42012
Cooperation between the {B} method and the automata theory to check the component interoperability
S Chouali
42006
Contribution du raffinement à la vérification de systèmes sous hypothèses d'équité
S Chouali
Besançon, 2003
42003
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
32019
Incremental modeling of system architecture satisfying SysML functional requirements
O Carrillo, S Chouali, H Mountassir
International Workshop on Formal Aspects of Component Software, 79-99, 2013
32013
Invariant preservation by component composition using semantical interface automata
S Mouelhi, S Chouali, H Mountassir
Proceedings of the Sixth International Conference on Software Engineering …, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20