Number of documents

20

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

  • 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 papers14 documents

  • 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⟩
  • 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, 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⟩
  • 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. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02189869⟩
  • 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, 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, 2010. 〈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. 2003, 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, Luxi Zhao. Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues. 2018. ⟨hal-01814211⟩
  • Hugo Daigmorte, Marc Boyer. Does the integration of CBS and GCL behaves as you expect? And can it be enhanced?. 2018. ⟨hal-01961718⟩
  • Marc Boyer, Pierre Roux. A common framework embedding network calculus and event stream theory. 2016. ⟨hal-01311502⟩