Marc Boyer
Présentation
French researcher in worst case performance in embedded netwoks, working at ONERA. You can have more details on my ONERA home page.
Publications
Publications
|
|
Comparison of Logical Execution Time Programming Languages13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.16⟩ |
|
|
PSFP in TSN Networks: Insights into Some Practical Limitations13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.44⟩ |
|
|
When Buildings Blur the Lines: Revealing the Hidden Performance Equivalences in MANET Routing Protocols *The 23rd IEEE International Symposium on Network Computing and Applications, Nov 2025, Lisbonne, Portugal |
|
|
ECRTS Industrial Challenge: Designing a Resilient Time-Aware Shaper Configuration for TSNECRTS Industrial Challenge, Jul 2025, Bruxelles, Belgium |
|
|
Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN)DATE 25 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-4, ⟨10.23919/DATE64628.2025.10992805⟩ |
|
|
Building-Aware Path Loss Modeling in ns-3The International Conference on ns-3 (ICNS3), ACM ICPS conference, Aug 2025, Osaka, Japan. pp.143-152, ⟨10.1145/3747204.3747220⟩ |
|
|
Switching Between Left and Right Continuity in Network CalculusECRTS 2024, Jul 2024, Lille, France. ⟨10.4230/LIPIcs.ECRTS.2024.9⟩ |
|
|
Scaling, Packetizers and Aggregation in Network Calculus2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padoue, Italy. pp.1-8, ⟨10.1109/ETFA61755.2024.10710819⟩ |
|
|
A first Network Calculus model for Cyclic Queuing and ForwardingJunior Researcher Workshop on Real-Time Computing, Jun 2023, Dortmund, Germany |
|
|
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⟩ |
|
|
A Formal Link Between Response Time Analysis and Network CalculusECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩ |
|
|
Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board NetworksDATA systems in Aerospace (DASIA), Sep 2021, Bucarest, Romania |
|
|
Comparative study of Ethernet technologies for next-generation satellite on-board networksDASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩ |
|
|
A Residual Service Curve of Rate-Latency Server used by Sporadic Flows Computable in Quadratic Time for Network Calculus33rd Euromicro Conference on Real-Time Systems (ECRTS) 2021, Jul 2021, Online, Germany. ⟨10.4230/LIPIcs.ECRTS.2021.14⟩ |
|
|
Verifying Min-Plus Computations with Coq13th NASA Formal Methods Symposium (NFM 2021), May 2021, Online, United States. pp.287-303, ⟨10.1007/978-3-030-76384-8_18⟩ |
|
|
Interleaved Weighted Round-Robin: A Network Calculus AnalysisInternational Teletraffic Congress, Sep 2020, Osaka, Japan |
|
|
TSN Support for Quality of Service in Space10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
|
|
Formal Verification of Real-time NetworksJRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, Toulouse, France |
|
|
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⟩ |
|
|
Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 ProcessorERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France |
|
|
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 |
|
|
Traversal time for weakly synchronized CAN bus24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. ⟨10.1145/2997465.2997477⟩ |
|
|
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 |
|
|
Proof-by-Instance for Embedded Network DesignEmbedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France |
|
|
Integrating end-system frame scheduling for more accurate AFDX timing analysisEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
Experimental assessment of timing verification techniques for AFDXERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France |
|
|
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, Vienne, Austria |
|
|
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⟩ |
|
|
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 |
|
|
Special Track on Worst Case Traversal Time (WCTT)4th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2010), Oct 2010, Heraklion, Greece. pp.121, ⟨10.1007/978-3-642-16558-0_12⟩ |
|
|
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, Heraklion, Greece |
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 |
|
|
|
Synthesis and verification of constraints in the PGM protocol12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281 |