Marc Boyer

49
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.

Publications

Publications

Deposit thumbnail

Comparison of Logical Execution Time Programming Languages

Sid Ahmed Issolah , Marc Boyer , Damien Chabrol , Guillaume Phavorin

13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.16⟩

Communication dans un congrès hal-05513534v1
Deposit thumbnail

PSFP in TSN Networks: Insights into Some Practical Limitations

Matheus Ladeira , Marc Boyer , Nicolas Navet , Léo Seguin

13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.44⟩

Communication dans un congrès hal-05513845v1
Deposit thumbnail

When Buildings Blur the Lines: Revealing the Hidden Performance Equivalences in MANET Routing Protocols *

Hugo Le Dirach , Marc Boyer , Emmanuel Lochin

The 23rd IEEE International Symposium on Network Computing and Applications, Nov 2025, Lisbonne, Portugal

Communication dans un congrès hal-05303006v2
Deposit thumbnail

ECRTS Industrial Challenge: Designing a Resilient Time-Aware Shaper Configuration for TSN

Marc Boyer , Rafik Henia , Cédric Pralet

ECRTS Industrial Challenge, Jul 2025, Bruxelles, Belgium

Communication dans un congrès hal-05150266v1
Deposit thumbnail

Multi-Partner Project: Resilient Time-Sensitive Networks (ResTSN)

Marc Boyer , Rafik Henia

DATE 25 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-4, ⟨10.23919/DATE64628.2025.10992805⟩

Communication dans un congrès hal-05272595v1
Deposit thumbnail

Building-Aware Path Loss Modeling in ns-3

Hugo Le Dirach , Marc Boyer , Emmanuel Lochin

The International Conference on ns-3 (ICNS3), ACM ICPS conference, Aug 2025, Osaka, Japan. pp.143-152, ⟨10.1145/3747204.3747220⟩

Communication dans un congrès hal-05117069v1
Deposit thumbnail

Switching Between Left and Right Continuity in Network Calculus

Damien Guidolin--Pina , Marc Boyer

ECRTS 2024, Jul 2024, Lille, France. ⟨10.4230/LIPIcs.ECRTS.2024.9⟩

Communication dans un congrès hal-03772867v2
Deposit thumbnail

Scaling, Packetizers and Aggregation in Network Calculus

Damien Guidolin-Pina , Marc Boyer

2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2024, Padoue, Italy. pp.1-8, ⟨10.1109/ETFA61755.2024.10710819⟩

Communication dans un congrès hal-04560048v2
Deposit thumbnail

A first Network Calculus model for Cyclic Queuing and Forwarding

Damien Guidolin--Pina , Marc Boyer

Junior Researcher Workshop on Real-Time Computing, Jun 2023, Dortmund, Germany

Communication dans un congrès hal-04171262v2
Deposit thumbnail

Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks

Seyed Mohammadhossein Tabatabaee , Marc Boyer , Jean-Yves Le Boudec , Jörn Migge

2023 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
Deposit thumbnail

A Formal Link Between Response Time Analysis and Network Calculus

Pierre Roux , Sophie Quinton , Marc Boyer

ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩

Communication dans un congrès hal-03770727v1
Deposit thumbnail

Comparative Study of High-Throughput Technologies for Next-Generation Satellite On-Board Networks

Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel

DATA systems in Aerospace (DASIA), Sep 2021, Bucarest, Romania

Communication dans un congrès hal-03625035v1
Deposit thumbnail

Comparative study of Ethernet technologies for next-generation satellite on-board networks

Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel

DASC 2021, Oct 2021, San Antonio, United States. ⟨10.1109/DASC52595.2021.9594399⟩

Communication dans un congrès hal-03463255v1
Deposit thumbnail

A Residual Service Curve of Rate-Latency Server used by Sporadic Flows Computable in Quadratic Time for Network Calculus

Marc Boyer , Pierre Roux , Hugo Daigmorte , David Puechmaille

33rd Euromicro Conference on Real-Time Systems (ECRTS) 2021, Jul 2021, Online, Germany. ⟨10.4230/LIPIcs.ECRTS.2021.14⟩

Communication dans un congrès hal-03446018v1
Deposit thumbnail

Verifying Min-Plus Computations with Coq

Lucien Rakotomalala , Pierre Roux , Marc Boyer

13th NASA Formal Methods Symposium (NFM 2021), May 2021, Online, United States. pp.287-303, ⟨10.1007/978-3-030-76384-8_18⟩

Communication dans un congrès hal-03176024v1
Deposit thumbnail

