Access content directly

Marc Boyer



French researcher in worst case performance in embedded netwoks, working at ONERA. You can have more details on my [ONERA home page](


Image document

Verifying min-plus Computations with Coq (extended version with appendix)

Lucien Rakotomalala , Pierre Roux , Marc Boyer
13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States
Conference papers hal-03176024v1
Image document

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, France
Conference papers hal-03625035v1
Image document

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⟩
Conference papers hal-03463255v1
Image document

Interleaved Weighted Round-Robin: A Network Calculus Analysis

Seyed Mohammadhossein Tabatabaee , Jean-Yves Le Boudec , Marc Boyer
International Teletraffic Congress, Sep 2020, Osaka, Japan
Conference papers hal-03007964v1
Image document

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
Conference papers hal-02441327v1
Image document

Formal Verification of Real-time Networks

Lucien Rakotomalala , Marc Boyer , Pierre Roux
JRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, TOULOUSE, France
Conference papers hal-02449140v1
Image document

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⟩
Conference papers hal-02355185v1
Image document

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
Conference papers hal-01746132v1
Image document

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
Conference papers hal-01707911v1
Image document

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⟩
Conference papers hal-01399151v1
Image document

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
Conference papers hal-01255939v1
Image document

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

Marc Boyer , Luca Santinelli , Nicolas Navet , Jörn Migge , Marc Fumey et al.
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Conference papers hal-02272276v1
Image document

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
Conference papers hal-02272173v1
Image document

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
Conference papers hal-01085321v1
Image document

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⟩
Conference papers hal-00904796v1
Image document

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
Conference papers hal-00904817v1
Image document

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
Conference papers hal-01345472v1
Image document

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, Vienna, Austria
Conference papers hal-00645119v1
Image document

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, Heraclion, Greece
Conference papers inria-00551504v1
Image document

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
Conference papers hal-00544502v1

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
Conference papers hal-00523609v1
Image document

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
Conference papers hal-00110252v1