Pages personnelles professionnelles

Publications and seminars of Marc Boyer

Publications related to network calculus

• [ERTS2012] "Experimental assessment of timing verification techniques for AFDX", Marc Boyer, Jörn Migge, Marc Fumey, Accepted at the 5th Embedded Real Time Software and System Congress (ERTS² 2012) -- Slides
• [WCTT11] "A simple and efficient class of functions to model arrival curve of packetised flows", Marc Boyer, Jörn Migge, Nicolas Navet Proc of the first International Workshop on Worst-case Traversal Time (WCTT) -- (Slides)
• [SAE11] PEGASE – a robust and efficient tool for worst-case network traversal time evaluation on AFDX, Marc Boyer, Jörn Migge, Marc Fumey, Proc of SAE 2011 Aerotech Congress & Exhibition (SAE Aerotech 2011) ; slides ; it also exist a preleminary version as RT@W technical report.
• [ETFA11] "Non-preemptive static priority with network calculus", William Mangoua Sofack, Marc Boyer, Proc. of the 16th int. Conf. on Emerging Technologies and factory Automation (ETFA'2011).
  
• [RTNS10] "Half-modeling of shaping in FIFO net with network calculus", Marc Boyer, Proc. of the 18th International Conference on Real-Time and Network Systems (RTNS 2010) (Full version, Appendix only, Internal Report , Slides)
• [ONERA-5/14053] "Combining network calculus and scheduling theory to improve delay bounds", Marc Boyer, David Doose, technical report 5/14053.
• [ISOLA10a] "The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus", Marc Boyer, Nicolas Navet, Eric Thierry, Xavier Olive, Proc. of the  of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
• [ISOLA10b] "NC-maude: a rewriting tool to play with network calculus", Marc Boyer, Proc. of the  of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
• [ONERA-1/16417] "NC-maude: maude for computation of worst bounds on real-time (embedded) networks", Marc Boyer, Technical report 1/16417, ONERA
• [ONERA-2/16417] "Delay in FIFO rate-latency nodes shared by CPL flows", Marc Boyer, Technical report 2/16417, ONERA
• [GPL10] "Collaboration entre méthode d'ordonnancement et calcul réseau", Marc Boyer, David Doose, 2èmes Journées du GdR Génie de la programmation et du logiciel (GdR GPL 2010), 10-12 mars 2010, Pau, France
• [MSR09] "Notations pour le calcul réseau", Marc Boyer, Anne Bouillard, Laurent Jouhet, 7ième colloque francophone sur la Modelisation des Systemes Reactifs (MSR'09), 16-18 nov 2009, Nantes, France
  
• [WFCS08] "Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus" Marc Boyer, Christian Fraboul, Proc. of the 7th IEEE International Workshop on Factory Communication Systems Communication in Automation (WFCS 2008) May 20-23, 2008, Dresden, Germany
  There also are the slides of the presentation, and a long version of the appendix, with more details on the main proof. Selection rate: 59% (Erratum: in equation (12), R_i must be R).
• [WFCS08-Addendum] "Output flow of a  FIFO rate-latency node shared by CPL flows" Marc Boyer.
  
• [IRIT-2007-21]"Managing aggregation of shaped leaky buckets flows through GPS node in network calculus" Marc Boyer, Ahmed Chagou, IRIT Report IRIT/RR--2007-21--FR

Publications related to embedded networks

• [MARC12] "Deterministic Execution on Many-Core Platforms application to the SCC", Bruno d’Ausbourg, Marc Boyer, Eric Noulard and Claire Pagetti, Proc of the 4th the 4th symposium of the Many-core Applications Research Community, (MARC'11b), Potsdam, Germany, December 2011.
  
• [FET05] "Interconnecting CAN busses via an Ethernet backbone"  Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul. Proc of the 16th IFAC International Conference on Fieldbus Systems and their Applications (FeT 2005), Puebla (Mexico), Novembre 2005
• [ETFA05a] "TTCAN over mixed CAN/Switched Ethernet architecture"  Ermont, Christian Fraboul. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, IEEE Computer Press, p. 665-668, septembre 2005.
  
• [ETFA05b] "CAN-Ethernet Architectures for Real-Time Applications"  Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, IEEE Computer Press, p. 245-252, septembre 2005.
  

Publications related to verification of protocols

• [FAC04] "Model-Checking aléatoire: une approche entre test et vérification". Marc Boyer, Jean-Christophe Pince, Actes de la 11ème journée de Formalisation des Activités Concurrentes (FAC'2004) (paper,  slides)

Citations: [Boud-AJIT-05]

• [LIAFA02]  Modeling and verifying the PGM protocol: a real (?) problem for academic tool, Marc Boyer, LIAFA Report, July 2002.
• [FM03]   Synthesis and verification of constraints in the PGM protocol, Marc Boyer and Mihaela Sighireanu, Proc. of the 12th International Formal Methods Europe Symposium (FM'03), Pisa (Italy), Septembre 2003, LNCS 2805.
  Citations: [Zhang-JAIR-08]

Publications related to timed Petri nets

• [DiazPN09] "Time Petri nets", Bernard Berthomieu, Marc Boyer, Michel Diaz, In Petri Nets: Fundamental models, Verification and Applications, Michel Diaz Editor, Wiley, 2009, ISBN: 978-1-84821-079-0.
  
• [FI08] "On the compared expressiveness of Arc, Place and Transition Time Petri net", Marc Boyer, Olivier Henri Roux, Fundamenta Informaticae, Volume 88, Number 3, 2008. 

Citations: [Raynier-09], [Magnin-09a], [Magnin-09b]

• [ICATPN07] Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets Marc Boyer, Olivier Henri Roux, Proc. of the 28th international conference on application and theory of Petri nets and other models of concurrency (ATPN 07), LNCS 4546, p63-82, Springer, Siedlce, Poland, June 25-29, 2007 (Best Paper Award) (slides)
  Citations: [Srba-FORMATS-08], [TRPN-TopNoC-08], [SLG-IFM-09],[Pan-ICCSSE-08],[PAN-ICMeCG-09], [ATLANTIF-IFM-09]  Selection rate: 35%
• [IRCCyN06]  Comparison of the expressiveness w.r.t. timed bisimilarity of k-bounded Arc, Place and Transition Time Petri Nets with weak and strong single server semantics. Marc Boyer, Olivier Henri Roux, Rapport de recherche, RI2006-15, IRCCyN
• [ICFEM06]  "Mapping RT-LOTOS specifications into Time Petri Nets", Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat, Proceedings of Eighth International Conference on Formal Engineering Methods (ICFEM 2006), pages 360-379, 29 October - 3 November 2006, Macao, China Selection rate: 35%
• [FORTE06]  "Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets", Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat, Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), pages 404-419, September 26-29 2006, Paris, France Citations: [ATLANTIF-IFM-09] Selection rate: 33%
• [TPTS02]  Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)", M. Boyer, in Proceedings of the first Workshop on Theory and Practice of Timed Systems (TPTS), April 6-7, 2002, Grenoble, France, published as Volume 65, Issue 6 of the Electronic Notes in Theoretical Computer Science, 31 p.
  There also exists a preliminary version, LIAFA report 2002-07, Nov. 2001, 36 p. 

Citations: [Stheno-PNMLM-05] [AbBa-FI-08]

• [PNPM01] Multiple enabledness of transitions in Petri nets with time", M.Boyer, M.Diaz, Décembre 2000, 20p, in Proceeding of the 9th International Workshop on Petri Nets and Performance Modeling (PNPM'01), pages 219-228. It is also a LAAS Report, N°00520. Here are the slides
  Citations: [Gu-DCS-2003], [Haar-DES-2002] [Song-PAIS-2007] [Srba-FORMATS-08], [Pan-ICCSSE-08], [deLara-FAC-09]
  Selection rate: 57%
• [PNPM99] Non equivalence between time Petri nets and time stream Petri nets", M.Boyer, M.Diaz, in Proceedings of 8th International Workshop on Petri Nets and Performance Modeling (PNPM'99 ), pages 198-207, Zaragoza, Spain, September 1999.
  Citations: [Haar-DES-2002] [Srba-ICATPN-20005] [Bérard-FORMATS-2005] [RPOO-ENTCS-2005] [Srba-FORMATS-08][AbBa-FI-08] [TRPN-TopNoC-08]
  

Selection rate: 57%

• "Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic", M. Boyer, F. Vernadat, Rapport LAAS N°00146, Mars 2000, 55p.
• "Non équivalence entre les réseaux de Petri temporels et quelques autres modèles temporels", M. Boyer, Actes de la conférence Formalisation des Activités Concurrentes (FAC'2000), 19-20 Mai 2000, Toulouse, FRANCE. Rapport LAAS N°2000084, 15p.  Vous pouvez charger  les transparents au format postscript (compressé).

Publications related to QoS dynamic renegociation

• [IDMS98] "Dynamic QoS Renegociation in the PNSVS Videoconferencing Application", M.Boyer, P.Owezarski, M.Diaz , in Proceedings of the Fifth International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'98), Oslo, Norway, September 1998.
  
  Here are the slides .
• "Renégociation dynamique de qualité de service dans une application de visioconférence synchronisée", P.Owezarski, M.Boyer, M.Diaz, presentée au Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97). version Postscript
• "Mécanimes de gestion et de renégociation de la qualité de service dans une application de visioconférence ", P.Owezarski, M.Boyer, M.Diaz, Revue Electronique sur les Réseaux et l'Informatique Répartie (RERIR),(7), Septembre 1998.

Le calcul réseau dans un contexte embarqué (2007)

RHDM02: Modelisation d'architectures multimédias

Thesis (2001)

J'ai soutenu ma thèse (le 2 juillet 2001).  Vous pouvez télécharger le résumé, ou le texte complet (si vous ne voulez pas imprimer toute la thèse - 170p - vous pouvez en demander un exemplaire au centre de documentation du LAAS).
Vous pouvez aussi télécharger les transparents de la thèse. Soulignons que c'est du LaTeX, avec le paquetage prosper.

Vous pouvez aussi consulter ma fiche sur MathDoc.

Stats with

Mis à jour le 12 february 2010 - © ONERA 2008 - Crédits et conditions d'utilisation