Mini-Bio

• 1996 : Ingénieur informatique ENSEEIHT + DEA Informatique Fondamentale et parallélisme
• 1996-1997 : Service national
• 1997-1999 : Élève de l'ENSC (concours d'entrée en troisième année -- liste des anciens élèves informaticiens)
• 1997-2001 : Thèse de l'université Toulouse III au LAAS, au sein du groupe de recherche OLC.
• 2001-2002: PostDoc au LIAFA au sein du groupe Modélisation et vérification dans le cadre du projet ADVANCE
• 2002-2008 : Maître de conférence au département Télécommunications et Réseaux de l'ENSEEIHT, recherche effectuée au sein de l'équipe IRT de l'IRIT.
• 2008- : Ingénieur de recherche ONERA/DTIM
• 2021 : Habilitation à diriger les recherches (HDR) Garantir les temps de réponse des réseaux embarqués à l’aide du calcul réseau

Publications related to network calculus

• [JRWRTC2023] A first Network Calculus model for Cyclic Queuing and Forwarding Damien Guidolin--Pina, Marc Boyer Proc. of the 16th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2023) Best Paper award
• [RTAS23] Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks Seyed Mohammadhossein Tabatabaee, Marc Boyer, Jean-Yves Le Boudec, Jörn Migge Proc. of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2023) . May 9-12, 2023. San Antonio, Texas. -- Technical report
• [HAL22] Looking for equivalences of the services between left and right continuity in the Network Calculus theory Damien Guidolin--Pina, Marc Boyer Technical Report HAL-03772867
• [arXiv22] A Real-time Calculus Approach for Integrating Sporadic Events in Time-triggered Systems Anaïs Finzi, Silviu S. Craciunas, Marc Boyer arXiv:2204.10264
  
• [ECRTS22-A] A Formal Link between Response Time Analysis and Network Calculus Pierre Roux, Sophie Quinton, Marc Boyer Proc. of the 34rd Euromicro Conference on Real-Time Systems (ECRTS) July, 2022, Modena, Italy
  Also note that an artifact is provided.
• [ERTS22] Checking validity of the min-plus operations involved in the analysis of a real-time embedded network Marc Boyer, Pierre Roux, Hugo Daigmorte (ERTS 2022), June 1-2, Toulouse, France
• [NetLet22] Improved service curve for element with known transmission rate Marc Boyer, Hugo Daigmorte IEEE Networking Letters, 2022
  The script used for the example can be found at zenodo.5226867
• [IEICE21] Interleaved Weighted Round-Robin: A Network Calculus Analysis Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer IEICE Transactions on Communications, 2021
• [ECRTS21] A residual service curve of rate-latency server used by sporadic flows computable in quadratic time for network calculus Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille Proc. of the 33rd Euromicro Conference on Real-Time Systems (ECRTS), July 5-9, 2021
  An artifact can be downloaded.
• [NFM21] Verifying min-plus Computations with Coq Lucien Rakotomalala, Pierre Roux, Marc Boyer Proc. of the 13th NASA Formal Methods Symposium (NFM 2021), May 24-28, 2021, Springer, ISBN 978-3-030-76384-8 (extended version)
  The talk has been recorded (starts at 3:12:40)
• [HDR] Garantir les temps de réponse des réseaux embarqués à l’aide du calcul réseau Marc Boyer Habilitation à diriger les recherches, 2021
• [TIE20] Latency Analysis of Multiple Classes of AVB Traffic in TSN with Standard Credit Behavior using Network Calculus Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte and Marc Boyer IEEE Transactions on Industrial Electronics, 2020
• [ITC20] Interleaved Weighted Round-Robin: A Network Calculus Analysis Seyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec, Marc Boyer Proc. of the 32nd Int. Teletraffic Congress (ITC 32) September 22-24, 2020. DOI: 10.1109/ITC3249928.2020.00016
• [PEVA20] Bounding the delays of the MPPA network-on-chip with network calculus: Models and benchmarks Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge Performance Evaluation, July 2020
  HAL version
