@misc{m-Mammar2012b,
  author = {Amel Mammar},
  title = {Assurer la qualité du logiciel par la preuve et le test},
  year = {2012},
  note = {HDR : Université Paris-Est, novembre 2012}
}

@misc{m-Castel-Taleb2011e,
  author = {Hind Castel-Taleb},
  title = {Agrégation de trafic et de systèmes markoviens pour garantir la QoS des réseaux complexes},
  year = {2011},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, mai 2011}
}

@misc{m-Gibson2011c,
  author = {John Paul Gibson},
  title = {Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique)},
  year = {2011},
  note = {HDR : Université Henri Poincaré, october 2011}
}

@misc{m-Maag2011,
  author = {Stephane Maag},
  title = {Model-based conformance and interoperability testing},
  year = {2011},
  note = {HDR : Université Paris Sud - Paris XI, may 2011}
}

@misc{m-Marot2009,
  author = {Michel Marot},
  title = {Conception et analyse de méthodes d'agrégation et multiniveaux dans les réseaux},
  year = {2009},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, octobre 2009}
}

@misc{m-Atmaca2008,
  author = {Tülin Atmaca},
  title = {Metropolitan optical networks : packet format, MAC protocol and quality of service},
  year = {2008},
  note = {HDR : Université Pierre et Marie Curie - Paris 6, july 2008}
}