| New Challenges for Future Avionic Architectures. P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti AerospaceLab, p. 1-10, 2012 | 91 | 2012 |
| Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus M Boyer, C Fraboul 2008 IEEE International Workshop on Factory Communication Systems, 11-20, 2008 | 83 | 2008 |
| On the compared expressiveness of arc, place and transition time Petri nets M Boyer, OH Roux Fundamenta Informaticae 88 (3), 225-249, 2008 | 69 | 2008 |
| Complete modelling of AVB in network calculus framework JAR De Azua, M Boyer Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014 | 47 | 2014 |
| Multiple enabledness of transitions in Petri nets with time M Boyer, M Diaz Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 45 | 2001 |
| Experimental assessment of timing verification techniques for AFDX M Boyer, N Navet, M Fumey ERTS2012-Embedded Real Time Software and Systems, 2012 | 43 | 2012 |
| CAN-Ethernet architectures for real-time applications JL Scharbarg, M Boyer, C Fraboul 2005 IEEE Conference on Emerging Technologies and Factory Automation 2, 8 pp …, 2005 | 42 | 2005 |
| PEGASE, a robust and efficient tool for worst case network traversal time M Boyer, J Migge, M Fumey Proc. of the SAE 2011 AeroTech Congress & Exhibition, Toulouse, France, 2011 | 39* | 2011 |
| Comparison of the expressiveness of arc, place and transition time Petri nets M Boyer, OH Roux International Conference on Application and Theory of Petri Nets, 63-82, 2007 | 35 | 2007 |
| Non equivalence between time Petri nets and time stream Petri nets M Boyer, M Diaz Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999 | 31 | 1999 |
| The pegase project: Precise and scalable temporal analysis for aerospace communication systems with network calculus M Boyer, N Navet, X Olive, E Thierry International Symposium On Leveraging Applications of Formal Methods …, 2010 | 25 | 2010 |
| Deficit Round Robin with network calculus M Boyer, G Stea, WM Sofack 6th International ICST Conference on Performance Evaluation Methodologies …, 2012 | 22 | 2012 |
| Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks J Migge, J Villanueva, N Navet, M Boyer Proc. Embedded Real-Time Software and Systems (ERTS 2018), 2018 | 21 | 2018 |
| NC-maude: a rewriting tool to play with network calculus M Boyer International Symposium On Leveraging Applications of Formal Methods …, 2010 | 21 | 2010 |
| Deterministic Network Calculus: From Theory to Practical Implementation A Bouillard, M Boyer, E Le Corronc John Wiley & Sons, 2018 | 20 | 2018 |
| Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet M Boyer, H Daigmorte, N Navet, J Migge | 18 | 2016 |
| An efficient and simple class of functions to model arrival curve of packetised flows M Boyer, J Migge, N Navet Proceedings of the 1st International Workshop on Worst-Case Traversal Time …, 2011 | 17 | 2011 |
| Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic M Boyer, F Vernadat Technical Report 00146, LAAS/CNRS, 2000 | 14 | 2000 |
| Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support M Boyer, N Navet, M Fumey, J Migge, L Havet, T Avionics 5TH European Conference for Aeronautics and Space Sciences (EUCASS), 2013 | 13 | 2013 |
| Deterministic execution on many-core platforms: application to the SCC B d’Ausbourg, M Boyer, E Noulard, C Pagetti 4th Many-core Applications Research Community (MARC) Symposium, 43, 2012 | 13 | 2012 |
Nicolas NavetUniversity of LuxembourgVerified email at uni.lu
