Marc Boyer
Title
Cited by
Cited by
Year
New Challenges for Future Avionic Architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
AerospaceLab, p. 1-10, 2012
912012
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
832008
On the compared expressiveness of arc, place and transition time Petri nets
M Boyer, OH Roux
Fundamenta Informaticae 88 (3), 225-249, 2008
702008
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
482014
Multiple enabledness of transitions in Petri nets with time
M Boyer, M Diaz
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
452001
Experimental assessment of timing verification techniques for AFDX
M Boyer, N Navet, M Fumey
ERTS2012-Embedded Real Time Software and Systems, 2012
442012
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
422005
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
41*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
352007
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
311999
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
262018
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
262010
Deficit Round Robin with network calculus
M Boyer, G Stea, WM Sofack
6th International ICST Conference on Performance Evaluation Methodologies …, 2012
232012
Deterministic Network Calculus: From Theory to Practical Implementation
A Bouillard, M Boyer, E Le Corronc
John Wiley & Sons, 2018
222018
NC-maude: a rewriting tool to play with network calculus
M Boyer
International Symposium On Leveraging Applications of Formal Methods …, 2010
212010
Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet
M Boyer, H Daigmorte, N Navet, J Migge
202016
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
172011
Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic
M Boyer, F Vernadat
Technical Report 00146, LAAS/CNRS, 2000
142000
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
132013
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
132012
The system can't perform the operation now. Try again later.
Articles 1–20