Skip to Main content
Number of documents

26

Marc Boyer


French researcher in worst case performance in embedded netwoks, working at ONERA.

You can have more details on my ONERA home page.


Journal articles2 documents

  • Nicolas Navet, Jörn Migge, Josetxo Villanueva, Marc Boyer. Pre-Shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS Mechanism. SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 2018, 11 (3), ⟨10.4271/2018-01-0756⟩. ⟨hal-02468313⟩
  • Marc Boyer, Olivier Henri Roux. On the compared expressiveness of arc, place and transition time Petri nets. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2008, 88 (3), pp.225-249. ⟨hal-00489072⟩

Conference papers19 documents

  • Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel. TSN Support for Quality of Service in Space. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441327⟩
  • Lucien Rakotomalala, Marc Boyer, Pierre Roux. Formal Verification of Real-time Networks. JRWRTC 2019, Junior Workshop RTNS 2019, Nov 2019, TOULOUSE, France. ⟨hal-02449140⟩
  • Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer. Increasing Accuracy of Timing Models: From CPA to CPA+. Design, Automation and Test in Europe Conference and Exhibition, Mar 2019, FLORENCE, Italy. ⟨10.23919/DATE.2019.8714770⟩. ⟨hal-02355185⟩
  • Jörn Migge, Josetxo Villanueva, Nicolas Navet, Marc Boyer. Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. ⟨hal-01746132⟩
  • Marc Boyer, Benoît Dupont de Dinechin, Amaury Graillat, Lionel Havet. Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor. ERTS 2018 - 9th European Congress on Embedded Real Time Software and Systems, Jan 2018, Toulouse, France. ⟨hal-01707911⟩
  • Marc Boyer, Hugo Daigmorte, Nicolas Navet, Jörn Migge. Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet. 8th European Congress on Embedded Real Time Software and Systems , Jan 2016, TOULOUSE, France. ⟨hal-01255939⟩
  • Hugo Daigmorte, Marc Boyer. Traversal time for weakly synchronized CAN bus. 24th International Conference on Real-Time Networks and Systems, Oct 2016, BREST, France. ⟨10.1145/2997465.2997477⟩. ⟨hal-01399151⟩
  • Marc Boyer, Loïc Fejoz, Stephan Merz. Proof-by-Instance for Embedded Network Design: From Prototype to Tool Roadmap. Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France. ⟨hal-02272173⟩
  • Marc Boyer, Luca Santinelli, Nicolas Navet, Jörn Migge, Marc Fumey. Integrating end-system frame scheduling for more accurate AFDX timing analysis. Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France. ⟨hal-02272276⟩
  • R.T. Flores, Marc Boyer. Performance analysis of the Disrupted Static Priority scheduling for AFDX. ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, LAUSANNE, Switzerland. ⟨hal-01085321⟩
  • Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz. Certifying Network Calculus in a Proof Assistant. EUCASS - 5th European Conference for Aeronautics and Space Sciences, Astrium and Technische Universität München, Jul 2013, Munich, Germany. ⟨hal-00904817⟩
  • Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz. Towards Certifying Network Calculus. ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.484-489, ⟨10.1007/978-3-642-39634-2_37⟩. ⟨hal-00904796⟩
  • Marc Boyer, Nicolas Navet, Marc Fumey. Experimental assessment of timing verification techniques for AFDX. 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. ⟨hal-01345472⟩
  • Marc Boyer, Nicolas Navet, Marc Fumey. Experimental assessment of timing verification techniques for AFDX. ERTS2012 - Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. ⟨hal-02189869⟩
  • Marc Boyer, Jörn Migge, Nicolas Navet. A simple and efficient class of functions to model arrival curve of packetised flows. First International Workshop on Worst-case Traversal Time (WCTT 2011), Nov 2011, Vienna, Austria. ⟨hal-00645119⟩
  • Marc Boyer. Half-modeling of shaping in FIFO net with network calculus. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.59-68. ⟨hal-00544502⟩
  • Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry. The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece. ⟨inria-00551504⟩
  • Marc Boyer, Olivier Henri Roux. Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets. 28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82. ⟨hal-00523609⟩
  • Marc Boyer, Mihaela Sighireanu. Synthesis and verification of constraints in the PGM protocol. 12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281. ⟨hal-00110252⟩

Preprints, Working Papers, ...5 documents

  • Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge. Comparing strategies to bound the latencies of the MPPA NoC. 2019. ⟨hal-02099698⟩
  • Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge. Comparing strategies to bound the latencies of the MPPA Network-on-Chipi (Extended version). 2019. ⟨hal-02122874⟩
  • Hugo Daigmorte, Marc Boyer. Does the integration of CBS and GCL behaves as you expect? And can it be enhanced?. 2018. ⟨hal-01961718⟩
  • Hugo Daigmorte, Marc Boyer, Luxi Zhao. Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues. 2018. ⟨hal-01814211⟩
  • Marc Boyer, Pierre Roux. A common framework embedding network calculus and event stream theory. 2016. ⟨hal-01311502⟩