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 |