The following publications are possibly variants of this publication:
- Simulation-Based Verification of Avionic Systems Deployed on IMA ArchitecturesTiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins. MoDELS 2016: 56-59 [doi]
- SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet ArchitecturesSofiene Beji, Sardaouna Hamadou, Abdelouahed Gherbi, John Mullins. dsrt 2014: 165-174 [doi]
- Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approachTiyam Robati, Abdelouahed Gherbi, Amine El Kouhen, John Mullins. jaihc, 8(3):345-355, 2017. [doi]
- A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernetTiyam Robati, Abdelouahed Gherbi, John Mullins. ant 2016: 229-236 [doi]
- A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernetSardaouna Hamadou, John Mullins, Abdelouahed Gherbi. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 85-111, Springer, 2016. [doi]
- Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet ArchitectureMichael Lauer, John Mullins, Moez Yeddes. compsac 2013: 139-144 [doi]