Follow
Marc Boyer
Title
Cited by
Cited by
Year
New challenges for future avionic architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
Aerospace Lab, p. 1-10, 2012
1002012
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
952008
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
762008
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
752014
Deterministic network calculus: From theory to practical implementation
M Boyer, E Le Corronc, A Bouillard
John Wiley & Sons, 2018
692018
Experimental assessment of timing verification techniques for AFDX
M Boyer, N Navet, M Fumey
ERTS 2012-6th European Congress on Embedded Real Time Software and Systems, 2012
562012
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks
J Migge, J Villanueva, N Navet, M Boyer
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018
512018
PEGASE-a robust and efficient tool for worst-case network traversal time evaluation on AFDX
M Boyer, J Migge, M Fumey
SAE Technical Paper, 2011
492011
Multiple enabledness of transitions in Petri nets with time
M Boyer, M Diaz
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
482001
Latency analysis of multiple classes of AVB traffic in TSN with standard credit behavior using network calculus
L Zhao, P Pop, Z Zheng, H Daigmorte, M Boyer
IEEE Transactions on Industrial Electronics 68 (10), 10291-10302, 2020
452020
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
432005
Comparison of the expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
402007
Deficit round robin with network calculus
M Boyer, G Stea, WM Sofack
6th International ICST Conference on Performance Evaluation Methodologies …, 2012
362012
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
341999
Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet
M Boyer, H Daigmorte, N Navet, J Migge
8th European Congress on Embedded Real Time Software and Systems, 2016
332016
The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with network calculus
M Boyer, N Navet, X Olive, E Thierry
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
332010
NC-maude: a rewriting tool to play with network calculus
M Boyer
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
252010
Contribution à la modélisation des systèmes à temps contraint et application au multimédia
M Boyer
Toulouse 3, 2001
232001
Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues
H Daigmorte, M Boyer, L Zhao
212018
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
212011
The system can't perform the operation now. Try again later.
Articles 1–20