Publications and seminars of Marc Boyer

Publications related to verification of protocol

• [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" Jean-Luc Scharbarg, Marc Boyer, Jérôme 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.
• [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: ps , pdf , slides: ps , pdf )
  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

• [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] 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 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]
• [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]
  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]
  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 network calculus

• [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%
• [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 QoS dynamic renegociation

• "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 paper and 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.

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.