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

Article dans une revue (5)

Equivalence between the theoretical model and the standard algorithm of Asynchronous Traffic Shaping Marc Boyer Leibniz Transactions on Embedded Systems, 2024, 9 (1), 27 p. ⟨10.4230/LITES.9.1.1⟩ Article dans une revue hal-03788302v2
Latency Analysis of Multiple Classes of AVB Traffic in TSN With Standard Credit Behavior Using Network Calculus Luxi Zhao,Paul Pop,Zhong Zheng,Hugo Daigmorte,Marc Boyer IEEE 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 benchmarks Marc Boyer,Amaury Graillat,Benoît Dupont de Dinechin,Jörn Migge Performance 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 Mechanism Nicolas Navet,Jörn Migge,Josetxo Villanueva,Marc Boyer SAE 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 nets Marc Boyer,Olivier Henri Roux Fundamenta Informaticae, 2008, 88 (3), pp.225-249 Article dans une revue hal-00489072v1

Communication dans un congrès (36)

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
A simple and efﬁcient class of functions to model arrival curve of packetised ﬂows 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
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
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 Scharbarget 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
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
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

Pré-publication, Document de travail (8)

Industrial challenge: Embedded reconfiguration of TSN Marc Boyer,Rafik Henia 2024 Pré-publication, Document de travail hal-04630862v1
Usage of TSN Per-Stream Filtering and Policing Marc Boyer 2023 Pré-publication, Document de travail hal-04159172v4
Formal specification of satellite on-board networks requirements Pierre-Julien Chaine,Marc Boyer,Claire Pagetti,Franck Wartel 2020 Pré-publication, Document de travail hal-02926971v1
Comparing strategies to bound the latencies of the MPPA Network-on-Chipi (Extended version) Marc Boyer,Amaury Graillat,Benoît Dupont de Dinechin,Jörn Migge 2019 Pré-publication, Document de travail hal-02122874v1
Comparing strategies to bound the latencies of the MPPA NoC Marc Boyer,Amaury Graillat,Benoît Dupont de Dinechin,Jörn Migge 2019 Pré-publication, Document de travail hal-02099698v1
Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues Hugo Daigmorte,Marc Boyer,Luxi Zhao 2018 Pré-publication, Document de travail hal-01814211v1
Does the integration of CBS and GCL behaves as you expect? And can it be enhanced? Hugo Daigmorte,Marc Boyer 2018 Pré-publication, Document de travail hal-01961718v1
A common framework embedding network calculus and event stream theory Marc Boyer,Pierre Roux 2016 Pré-publication, Document de travail hal-01311502v1