IRIT - UMR 5505

English
UPS
  Bandeau IRIT
 

  Jan-Georg Smaus

Encadrement

Encadrement actuel

Actuellement, ensemble avec Jean-Baptiste Raclet, j'encadre le doctorant Guillaume Verdier.

En plus, j'encadre le doctorant Alexander Schimpf.

Encadrement ancien

  • Christian Schilling : Thèse de Bachelor (Licence) "Solving the threshold synthesis problem of Boolean functions by translation to linear programming", août 2011
  • Fabian Wenzelmann : Thèse de Bachelor (Licence) "Solving the threshold synthesis problem of Boolean functions by a combinatorial algorithm", août 2011
  • Kai Siebold : Thèse de Diplom (DEA) "Transformation of propositional formulae into linear pseudo-Boolean constraints", octobre 2010
  • Alexander Schimpf : Thèse de Diplom (DEA) "Implementierung eines Verfahrens zur Erzeugung von Büchi-Automaten aus LTL-Formeln in Isabelle" ("Construction des automates Büchi pour le model checking LTL, vérifiée en Isabelle/HOL"), décembre 2008
  • Jan Rehm : Thèse de Diplom (DEA) "Zufälliges Erstellen von Realzeit-Automaten im Uppaal-Format" ("Génération aléatoire des automates temporisés en Uppaal"), février 2008