Serge Haddad : Enseignements

Petri Net Course

Aachen (2019), Bratislava (2018), Zaragoza (2017), Torun (2016), Bruxelles (2015), Milano (2013), Hamburg (2012)

1. Time(d) Petri Net (in english)

2. Stochastic Petri Net (in english)

Disc PhD School 2011, Cagliari

• Time and Timed Petri Nets (in english)

• Timed Automata and Time(d) Petri Nets (in english)

Advanced Course in Petri Nets 2010, Rostock

• From Stochastic Processes to Stochastic Petri Nets

  (in english)

• Alternative Analysis Methods for Stochastic Petri Nets

  (in english)

A l'ENS Paris-Saclay

• Algorithmique 1 (L3 en français)

  1. Correction
  2. Complexité
  3. Paradigmes
  4. Structure de données
  5. Ouverture
  6. Examen 17-18

• Calculabilité (L3 en français)

• Logique et introduction à la complexité (L3 en français)

• Algorithmique 2 (L3 en français)

  1. Support de cours

  2. Partiel 17-18

• Complexité (L3)

  1. support de cours (en français)

  2. slides (in english)

• Algorithmique (Agrégation en français)

Au MPRI

• Probabilistic Aspects of Computer Science: (M1 in english)

  1. Markovian Models (lecture notes)
  2. DTMC (slides)
  3. MDP (slides)
  4. SG (slides)
  5. PA (slides)
  6. Examen 18-19
  7. Distributed Algorithms and Random Graphs (lecture notes)

• Systèmes temporisés probabilistes (M2 en français)

A l'Université Paris-Dauphine

• Algorithmique (L1 en français)

• Algorithmique répartie (M1,M2 en français)