 | Up a level |
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Word cloudA word cloud is a visual representation of the most frequently used words in a text or a set of texts. The words appear in different sizes, with the size of each word being proportional to its frequency of occurrence in the text. The more frequently a word is used, the larger it appears in the word cloud. This technique allows for a quick visualization of the most important themes and concepts in a text.
In the context of this page, the word cloud was generated from the publications of the author {}. The words in this cloud come from the titles, abstracts, and keywords of the author's articles and research papers. By analyzing this word cloud, you can get an overview of the most recurring and significant topics and research areas in the author's work.
The word cloud is a useful tool for identifying trends and main themes in a corpus of texts, thus facilitating the understanding and analysis of content in a visual and intuitive way.
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. External link
Beji, S., Hamadou, S., Gherbi, A., & Mullins, J. (2014, October). SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures [Paper]. 18th IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications (DS-RT 2014), Toulouse, France. External link
Brlek, S., Hamadou, S., & Mullins, J. (2007, September). A probabilistic scheduler for the analysis of cryptographic protocols [Paper]. 5th International Workshop on Security Issues in Concurrency (SecCo 2007), Lisbonne, Portugal. External link
Brlek, S., Hamadou, S., & Mullins, J. (2006, February). Some remarks on the certificates registration of the electronic commerce protocol SET [Paper]. International Conference on Internet and Web Applications and Services/Advanced International Conference on Telecommunications (AICT-ICIW 2006), San Jose, Ca. External link
Hamadou, S., Mullins, J., & Gherbi, A. (2016). A real-time concurrent constraint calculus for analyzing avionic systems embedded in the IMA connected through TTethernet. In Theoretical Information Reuse and Integration (Vol. 446, pp. 85-111). External link
Hamadou, S., Mullins, J., Chareton, C., & Gherbi, A. (2015, August). Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus [Paper]. 16th IEEE International Conference on Information Reuse and Integration (IRI 2015), San Francisco, CA. External link
Hamadou, S., Mullins, J., Gherbi, A., & Beji, S. (2015, April). A time-triggered constraint-based calculus for avionic systems [Paper]. 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2015), Auckland , New Zealand. External link
Hamadou, S., & Mullins, J. (2010). Calibrating the power of schedulers for probabilistic polynomial-time calculus. Journal of Computer Security, 18(2), 265-316. External link
Hamadou, S. (2008). Analyse formelle des protocoles cryptographiques et flux d'information admissible [Ph.D. thesis, École Polytechnique de Montréal]. Available
Robati, T., El Kouhen, A., Gherbi, A., Hamadou, S., & Mullins, J. (2014, September). An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet [Paper]. 1st International Workshop on Architecture Centric Virtual Integration (ACVI 2014), Valencia, Spain. External link
