Nombre de documents

13

Marc Boyer


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

You can have more details on my ONERA home page.


Article dans une revue1 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〉

Communication dans un congrès11 documents

  • 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. Proceeding of the 8th European Congress on Embedded Real Time Software and Systems 〈http://www.erts2016.org/〉. 〈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. RTNS '16 Proceedings of the 24th International Conference on Real-Time Networks and Systems 〈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, Jul 2013, Munich, Germany. 2013. 〈hal-00904817〉
  • Etienne Mabille, Marc Boyer, Loic Féjoz, Stephan Merz. Towards Certifying Network Calculus. Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.484-489, 2013, Lecture Notes in Computer Science. 〈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. Proceedings of the 6th European Congress on Embedded Real Time Software and Systems, 〈http://web1.see.asso.fr/erts2012/index.htm〉. 〈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. 2011. 〈hal-00645119〉
  • 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. 2010. 〈inria-00551504〉
  • 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, 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. Springer, 4546, pp.63-82, 2007, Lecture Notes in Computer Science. 〈hal-00523609〉
  • Marc Boyer, Mihaela Sighireanu. Synthesis and verification of constraints in the PGM protocol. Keijiro Araki and Stefania Gnesi and Dino Mandrioli. 2003, Springer-Verlag, pp.264-281, 2003, LNCS 2805. 〈hal-00110252〉

Pré-publication, Document de travail1 document

  • Marc Boyer, Pierre Roux. A common framework embedding network calculus and event stream theory. 2016. 〈hal-01311502〉