Accéder directement au contenu

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

Image document

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
Image document

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-04171262v1
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
Communication dans un congrès hal-03176024v1
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⟩
Communication dans un congrès hal-03463255v1
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
Communication dans un congrès hal-03625035v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-02355185v1
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
Communication dans un congrès hal-01707911v1
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
Communication dans un congrès hal-01746132v1
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⟩
Communication dans un congrès 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
Communication dans un congrès 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
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01085321v1
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
Communication dans un congrès hal-00904817v1
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⟩
Communication dans un congrès hal-00904796v1
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
Communication dans un congrès 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
Communication dans un congrès hal-00645119v1
Image document

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
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-00110252v1
Image document

Usage of TSN Per-Stream Filtering and Policing

Marc Boyer
2023
Pré-publication, Document de travail hal-04159172v4
Image document

Looking for equivalences of the services between left and right continuity in the Network Calculus theory

Damien Guidolin--Pina , Marc Boyer
2022
Pré-publication, Document de travail hal-03772867v1
Image document

Equivalence between the theoretical model and the standard algorithm of Asynchronous Traffic Shaping

Marc Boyer
2022
Pré-publication, Document de travail hal-03788302v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

A common framework embedding network calculus and event stream theory

Marc Boyer , Pierre Roux
2016
Pré-publication, Document de travail hal-01311502v1