Research and Publications

Logiciels implémentant de résultats de recherche

I have implemented these tools myself

• Panco (Performance Analysis with Network Calculus and Optimization), a Python toolbox implementing the results presented in Performance Evaluation, 2022. The tool requires the use of the open-source linear programming solver lp_solve. It also implements (using state of the art methods) the analysis of multiclass networks, with static priority scheduling, and of some TNS features (mainly the CBS/AVB scheduling, taking into account a GCL (Gate Control List), and using a FIFO-per class scheduling. The detailed documentation is still ongoing work
• NCBounds, a Python toolbox implementing the results presented in FORMATS 2019
• NetCalBounds, a caml implementation of the results presented in Infocom 2010 and Valuetools 2012. The tool requires the use of the open-source linear programming solver lp_solve.

Projets et groupes de lecture

• ANR Marmote: MARkovian MOdeling Tools and Environments
• Reading group on simulation

Livre

• Deterministic Network Calculus: From Theory to Practical Implementation, with Marc Boyer and Euriell Le Corronc. ISBN: 978-1-119-56341-9, October 2018, Wiley-ISTE, 352 pages/

Thèse de doctorat et habilitaion à diriger des recherches

1. Optimisation and analyse probabiliste de systèmes à événements discrets, (in French) under the supervision of Bruno Gaujal and Jean Mairesse, defended on the 2nd of December 2005.
2. Algorithms and efficiency of network calculus, habilitation thesis, defended on the 8th or April 2014.

Articles dans des journaux internationaux et chapitres de livres

1. MGF-based SNC for stationary independent Markovian processes with localized application of martingales.Discret. Event Dyn. Syst. 34(2): 375-401 (2024)
2. Admission Shaping With Network Calculus. IEEE Netw. Lett. 6(2): 115-118 (2024)
3. Worst-Case Delay Analysis of Time-Sensitive Networks With Deficit Round-Robin, with Seyed Mohammadhossein Tabatabaee and Jean-Yves Le Boudec: IEEE/ACM Trans. Netw. 32(3): 1967-1982 (2024)
4. Trade-off between accuracy and tractability of Network Calculus in FIFO networks. Perform. Evaluation 153: 102250, 2022
5. Individual Service Curves for Bandwidth-Sharing Policies Using Network Calculus. IEEE Netw. Lett. 3(2): 80-83, 2021
6. Tight performance bounds in the worst-case analysis of feed-forward networks, with Eric Thierry, accepted at Journal of Discrete Event Dynamic Systems, 2015
7. Worst-case analysis of tandem queueing systems using Network Calculus, with Giovanni Stea, in D. Bruneo, S. Distefano "Quantitative Assessments of Distributed Systems", Book Series on Performability Engineering, John Wiley and Sons, 2015.
8. Perfect sampling for closed queueing networks, with Ana Busic et Christelle Rovetta, Performance Evaluation. Volume 79, September 2014, Pages 146-159. Special Issue: Performance 2014
9. Fast Weak-KAM integrators for separable hamiltonian systems, with Erwan Faou and Maxime Zavodovique, accepted at Mathematics of Computation, 2014
10. Exact Worst-case Delay in FIFO-multiplexing Feed-forward Networks, with Giovanni Stea, accepted at IEEE/ACM Transactions on Networking, 2014
11. Optimal routing for end-to-end guarantees using Network Calculus, with Bruno Gaujal, Eric Thierry and Sébastien Lagrange, Performance Evaluation, Vol. 65(11-12), pages 883-906, 2008.
12. Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions, with Bruno Gaulal, Journal of Discrete Event Dynamamic Systems, Vol. 18(4), pages 473-498, 2008
13. An Algorithmic Toolbox for Network Calculus with Éric Thierry, Journal of Discrete Event Dynamamic Systems, Vol. 18(1), pages 3-49, 2008
14. Extremal throughput in free-choice nets, with Bruno Gaujal and Jean Mairesse, Journal of Discrete Event Dynamamic Systems, Vol 16(3) (2006), pages 327-352.
15. Möbius inversion formula for the trace group, with Jean Mairesse, C. R. Acad. Sci. Paris, Ser I 339 (2004), pages 899-904.

Article dans des conférences internationales avec actes

1. Imperfect Bandwidth-Sharing Policies using Network Calculus. IFIP Networking 2023: 1-9
2. Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows, with Seyed Mohammadhossein Tabatabaee and Jean-Yves Le Boudec:QEST 2023: 205-220
3. Unleashing the Power of Paying Multiplexing Only Once in Stochastic Network Calculus, with Paul Nikolaus and Jens B. Schmitt, SIGMETRICS 2022
4. Stability and Performance Bounds in Cyclic Networks Using Network Calculus. FORMATS 2019: 96-113
5. Perfect sampling for multiclass closed queueing networks, with Ana Busic et Christelle Rovetta. 12th International Conference on Quantitative Evaluation of SysTems (QEST 2015)
6. Clones: CLOsed queueing Networks Exact Sampling, with Ana Busic et Christelle Rovetta. 8th International Conference on Performance Evaluation Methodologies and Tools 2014 (Valuetools 14). Best tool paper award.
7. Simulation parfaite dans un réseau fermé de files d'attente, with Ana Busic et Christelle Rovetta, 10ème Atelier en Evaluation de Performances, 2014
8. Risk-Aware SLA Negotiation, with Mohamed Lamine Lamali, Hélia Pouyllau Johanne Cohen and Dominique Barth, 7th International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2013)
9. Impact of Rare Alarms on Event Correlation, with Aurore Junier and Benoît Ronot, 9th international conference on Network and Service Management (CNSM13)
10. Some Synchronization Issues in OSPF Routingwith Claude Jard and Aurore Junier, 4th international conference on data communication networking (DCNET13)
11. Hidden Anomaly Detection in Telecommunication Networks, with Aurore Junier and Benoît Ronot, 8th international conference on Network and Service Management (CNSM12)
12. Exact Worst-case Delay for FIFO-multiplexing tandems, with Giovanni Stea, Sixth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012)
13. Packetization and packet curves in network calculus, with Nadir Farhi and Bruno Gaujal, Sixth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012) - invited short paper
14. Residuation of tropical series: rationality issues, with Eric Badouel, Philippe Darondeau and Jan Komenda, joint 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'11), 2011
15. Composition of service curves in network calculus, 1st International Workshop on Worst-Case Traversal Time (WCTT 11) p.35-42
16. Worst-case delay bounds with fixed priorities using network calculus, with Aurore Junier, Fifth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2011)
17. A unifying view of loosely time-triggered architectures, with Albert Benveniste and Paul Caspi, 10th International conference on Embedded software (EMSOFT 2010) p.189-198
18. Comparison of Different Classes of Service Curves in Network Calculuswith Laurent Jouhet and Éric Thierry, 10th International Workshop on Discrete Event Systems (WODES 2010)
19. Tight Performance Bounds in the Worst-Case Analysis of Feed-Forward Networks with Laurent Jouhet and Éric Thierry, 29th IEEE International Conference on Computer Communications (INFOCOM 2010), p. 1316-1324
20. Notations pour le calcul réseau, with Marc Boyer and Laurent Jouhet, Modélisation des systèmes réactifs (MSR 2009), JESA 43(7-9), p921-935 (in French).
21. COINC Library: a toolbox for Network Calculus, with Bertrand Cottenceau, Bruno Gaujal, Laurent Hardouin, Sébastien Lagrange, Medhi Lhommeau and Éric Thierry, Fourth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2009), (extended abstract, invited talk)
22. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net, with Stefan Haar and Sidney Rosario, 7th International Conference on Formal Modeling and Analysis of Timed Systems (Formats 2009), LNCS 5618, p43-57.
23. Monotonicity in Service Orchestrations, with Sidney Rosario, Albert Benveniste and Stefan Haar, 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2009), LNCS 5606, p263-282.
24. Lightweight Modeling of Complex State Dependencies in Stream-Processing Systems, with Linh T.X. Phan and Samarjit Chakraborty, 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009).
25. Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis, with Laurent Jouhet and Éric Thierry, 3rd international conference on Performance Evaluation Methodologies and Tools (ValueTools 2008).
26. Optimal routing for end-to-end guarantees: the price of multiplexing, with Bruno Gaujal, Sebastien Lagrange and Eric Thierry, 2nd international conference on Performance Evaluation Methodologies and Tools (ValueTools 2007), best paper award.
27. Backward coupling in Petri nets, with Bruno Gaujal, 1st international conference on Performance Evaluation Methodologies and Tools (ValueTools 2006).
28. Throughput in stochastic free-choice nets under various policies, with Bruno Gaujal et Jean Mairesse. Joint 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05).
29. Extremal throughput in free-choice nets, with Bruno Gaujal and Jean Mairesse, 26th International Conference on Application and Theory of Petri Nets 2005 (ICATPN 2005), published in LNCS 3536 p. 108-127.
30. Generating series of the trace group, with Jean Mairesse, 7th International Conference on Developments in Language Theory (DLT03), and published in LNCS 2710, p. 159-170, Springer.
31. Coupling time in a (max,+) matrix, with Bruno Gaujal, Proceedings of the 1st IFAC/IEEE Symposium on System Structure and Control, Praha p. 335-340, 2001 (INRIA Research Report 4068).

