Marc Boyer
34
Documents
Presentation
French researcher in worst case performance in embedded netwoks, working at ONERA.
You can have more details on my [ONERA home page](http://www.onera.fr/staff/marc-boyer/).
Publications
|
Latency Analysis of Multiple Classes of AVB Traffic in TSN With Standard Credit Behavior Using Network CalculusIEEE Transactions on Industrial Electronics, 2021, 68 (10), pp.10291-10302. ⟨10.1109/TIE.2020.3021638⟩
Journal articles
hal-03577428v1
|
|
Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarksPerformance Evaluation, 2020, 143, pp.102124. ⟨10.1016/j.peva.2020.102124⟩
Journal articles
hal-03170466v1
|
|
Pre-Shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS MechanismSAE International Journal of Passenger Cars - Electronic and Electrical Systems, 2018, 11 (3), ⟨10.4271/2018-01-0756⟩
Journal articles
hal-02468313v1
|
|
On the compared expressiveness of arc, place and transition time Petri netsFundamenta Informaticae, 2008, 88 (3), pp.225-249
Journal articles
hal-00489072v1
|
|
Verifying min-plus Computations with Coq (extended version with appendix)13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States
Conference papers
hal-03176024v1
|
|
Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board NetworksDATA systems in Aerospace (DASIA), Sep 2021, Bucarest, France
Conference papers
hal-03625035v1
|
|
Comparative study of Ethernet technologies for next-generation satellite on-board networksDASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩
Conference papers
hal-03463255v1
|
|
Interleaved Weighted Round-Robin: A Network Calculus AnalysisInternational Teletraffic Congress, Sep 2020, Osaka, Japan
Conference papers
hal-03007964v1
|
|
TSN Support for Quality of Service in Space10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02441327v1
|
|
Formal Verification of Real-time NetworksJRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, TOULOUSE, France
Conference papers
hal-02449140v1
|
|
Increasing Accuracy of Timing Models: From CPA to CPA+Design, Automation and Test in Europe Conference and Exhibition, Mar 2019, FLORENCE, Italy. ⟨10.23919/DATE.2019.8714770⟩
Conference papers
hal-02355185v1
|
|
Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers
hal-01746132v1
|
|
Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor ERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France
Conference papers
hal-01707911v1
|
|
Traversal time for weakly synchronized CAN bus24th International Conference on Real-Time Networks and Systems, Oct 2016, BREST, France. ⟨10.1145/2997465.2997477⟩
Conference papers
hal-01399151v1
|
|
Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet8th European Congress on Embedded Real Time Software and Systems , Jan 2016, TOULOUSE, France
Conference papers
hal-01255939v1
|
|
Integrating end-system frame scheduling for more accurate AFDX timing analysisEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Conference papers
hal-02272276v1
|
|
Proof-by-Instance for Embedded Network DesignEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers
hal-02272173v1
|
|
Performance analysis of the Disrupted Static Priority scheduling for AFDXACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, LAUSANNE, Switzerland
Conference papers
hal-01085321v1
|
|
Towards Certifying Network CalculusITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.484-489, ⟨10.1007/978-3-642-39634-2_37⟩
Conference papers
hal-00904796v1
|
|
Certifying Network Calculus in a Proof AssistantEUCASS - 5th European Conference for Aeronautics and Space Sciences, Astrium and Technische Universität München, Jul 2013, Munich, Germany
Conference papers
hal-00904817v1
|
|
Experimental assessment of timing verification techniques for AFDXERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France
Conference papers
hal-01345472v1
|
|
A simple and efficient class of functions to model arrival curve of packetised flowsFirst International Workshop on Worst-case Traversal Time (WCTT 2011), Nov 2011, Vienna, Austria
Conference papers
hal-00645119v1
|
|
The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece
Conference papers
inria-00551504v1
|
|
Half-modeling of shaping in FIFO net with network calculus18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.59-68
Conference papers
hal-00544502v1
|
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82
Conference papers
hal-00523609v1
|
|
|
Synthesis and verification of constraints in the PGM protocol12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281
Conference papers
hal-00110252v1
|