Marc Boyer
38
Documents
Présentation
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⟩
Article dans une revue
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⟩
Article dans une revue
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⟩
Article dans une revue
hal-02468313v1
|
|
On the compared expressiveness of arc, place and transition time Petri netsFundamenta Informaticae, 2008, 88 (3), pp.225-249
Article dans une revue
hal-00489072v1
|
|
Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2023, San Antonio, United States. pp.303-315, ⟨10.1109/RTAS58335.2023.00031⟩
Communication dans un congrès
hal-04156192v1
|
|
A first Network Calculus model for Cyclic Queuing and ForwardingJunior Researcher Workshop on Real-Time Computing, Jun 2023, DORTMUND, Germany
Communication dans un congrès
hal-04171262v1
|
|
Verifying min-plus Computations with Coq (extended version with appendix)13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States
Communication dans un congrès
hal-03176024v1
|
|
Comparative study of Ethernet technologies for next-generation satellite on-board networksDASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩
Communication dans un congrès
hal-03463255v1
|
|
Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board NetworksDATA systems in Aerospace (DASIA), Sep 2021, Bucarest, France
Communication dans un congrès
hal-03625035v1
|
|
Interleaved Weighted Round-Robin: A Network Calculus AnalysisInternational Teletraffic Congress, Sep 2020, Osaka, Japan
Communication dans un congrès
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
Communication dans un congrès
hal-02441327v1
|
|
Formal Verification of Real-time NetworksJRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, TOULOUSE, France
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02355185v1
|
|
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
Communication dans un congrès
hal-01707911v1
|
|
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
Communication dans un congrès
hal-01746132v1
|
|
Traversal time for weakly synchronized CAN bus24th International Conference on Real-Time Networks and Systems, Oct 2016, BREST, France. ⟨10.1145/2997465.2997477⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01255939v1
|
|
Integrating end-system frame scheduling for more accurate AFDX timing analysisEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272276v1
|
|
Proof-by-Instance for Embedded Network DesignEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Communication dans un congrès
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
Communication dans un congrès
hal-01085321v1
|
|
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
Communication dans un congrès
hal-00904817v1
|
|
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⟩
Communication dans un congrès
hal-00904796v1
|
|
Experimental assessment of timing verification techniques for AFDXERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France
Communication dans un congrès
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
Communication dans un congrès
hal-00645119v1
|
|
A Framework to Manage Knowledge from Defect Resolution Process13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), IEEE, Sep 2011, Luxenbourg, Luxembourg. pp.10-17, ⟨10.1109/CEC.2011.11⟩
Communication dans un congrès
hal-03763189v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-00110252v1
|