IRIT - UMR 5505

Français
UPS
  Bandeau IRIT
 

  Jan-Georg Smaus

Supervision

Current Supervision

Currently I am supervising the PhD project of Guillaume Verdier, in collaboration with Jean-Baptiste Raclet.

In addition, I am supervising the PhD project of Alexander Schimpf.

Previous Supervision

  • Christian Schilling: Bachelor Thesis "Solving the threshold synthesis problem of Boolean functions by translation to linear programming", August 2011
  • Fabian Wenzelmann: Bachelor Thesis "Solving the threshold synthesis problem of Boolean functions by a combinatorial algorithm", August 2011
  • Kai Siebold: Diplomarbeit "Transformation of propositional formulae into linear pseudo-Boolean constraints", October 2010
  • Alexander Schimpf: Diplomarbeit "Implementierung eines Verfahrens zur Erzeugung von Büchi-Automaten aus LTL-Formeln in Isabelle" ("Implementation of a procedure for generating Büchi-automata from LTL formulae in Isabelle"), December 2008
  • Jan Rehm: Diplomarbeit "Zufälliges Erstellen von Realzeit-Automaten im Uppaal-Format" ("Random generation of timed automata in the Uppaal format"), February 2008