Research and Publications

Projects and reading groups

PhD thesis and habilitation

  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 in international journals and book chapters

  1. Tight performance bounds in the worst-case analysis of feed-forward networks, with Eric Thierry, accepted at Journal of Discrete Event Dynamic Systems, 2015
  2. 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.
  3. 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
  4. Fast Weak-KAM integrators for separable hamiltonian systems, with Erwan Faou and Maxime Zavodovique, accepted at Mathematics of Computation, 2014
  5. Exact Worst-case Delay in FIFO-multiplexing Feed-forward Networks, with Giovanni Stea, accepted at IEEE/ACM Transactions on Networking, 2014
  6. 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.
  7. 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
  8. An Algorithmic Toolbox for Network Calculus with Éric Thierry, Journal of Discrete Event Dynamamic Systems, Vol. 18(1), pages 3-49, 2008
  9. 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.
  10. Möbius inversion formula for the trace group, with Jean Mairesse, C. R. Acad. Sci. Paris, Ser I 339 (2004), pages 899-904.

Article in conferences with program committee and proceedings

  1. Perfect sampling for multiclass closed queueing networks, with Ana Busic et Christelle Rovetta. 12th International Conference on Quantitative Evaluation of SysTems (QEST 2015)
  2. 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.
  3. 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
  4. 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)
  5. Impact of Rare Alarms on Event Correlation, with Aurore Junier and Benoît Ronot, 9th international conference on Network and Service Management (CNSM13)
  6. Some Synchronization Issues in OSPF Routingwith Claude Jard and Aurore Junier, 4th international conference on data communication networking (DCNET13)
  7. Hidden Anomaly Detection in Telecommunication Networks, with Aurore Junier and Benoît Ronot, 8th international conference on Network and Service Management (CNSM12)
  8. Exact Worst-case Delay for FIFO-multiplexing tandems, with Giovanni Stea, Sixth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012)
  9. 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
  10. 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
  11. Composition of service curves in network calculus, 1st International Workshop on Worst-Case Traversal Time (WCTT 11) p.35-42
  12. Worst-case delay bounds with fixed priorities using network calculus, with Aurore Junier, Fifth International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2011)
  13. 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
  14. Comparison of Different Classes of Service Curves in Network Calculuswith Laurent Jouhet and Éric Thierry, 10th International Workshop on Discrete Event Systems (WODES 2010)
  15. 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
  16. 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).
  17. 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)
  18. 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.
  19. 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.
  20. 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).
  21. 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).
  22. 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.
  23. Backward coupling in Petri nets, with Bruno Gaujal, 1st international conference on Performance Evaluation Methodologies and Tools (ValueTools 2006).
  24. 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).
  25. 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.
  26. 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.
  27. 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).

Research reports and preprints

  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.

Internship reports (in French)

  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.