Special

Semantic search

Title Authors Year
remaud.19.seminar State compression in Spot Arthur Remaud 2019
linsenmaier.19.seminar Automatic troll farm account detection on Twitter Hugo Linsenmaier 2019
guenezan.19.seminar Distributed State Space Exploration Paul Guénézan 2019
carvalho.19.seminar Artificial states generation in state spaces using kernel density estimation Thomas De Carvalho 2019
tourneur.19.seminar Benchmarking of Partial Order Reduction in Spot Vincent Tourneur 2019
khoudli.19.seminar Mathematical morphology and deep convolutional neural networks Younes Khoudli 2019
kirszenberg.19.seminar Integrating Mathematical Morphology within Deep Convolutional Neural Networks Alexandre Kirszenberg 2019
corno.19.seminar Using Scatter Search to find better variable ordering in BDDs Samuel Corno 2019
gillard.19.seminar Counterexample searches in Spot Clément Gillard 2019
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
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
gbaguidiaisse.18.seminar Deciding Persistence or Recurrence Membership in Spot Alexandre Gbaguidi Aïsse 2018
hirtz.18.seminar Optimization of an image processing library Virgile Hirtz 2018
xu.18.seminar Efficient Translation of Fairness LTL Formulae into Deterministic Automata Laurent XU 2018
gbaguidiaisse.17.seminar A co-Büching Toolbox Alexandre Gbaguidi Aïsse 2017