Marc Boyer

43
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

Image document

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

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-04560048 v2
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-04171262 v2
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-04156192 v1
Image document

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

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

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-03176024 v1
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-03463255 v1
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, Romania
Communication dans un congrès hal-03625035 v1
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-03007964 v1
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-02441327 v1
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-02449140 v1
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-02355185 v1
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-01707911 v1
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-01746132 v1
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-01399151 v1
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-01255939 v1
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-02272173 v1
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-02272276 v1
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-01085321 v1
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-00904796 v1
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-00904817 v1
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-01345472 v1
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, Vienne, Austria
Communication dans un congrès hal-00645119 v1
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-03763189 v1

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-04659373 v1
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, Heraklion, Greece
Communication dans un congrès inria-00551504 v1
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-00544502 v1

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-00523609 v1
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-00110252 v1