Interleaved Weighted Round-Robin: A Network Calculus Analysis

Seyed Mohammadhossein Tabatabaee , Jean-Yves Le Boudec , Marc Boyer

International Teletraffic Congress, Sep 2020, Osaka, Japan

Communication dans un congrès hal-03007964v1
Deposit thumbnail

TSN Support for Quality of Service in Space

Pierre-Julien Chaine , Marc Boyer , Claire Pagetti , Franck Wartel

10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France

Communication dans un congrès hal-02441327v1
Deposit thumbnail

Formal Verification of Real-time Networks

Lucien Rakotomalala , Marc Boyer , Pierre Roux

JRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, Toulouse, France

Communication dans un congrès hal-02449140v1
Deposit thumbnail

Increasing Accuracy of Timing Models: From CPA to CPA+

Leonie Köhler , Borislav Nikolic , Rolf Ernst , Marc Boyer

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
Deposit thumbnail

Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor

Marc Boyer , Benoît Dupont de Dinechin , Amaury Graillat , Lionel Havet

ERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France

Communication dans un congrès hal-01707911v1
Deposit thumbnail

Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks

Jörn Migge , Josetxo Villanueva , Nicolas Navet , Marc Boyer

9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France

Communication dans un congrès hal-01746132v1
Deposit thumbnail

Traversal time for weakly synchronized CAN bus

Hugo Daigmorte , Marc Boyer

24th International Conference on Real-Time Networks and Systems, Oct 2016, Brest, France. ⟨10.1145/2997465.2997477⟩

Communication dans un congrès hal-01399151v1
Deposit thumbnail

Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet

Marc Boyer , Hugo Daigmorte , Nicolas Navet , Jörn Migge

8th European Congress on Embedded Real Time Software and Systems , Jan 2016, Toulouse, France

Communication dans un congrès hal-01255939v1
Deposit thumbnail

Proof-by-Instance for Embedded Network Design

Marc Boyer , Loïc Fejoz , Stephan Merz

Embedded real-time software and systems (ERTS² 2014), Feb 2014, Toulouse, France

Communication dans un congrès hal-02272173v1
Deposit thumbnail

Integrating end-system frame scheduling for more accurate AFDX timing analysis

Marc Boyer , Luca Santinelli , Nicolas Navet , Jörn Migge , Marc Fumey

Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France

Communication dans un congrès hal-02272276v1
Deposit thumbnail

Performance analysis of the Disrupted Static Priority scheduling for AFDX

R.T. Flores , Marc Boyer

ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, Lausanne, Switzerland

Communication dans un congrès hal-01085321v1
Deposit thumbnail

Certifying Network Calculus in a Proof Assistant

Etienne Mabille , Marc Boyer , Loic Féjoz , Stephan Merz

EUCASS - 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
Deposit thumbnail

Towards Certifying Network Calculus

Etienne Mabille , Marc Boyer , Loic Féjoz , Stephan Merz

ITP - 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
Deposit thumbnail

Experimental assessment of timing verification techniques for AFDX

Marc Boyer , Nicolas Navet , Marc Fumey

ERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France

Communication dans un congrès hal-01345472v1
Deposit thumbnail

A simple and efficient class of functions to model arrival curve of packetised flows

Marc Boyer , Jörn Migge , Nicolas Navet

First International Workshop on Worst-case Traversal Time (WCTT 2011), Nov 2011, Vienne, Austria

Communication dans un congrès hal-00645119v1
Deposit thumbnail

A Framework to Manage Knowledge from Defect Resolution Process

Grégory Claude , Marc Boyer , Gaël Durand , Florence Sèdes

13th 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
Deposit thumbnail

Half-modeling of shaping in FIFO net with network calculus

Marc Boyer

18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.59-68

Communication dans un congrès hal-00544502v1

Special Track on Worst Case Traversal Time (WCTT)

Anne Bouillard , Marc Boyer , Samarjit Chakraborty , Steven Martin , Jean-Luc Scharbarg et al.

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⟩

Communication dans un congrès hal-04659373v1
Deposit thumbnail

The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus

Marc Boyer , Nicolas Navet , Xavier Olive , Eric Thierry

4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraklion, Greece

Communication dans un congrès inria-00551504v1

Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets

Marc Boyer , Olivier Henri Roux

28th 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
Deposit thumbnail

Synthesis and verification of constraints in the PGM protocol

Marc Boyer , Mihaela Sighireanu

12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281

Communication dans un congrès hal-00110252v1