,"Bibtex id",Authors,Title,Year
Publications/khoudli.19.seminar,khoudli.19.seminar,"Younes Khoudli","Mathematical morphology and deep convolutional neural networks",2019
Publications/tourneur.19.seminar,tourneur.19.seminar,"Vincent Tourneur","Benchmarking of Partial Order Reduction in Spot",2019
Publications/kirszenberg.19.seminar,kirszenberg.19.seminar,"Alexandre Kirszenberg","Integrating Mathematical Morphology within Deep Convolutional Neural Networks",2019
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/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/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/gbaguidiaisse.17.seminar,gbaguidiaisse.17.seminar,"Alexandre Gbaguidi Aïsse","A co-Büching Toolbox",2017
Publications/houang.17.seminar,houang.17.seminar,"Fabien Houang","Binary Partition Tree for Image Processing",2017
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