Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Histogrammes + (Etienne Folio)
- Histograms + (Etienne Folio)
- People/Etienne Renault + (Etienne Renault)
- Jobs/M2 2016 ER Multi-core for Spot + (Etienne Renault)
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic + (Jiri Barnat)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- Improving Parallel State-Space Exploration Using Genetic Algorithms + (Etienne Renault)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Alexandre Duret-Lutz)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (Etienne Renault)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Contribution aux tests de vacuité pour le model checking explicite + (Etienne Renault)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (Denis Poitrenaud)
- Improving swarming using genetic algorithms + (Etienne Renault)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- LTL under reductions with weaker conditions than stutter invariance + (Emmanuel Paviot-Adet)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge + (H J Kuijf)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching + (E Royer)
- Olena Publications + (Edwin Carlinet)
- GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux + (J-L Mandel)
- People/Fabien Freling + (Fabien Freling)
- Binary Partition Tree for Image Processing + (Fabien Houang)
- L'Arbre de partition binaire pour le traitement d'images + (Fabien Houang)
- Support Vector Machines and Joint Factor Analysis for Speaker Verification + (Najim Dehak)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Ala Eddine Ben Salem)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Alexandre Hamez)
- Model Checking using Generalized Testing Automata + (Ala Eddine Ben Salem)
- libDMC: a library to Operate Efficient Distributed Model Checking + (Alexandre Hamez)
- PaInleSS: a Framework for Parallel SAT Solving + (Ludovic Le Frioux)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Alexandre Hamez)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Alexandre Duret-Lutz)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking + (Etienne Renault)
- Variations on Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving + (Hakan Metin)
- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework + (Ludovic Le Frioux)
- On the Usefulness of Clause Strengthening in Parallel SAT Solving + (Vincent Vallade)
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving + (Vincent Vallade)
- Unified texture management for arbitrary meshes + (Sylvain Lefebvre)
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge + (Li Wang)
- People/Fanny Riols + (Fanny Riols)
- Speaker Diarization based on the Mel Frequency Cepstral Coefficients + (Fanny Riols)
- La Segmentation du Locuteur Basée sur les Coefficients Cepstraux sur l'échelle de Mel + (Fanny Riols)
- Markov Clustering Algorithm for Unsupervised Speaker Recognition System + (Fanny Riols)