| Methods for bounding end-to-end delays on an AFDX network H Charara, JL Scharbarg, J Ermont, C Fraboul 18th Euromicro Conference on Real-Time Systems (ECRTS'06), 10 pp.-202, 2006 | 266 | 2006 |
| Model for worst case delay analysis of an AFDX network using timed automata M Adnan, JL Scharbarg, J Ermont, C Fraboul 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation …, 2010 | 47 | 2010 |
| An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows M Adnan, JL Scharbarg, J Ermont, C Fraboul Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012 | 39 | 2012 |
| Latency and freshness analysis on IMA systems M Lauer, J Ermont, F Boniol, C Pagetti ETFA2011, 1-8, 2011 | 39 | 2011 |
| Analyzing end-to-end functional delays on an IMA platform M Lauer, J Ermont, C Pagetti, F Boniol Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 35 | 2010 |
| Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores L Abdallah, M Jan, J Ermont, C Fraboul 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015 | 33 | 2015 |
| Towards a unified approach for worst-case analysis of Tilera-like and Kalray-like NoC architectures H Ayed, J Ermont, J Scharbarg, C Fraboul 2016 IEEE World Conference on Factory Communication Systems (WFCS), 1-4, 2016 | 21 | 2016 |
| End-to-end latency and temporal consistency analysis in networked real-time systems M Lauer, F Boniol, C Pagetti, J Ermont International Journal of Critical Computer-Based Systems 6 5 (3-4), 172-196, 2014 | 21 | 2014 |
| Reducing the contention experienced by real-time core-to-i/o flows over a tilera-like network on chip L Abdallah, M Jan, J Ermont, C Fraboul 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), 86-96, 2016 | 20 | 2016 |
| Worst-case analysis of a mixed can/switched ethernet architecture J Ermont, JL Scharbarg, C Fraboul Proc. of the Real-Time and Network System Conference, 2006 | 20 | 2006 |
| Worst case temporal consistency in integrated modular avionics systems M Lauer, J Ermont, F Boniol, C Pagetti 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 13 | 2011 |
| I/O contention aware mapping of multi-criticalities real-time applications over many-core architectures L Abdallah, M Jan, J Ermont, C Fraboul 22nd IEEE Real-Time and embedded Technology and Applications symposium (RTAS …, 2016 | 10 | 2016 |
| TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources J Ermont, F Boniol Electronic notes in theoretical computer science 65 (6), 68-85, 2002 | 10 | 2002 |
| Quantum assignment for QoS-aware AFDX network with deficit round robin A Soni, JL Scharbarg, J Ermont Proceedings of the 27th International Conference on Real-Time Networks and …, 2019 | 9 | 2019 |
| Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays J Ermont, C Fraboul 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013 | 8 | 2013 |
| Une algèbre de processus pour la modélisation et la vérification de systèmes temps-réel avec préemption J Ermont Toulouse, ENSAE, 2002 | 8 | 2002 |
| Freshness and reactivity analysis in globally asynchronous locally time-triggered systems F Boniol, M Lauer, C Pagetti, J Ermont NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 6 | 2013 |
| TTCAN over mixed CAN/Switched Ethernet architecture JL Scharbarg, M Boyer, J Ermont, C Fraboul 2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005 | 6 | 2005 |
| Trois approches pour la modélisation et la vérification de systèmes embarqués F BOUIOL, G Bel, J Ermont TSI. Technique et science informatiques 22 (5), 539-569, 2003 | 6 | 2003 |
| Reducing afdx jitter in a mixed noc/afdx architecture L Abdallah, J Ermont, JL Scharbarg, C Fraboul 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS …, 2018 | 5 | 2018 |
Christian FRABOULProfesseur réseaux informatiques INP-ENSEEIHT IRIT Université de Toulouse在 enseeiht.fr 的电子邮件经过验证