• [arXiv20b] Latency Analysis of Multiple Classes of AVB Traffic in TSN with Standard Credit Behavior using Network Calculus Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte, Marc Boyer arXiv preprint arXiv:2005.08256
• [arXiv20a] Interleaved Weighted Round-Robin: A Network Calculus Analysis SM Tabatabaee, JYL Boudec, M Boyer arXiv preprint arXiv:2003.08372
• [RTNS19] Impact on credit freeze before gate closing in CBS and GCL integration into TSN Hugo Daigmorte, Marc Boyer in Proc. of the 27th Int. Conf. on Real-Time Networks and Systems (RTNS 2019) November 6-8, 2019 -Toulouse/France Slides
• [JRWRTC19b] Formal Verification of Real-time Networks Lucien Rakotomalala, Marc Boyer and Pierre Roux in Proc. of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019) November, 2019, Toulouse, France
• [JRWRTC19a] TSN Support for Quality of Service in Space Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel in Proc. of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019) November, 2019, Toulouse, France
• [HAL-MPPANoC19] Comparing strategies to bound the latencies of the MPPA Network-on-Chip (Extended version) Marc Boyer, Amaury Graillat, Benoît Dupont de Dinechin, Jörn Migge Technical Report <hal-02122874>
• [DATE19] Increasing Accuracy of Timing Models: From CPA to CPA+ Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer in Proc. of the Design, Automation and Test in Europe Conference and Exhibition (DATE 2019) -- Slides -- DOI: 10.23919/DATE.2019.8714770
  Erratum: There are some typos in the proceedings version, corrected in the HAL version.
• [TR-TSN18] Improving Worst-Case End-to-End Delay Analysisof Multiple Classes of AVB Traffic in TSN Networks using Network Calculus Luxi Zhao, Paul Pop, Zhong Zheng, Hugo Daigmorte and Marc Boyer DTU Compute Technical Report, December 2018
• [HAL-TSN18b] Does the integration of CBS and GCL behaves as you expect? And can it be enhanced? Hugo Daigmorte, Marc Boyer Technical Report <hal-01961718>
• [DNC18] Deterministic Network Calculus: From Theory to Practical Implementation Anne Bouillard, Marc Boyer, Euriell Le Corronc ISBN: 978-1-119-44028-4, Oct 2018, Wiley-ISTE, 350 pages
• [HAL-TSN18a] Modelling in network calculus a TSN architecture mixing Time-Triggered, Credit Based Shaper and Best-Effort queues Hugo Daigmorte, Marc Boyer, Luxi Zhao Technical Report <hal-01814211>
• [SAE-PCEES18] Pre-shaping Bursty Transmissions under IEEE802.1Q as a Simple and Efficient QoS MechanismsNicolas Navet,Jörn Migge, Josetxo Villanueva, Marc Boyer SAE Int. Journal of Passenger Cars - Electronic and Electrical Systems, Vol 11, Issue 3, 2018.
  A preliminary version was published in Proc. of the SAE World Congress Experience April 10-12, Detroit, Michigan, USA.
• [ERTS18b] Insights on the Performance and Configuration of AVB and TSN in Automotive Ethernet Networks Jörn Migge, Josetxo Villanueva, Nicolas Navet, Marc Boyer Proc. of the 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
• [ERTS18a] Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor Marc Boyer, Benoît Dupont de Dinechin, Amaury Graillat, Lionel Havet Proc. of the 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
• [RTNS17] Evaluation of admissible CAN bus load with weak synchronization mechanism Hugo Daigmorte, Marc Boyer, in Proc. of the 24th Int. Conf. on Real-Time Networks and Systems (RTNS 2017) -- Slides
• [ICC17] Reducing CAN latencies by use of weak synchronization between stations Hugo Daigmorte, Marc Boyer, Jörn Migge Proc. of the 16th international CAN Conference (iCC 2017) -- Slides
• [RTNS16] Traversal time for weakly synchronized CAN bus Hugo Daigmorte, Marc Boyer Proc. of the 24th Int. Conf. on Real-Time Networks and Systems (RTNS 2016) -- DOI: 10.1145/2997465.2997477 -- Slides
  An artifact is provided to reproduce the results, here.
