Documents dont l'auteur est "Hamadou, Sardaouna"

2019

Beji, S., Hamadou, S., Mullins, J., & Gherbi, A. (2019). Iterative integration of TTEthernet network flows. International Journal of Critical Computer-Based Systems, 9(3), 167-92. Lien externe

2016

Hamadou, S., Mullins, J., & Gherbi, A. (2016). A real-time concurrent constraint calculus for analyzing avionic systems embedded in the IMA connected through TTethernet. Dans Theoretical Information Reuse and Integration (Vol. 446, 85-111). Lien externe

2014

Robati, T., El Kouhen, A., Gherbi, A., Hamadou, S., & Mullins, J. (septembre 2014). An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet [Communication écrite]. 1st International Workshop on Architecture Centric Virtual Integration (ACVI 2014), Valencia, Spain. Lien externe

Beji, S., Hamadou, S., Gherbi, A., & Mullins, J. (octobre 2014). SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures [Communication écrite]. 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014), Toulouse, France. Lien externe

2010

Hamadou, S., & Mullins, J. (2010). Calibrating the power of schedulers for probabilistic polynomial-time calculus. Journal of Computer Security, 18(2), 265-316. Lien externe

2008

Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Thèse de doctorat, École Polytechnique de Montréal]. Disponible