SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. - Sofiene Beji; Sardaouna Hamadou; Abdelouahed Gherbi; John Mullins (DS-RT, 2014)

A Time-Triggered Constraint-Based Calculus for Avionic Systems. - Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi; Sofiene Beji (ISORC Workshops, 2015)

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network. - Sofiene Beji; Abdelouahed Gherbi; John Mullins; Pierre-Emmanuel Hladik (SAM, 2016)

Iterative integration of TTEthernet network flows. - Sofiene Beji; Sardaouna Hamadou; John Mullins; Abdelouahed Gherbi (Int. J. Crit. Comput. Based Syst., 2019)