• [ETFA16] Embedding network calculus and event stream theory in a common model Marc Boyer, Pierre Roux Proc. of the 21th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2016) -- Slides
• [HAL16] A common framework embedding network calculus and event stream theory Marc Boyer, Pierre Roux Technical Report <hal-01311502>
• [ERTS16] Performance impact of the interactions between time-triggered and rate-constrained transmissions in TTEthernet Marc Boyer, Hugo Daigmorte, Nicolas Navet, Jörn Migge Proc. of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
• [MEMOCODE14] Performance analysis of the Disrupted Static Priority scheduling for AFDX Rubén Trillo Flores, Marc Boyer Proc. of the 12th ACM-IEEE Int. Conf. on Formal Methods and Models for System Design (MEMOCODE 14)
• [RTNS14] Complete modelling of AVB in Network Calculus Framework Joan Adrià Ruiz De Azua, Marc Boyer Proc. of the 22nd International Conference on Real-Time Networks and Systems (RTNS 2014) -- Slides -- doi > 10.1145/2659787.2659810
  Errata:
  • Theorems 6 and 10 (maximal service curves): the proofs of these theorems are false, and we have doubts on the validity of the result (even if we have no counter example). Cf §6.2.4 in [HAL-TSN18a]
  • Proof of Lemma 2: there is a sign inversion in the last equation. It should be Δcredit_n = idSl_nΔt+[...](...). Note that the formula in the Lemma itself is correct.
• [ERTSS14a] Integrating end-system frame scheduling for more accurate AFDX timing analysis Marc Boyer, Luca Santinelli, Nicolas Navet, Jörn Migge, Marc Fumey Proc. of the 6th Embedded Real Time Software and System Congress (ERTS² 2014) -- Slides
• [ERTSS14b] Proof-by-Instance for Embedded Network Design - From Prototype to Tool Roadmap Marc Boyer, Loïc Fejoz, Stephan Merz Proc. of the 6th Embedded Real Time Software and System Congress (ERTS² 2014) -- Slides
• [ITP13] Towards Certifying Network Calculus Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz Proc. of the 4th Conference on Interactive Theorem Proving (ITP 2013)
• [RTNS13] Continuity for network calculus Marc Boyer, Guillaume Dufour, Luca Santinelli Proc. of the 21st International conference on Real-Time Networks and Systems (RTNS 2013) -- Slides
• [EUCASS13a] Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support Marc Boyer, Nicolas Navet, Marc Fumey, Jörn Migge, Lionel Havet Proc. of the 5th European Conference for Aeronautics and Space Sciences (EUCASS), Real Time Avionics and Networks Session -- Slides
• [EUCASS13b] Certifying Network Calculus in a Proof Assistant Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz Proc. of the 5th European Conference for Aeronautics and SpaceSciences (EUCASS), Real Time Avionics and Networks Session -- Slides
• [AERO12] New Challenges for Future Avionic Architectures Pierre Bieber, Frédéric Boniol, Marc Boyer, Eric Noulard, Claire Pagetti AerospaceLab, Issue 4, May 2012
• [RTNS12] " Combining network calculus and scheduling theory to improve delay bound", Marc Boyer and David Doose, Proc of the 20th International Conference on Real-Time and Network Systems (RTNS 2012) -- Slides
  -- doi > 10.1145/2392987.2392994
• [DRR-ValueTool12] " Deficit Round Robin with Network Calculus" Marc Boyer, Giovanni Stea, William Mangoua Sofack, Proc. of the 6th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012) -- Slides
  -- doi > 10.4108/valuetools.2012.250202
