Student reports

Last abstracts : Gitlab

	Title	Authors	Year
valais.18.seminar	SUBTYPEP: An Implementation of Baker's Algorithm	Leo Valais	2018
remaud.18.seminar	Creation of an antichain library	Arthur Remaud	2018
khoudli.18.seminar	Automatic Heart Segmentation	Younes Khoudli	2018
xu.18.seminar	Efficient Translation of Fairness LTL Formulae into Deterministic Automata	Laurent XU	2018
hirtz.18.seminar	Optimization of an image processing library	Virgile Hirtz	2018
gbaguidiaisse.18.seminar	Deciding Persistence or Recurrence Membership in Spot	Alexandre Gbaguidi Aïsse	2018
kirszenberg.18.seminar	go2pins: A model checking toolset for the Go programming language	Alexandre Kirszenberg	2018
dangla.18.seminar	Integration of histograms in the NL-Mean algorithm for image denoising.	Aliona Dangla	2018
tourneur.18.seminar	Implementation of Invisible and Transparent Transitions in Spot	Vincent Tourneur	2018
gillard.18.seminar	Two-automaton accepting run search in Spot	Clément Gillard	2018
houang.17.seminar	Binary Partition Tree for Image Processing	Fabien Houang	2017
berthet.17.seminar	Automatic detection of text zones on identity documents.	Anne-Claire Berthet	2017
gillard.17.seminar	Two-automaton emptiness check in Spot	Clément Gillard	2017
remaud.17.seminar	Integration of TChecker in Spot	Arthur Remaud	2017
dangla.17.seminar	Evaluation method of text detection algorithm rating	Aliona Dangla	2017
tourneur.17.seminar	Partial order reduction in SPOT	Vincent Tourneur	2017
piat.17.seminar	K shortest-paths in Vcsn	Sébastien Piat	2017
michaud.17.seminar	LTL Synthesis with Spot	Thibaud Michaud	2017
iovene.17.seminar	Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition	Valentin Iovene	2017
collette.17.seminar	Morse-Smale Complex computation with Watershed Cut	Victor Collette	2017

… further results