Sardaouna Hamadou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | IRI | Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. | Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi |
| 2015 | ISORC | A Time-Triggered Constraint-Based Calculus for Avionic Systems. | Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji |
| 2014 | MODELS | An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. | Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins |
| 2010 | CONCUR | Trust in Anonymity Networks. | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
| 2010 | SP | Reconciling Belief and Vulnerability in Information Flow. | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |