 | Monter d'un niveau |
Beji, S., Gherbi, A., Mullins, J., & Hladik, P.-E. (octobre 2016). Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network [Communication écrite]. 9th International Conference on System Analysis and Modeling (SAM 2016), Saint-Malo, France. Lien externe
Bérard, B., Hélouët, L., & Mullins, J. (2016). Non-interference in partial order models. ACM Transactions on Embedded Computing Systems, 16(2), 1-34. Lien externe
Bérard, B., Kouchnarenko, O., Mullins, J., & Sassolas, M. (mai 2016). Preserving opacity on Interval Markov Chains under simulation [Communication écrite]. 13th International Workshop on Discrete Event Systems (WODES 2016), Xi'an, China. Lien externe
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
Robati, T., El Kouhen, A., Gherbi, A., & Mullins, J. (2016). Time-Triggered Ethernet Metamodel: Design and Application. Journal of Software, 11(10), 1040-1053. Lien externe
Robati, T., Gherbi, A., & Mullins, J. (mai 2016). A modeling and verification approach to the design of distributed IMA architectures using TTEthernet [Communication écrite]. 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016), Madrid, Espagne. Publié dans Procedia Computer Science, 83. Disponible