• [WFCS-WiP12] " Generalisation of GPS and P-GPS in network calculus", William Mangoua Sofack, Marc Boyer. Proc of the 9th IEEE Workshop on Factory Communication Systems (WFCS 2012), Work in Progess Session, May 21-24, 2012, Lemgo/Detmold, Germany
• [WoNeCa12] " Non preemptive static priority with network calculus: Enhancement", William Mangoua Sofack and Marc Boyer, Proc. of the Workshop On Network Calculus (MBB-DFT/WoNeCA 2012), March 19-21, Kaiserslautern, Germany (Erratum: in definition of -Fø₁ inside Theorem-A 41, and in following paragraph, -Fá should be replace by-A -Fá₁, ie ø₁ = inf{t|â(t) $B!](B-A -Fá₁(t) > 0}) -A -- Slides
• [ERTS2012] " Experimental assessment of timing verification techniques for AFDX", Marc Boyer, Jörn Migge, Marc Fumey, Proc. of 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 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 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
  doi>10.1007/978-3-642-16558-0_14
• [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, Actes de la 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, Actes du 7ième colloque francophone sur la Modelisation des Systemes Reactifs (MSR 09), 16-18 nov 2009, Nantes, France
  JESA link
• [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 -- Slides of the presentation ; Long version of the appendix, with more details on the main proof. (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

• [ToN-23] Configuration of Guard Band and Offsets in Cyclic Queuing and Forwarding Damien Guidolin-Pina, Marc Boyer, Jean-Yves Le Boudec IEEE/ACM Transactions on Networking
• [HAL-PSFP23] Usage of TSN Per-Stream Filtering and Policing Marc Boyer
• [HAL-ATS22] Equivalence between the theoretical model and the standard algorithm of Asynchronous Traffic Shaping Marc Boyer
• [HAL-CQF22] Configuration of Guard Band and Offsets in Cyclic Queuing and Forwarding Damien Guidolin-Pina, Marc Boyer, Jean-Yves Le Boudec Technical report, preliminary version of [ToN-23]
• [JRWRT22] Shortening gate closing time to limit bandwidth waste when implementing Time-Triggered scheduling in TAS/TSN Pierre-Julien Chaine, Marc Boyer in Proc. of the 15th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2022) June 7-8, 2022, Paris, France
• [RTNS22] Egress-TT Configurations for TSN Networks Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel in Proc. of the 30th International Conference on Real-Time Networks and Systems (RTNS 2022) June 7-8, 2022, Paris, France Best Student Paper award -- Video
• [DASC21] Comparative study of Ethernet technologies for next-generation satellite on-board networks Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel Proc. of the 40th Digital Avionics Systems Conference (DASC 2021)
• [HAL20] Formal specification of satellite on-board networks requirements Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel Technical Report <hal-02926971>
• [RTNS19] Impact on credit freeze before gate closing in CBS and GCL integration into TSN Marc Boyer, Hugo Daigmorte in Proc. of the 27th International Conference on Real-Time Networks and Systems (RTNS 2019) November 6-8, 2019, Toulouse, France (Slides)
• [JRWRTC19a] TSN Support for Quality of Service in Space Pierre-Julien Chaine, Marc Boyer, Claire Pagetti and Franck, Wartel in Proc. of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019) November, 2019, Toulouse, France (to appear)
• [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 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"; Jean-Luc Scharbarg, Marc Boyer, Jérome 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.

• [TUM21] TSN Support for Quality of Service in Space Academic Salon on Time-Sensitive Networking and Deterministic Applications, October 13-14, 2021
• [EthGlbSum2021] Ethernet can now mix applications and still ensure real-time garantees Global Automotive Ethernet Innovation Summit 2021
• [ETR2021] Analysing TSN within network calculus framework Talk done at the french real-time summer school Ecoled'été Temps Réel, #ETR2021
• [TSN2020] TSN overview TSN presentation done in the EDEN projet of the IRT St Exupery.
• [WoNeCa2020] Formalization of relations between cumulative curves and event streams: from network calculus to CPA, and back Marc Boyer, Pierre Roux, Leonie Köhler, Borislav Nikolic, Rolf Ernst WoNeCa 2020 09 October 2020, Slides and Video.
• [IEEE-SA 2017/EIP@ATD] Experimental Assessment of QoS Protocols for In-Car Ethernet Networks Nicolas Navet, Josetxo Villanueva, Jörn Migge Migge,Marc Boyer 2017 IEEE Standards Association (IEEE-SA) Ethernet & IP @ Automotive Technology Day, 31 October - 2 November 2017, San Jose, California, USA
• [TSN/A 2017] Insights on the performance and configuration of AVB and TSN in automotive applications Jörn Migge, Josetxo Villanueva, Marc Boyer, Nicolas Navet Presented at TSN/A Conference 2017, September 20 -- 21, Stuttgart, Germany
• From multi to many-core: network on chip challenges talk done at the "Multicore and Embbeded Systems" workshop of DAS SEEL from Aerospace Valley, March 24th, 2016
• From multi to many-core: network on chip challenges talk done at CCT SIL-IRE meeting on On-board software and multicores : opportunities and issues, June 2015.
• Network calculus: from theory to avionic applications invited talk done a t SPADES/INRIA seminar, May 2015.
• Modelling avionics communicating systems: successes, failures, challenges talk done at Dagstuhl Seminar 15112 on Network Calculus, March 8-11 , 2015.
• Use of network calculus to bound traversal time of ARINC 664 P7 (AFDX ©) backbone: theory and practice , talk done during the AFDX © Roadshow by Vector and TTTech, July 8, 2014.
• Le calcul réseau dans un contexte embarqué (2007)
  J'ai été invité dans le cadres des séminaires de l'IRCCyN à faire un retour de notre expérience d'utilisation du calcul réseau dans un contexte embarqué -- Slides.

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)
• [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.

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.
• [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)
• [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, IRCCy
• [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
• [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
• [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 TimedSystems (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. 
• [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. -- Slides
• [PNPM99] Non equivalence between time Petri nets and time stream Petri nets", M.Boyer, M.Diaz, Proceedings of 8th International Workshop on Petri Nets and Performance Modeling (PNPM'99), pages 198-207, Zaragoza, Spain, September 1999.
• [LAAS-00146] 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.
• [FAC2000] 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. -- Slides (ps.gz)

Publications related to QoS dynamic renegociation

• [IDMS98] "Dynamic QoS Renegociation in the PNSVS Videoconferencing Application", M.Boyer, P.Owezarski, M.Diaz , Proceedings of the Fifth International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'98), Oslo, Norway, September 1998. -- Slides.
• [CFIP97] Renégociation dynamique de qualité de service dans une application de visioconférence synchronisée, P.Owezarski, M.Boyer, M.Diaz, Actes du Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'97).
• [RERIR98] "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'98),(7), Septembre 1998.

• RHDM02: Modélisation d'architectures multimédias
  Transparents présentés lors de l'école d'été Réseaux Haut-Débits et Multimédia (RHDM02). Cette présentation fait le point, en 2002, des problèmes de modélisation d'application multimédia, et présente une piste de solution. Cela correspond au dernier chapitre de ma thèse (Slides).
• Phd Thesis (2001)
  As the thesis itself is written in french, its presentation also is.

  J'ai soutenu ma thèse (le 2 juillet 2001). Vous pouvez télécharger le résumé, ou le texte complet. -- Slides

  Vous pouvez aussi consulter ma fiche sur MathDoc.

NC-maude

NC-maude have been developped to allow to play with Network Calculus. Current version is 1.9.5. You will need the Maude tool to use it.

You can have a look here to get my feedback on the use of rewriting language in this project.

C++ Code : CheckedNumeric

CheckedNumeric<T> is a C++ class that behaves like a numerical type, but with a checking of overflow and underflow, and throwing of an exception when the results is out of bounds.
Code example:

CheckedNumeric<unsigned int>
x,y;
x=y=0;
x++;
cout<<++x; // Outputs 2
x=y-1; //
Throw a CheckedNumeric<unsigned int>::numeric_overflow
exception
 

You can download the sources.

C Code : The Basic Preprocessed Library

The Basic Preprocessed Library: this is an attempt of having a set of container and algorithms (like the STL in C++) type-safe and efficient in C, using the preprocessor.
You can browse the documentation: a short user manual and developper manual, and download the sources.
Any feedbacks are welcome!