| Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach T Robati, A Gherbi, A El Kouhen, J Mullins Journal of Ambient Intelligence and Humanized Computing 8, 345-355, 2017 | 15 | 2017 |
| A modeling and verification approach to the design of distributed IMA architectures using TTEthernet T Robati, A Gherbi, J Mullins Procedia Computer Science 83, 229-236, 2016 | 12 | 2016 |
| Simulation-based verification of avionic systems deployed on IMA architectures T Robati, A El Kouhen, A Gherbi, J Mullins ACM/IEEE 18th International Conference on Model Driven Engineering Languages …, 2015 | 5 | 2015 |
| An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet T Robati, A El Kouhen, A Gherbi, H Sardadouna, J Mullins 1st Workshop on Architecture Centric Virtual Integration@ the 17th …, 2014 | 5 | 2014 |
| Time-triggered ethernet metamodel: Design and application T Robati, A El Kouhen, A Gherbi, J Mullins Journal of Software 11 (10), 1040-1053, 2016 | 2 | 2016 |
| Model-based techniques for the future integration for formal verification of critical real-time software systems T Robati École de technologie supérieure, 2016 | 1 | 2016 |