Rapports de recherche

1. Fast weak-KAM integrators with Erwan Faou and Maxime Zavidovique
2. Packetization and Aggregate Scheduling, with Nadir Farhi and Bruno GaujalRR INRIA 7685, 2011.
3. Residuation of tropical series: rationality issues, with Eric Badouel, Philippe Darondeau and Jan Komenda, RR INRIA 7547, 2011.
4. Service curves in Network calculus: dos and don'ts, with Éric Thierry and Laurent Jouhet, RR INRIA 7094, 2009.
5. Tight performance bounds in the worst-case analysis of feed-forward networks, with Laurent Jouhet and Éric Thierry, RR INRIA 7012, 2009.
6. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net, with Stefan Haar and Sidney Rosario, RR INRIA 7003, 2009 (long version of FORMAT 2009).
7. Monotony in Web-service orchestrations, with Sidney Rosario, Albert Benveniste and Stefan Haar, RR INRIA 6528, 2008.
8. An Explicit Control Algorithm for Optical FIFO Queues, with Cheng-Shang Chang, RR INRIA 6097, 2007
9. Some examples and counterexamples for (min,+) filtering operations with Éric Thierry, RR INRIA 6095, 2007
10. An Algorithmic Toolbox for Network Calculus with Éric Thierry, RR INRIA 6094 (long version, in English), 2007
11. An algorithmic toolbox for Network Calculus, with Éric Thierry, RRLIP-2005-41 (short version, in French).
12. Extremel throughput in free-choice nets, with Bruno Gaujal and Jean Mairesse, RRLIP-2005-14.
13. Perfect Sampling for Fork-Join networks, with Bruno Gaujal, RRLIP-2005-12.

Rapports de stage (en Français)

1. Rapport de Maîtrise : calcul de temps de réponse dans des systèmes temps-réel dans l'algèbre (max,+).
2. Rapport de DEA : les groupes de traces.