,"Bibtex id",Authors,Title,Year
Publications/corno.19.seminar,corno.19.seminar,"Samuel Corno","Using Scatter Search to find better variable ordering in BDDs",2019
Publications/gillard.19.seminar,gillard.19.seminar,"Clément Gillard","Counterexample searches in Spot",2019
Publications/martin.19.seminar,martin.19.seminar,"Antoine Martin","Exploring various implementations for goroutines support in go2pins",2019
Publications/esteban.19.seminar,esteban.19.seminar,"Baptiste Esteban","Estimation of the noise level function in natural images using the tree of shapes",2019
Publications/huvelle.19.seminar,huvelle.19.seminar,"Martin Huvelle","Reimplementation of testing-automata in Spot",2019
Publications/tourneur.18.seminar,tourneur.18.seminar,"Vincent Tourneur","Implementation of Invisible and Transparent Transitions in Spot",2018
Publications/gillard.18.seminar,gillard.18.seminar,"Clément Gillard","Two-automaton accepting run search in Spot",2018
Publications/valais.18.seminar,valais.18.seminar,"Leo Valais","SUBTYPEP: An Implementation of Baker's Algorithm",2018
Publications/remaud.18.seminar,remaud.18.seminar,"Arthur Remaud","Creation of an antichain library",2018
Publications/khoudli.18.seminar,khoudli.18.seminar,"Younes Khoudli","Automatic Heart Segmentation",2018
Publications/gbaguidiaisse.18.seminar,gbaguidiaisse.18.seminar,"Alexandre Gbaguidi Aïsse","Deciding Persistence or Recurrence Membership in Spot",2018
Publications/hirtz.18.seminar,hirtz.18.seminar,"Virgile Hirtz","Optimization of an image processing library",2018
Publications/xu.18.seminar,xu.18.seminar,"Laurent XU","Efficient Translation of Fairness LTL Formulae into Deterministic Automata",2018
Publications/kirszenberg.18.seminar,kirszenberg.18.seminar,"Alexandre Kirszenberg","go2pins: A model checking toolset for the Go programming language",2018
Publications/dangla.18.seminar,dangla.18.seminar,"Aliona Dangla","Integration of histograms in the NL-Mean algorithm for image denoising.",2018
Publications/michaud.17.seminar,michaud.17.seminar,"Thibaud Michaud","LTL Synthesis with Spot",2017
Publications/tourneur.17.seminar,tourneur.17.seminar,"Vincent Tourneur","Partial order reduction in SPOT",2017
Publications/xu.17.seminar,xu.17.seminar,"Laurent Xu","Improvements of Simulation-based Reduction",2017
Publications/piat.17.seminar,piat.17.seminar,"Sébastien Piat","K shortest-paths in Vcsn",2017
Publications/remaud.17.seminar,remaud.17.seminar,"Arthur Remaud","Integration of TChecker in Spot",2017