Æȷοì
Marc Boyer
Á¦¸ñ
Àοë
Àοë
¿¬µµ
New challenges for future avionic architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
Aerospace Lab, p. 1-10, 2012
1152012
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
1022008
Deterministic network calculus: From theory to practical implementation
A Bouillard, M Boyer, E Le Corronc
John Wiley & Sons, 2018
1002018
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
892014
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
802020
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
802008
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
712018
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
592012
Multiple enabledness of transitions in Petri nets with time
M Boyer, M Diaz
Proceedings 9th International Workshop on Petri Nets and Performance Models ¡¦, 2001
532001
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
502011
Deficit round robin with network calculus
M Boyer, G Stea, WM Sofack
6th International ICST Conference on Performance Evaluation Methodologies ¡¦, 2012
452012
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
452007
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
452005
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
392016
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
361999
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
342011
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
342010
Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues
H Daigmorte, M Boyer, L Zhao
292018
NC-maude: a rewriting tool to play with network calculus
M Boyer
International Symposium On Leveraging Applications of Formal Methods ¡¦, 2010
262010
Contribution à la modélisation des systèmes à temps contraint et application au multimédia
M Boyer
Toulouse 3, 2001
252001
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20