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
- Expression templates in Ada 95 + (Alexandre Duret-Lutz)
- Contributions to LTL and ω-Automata for Model Checking + (Alexandre Duret-Lutz)
- Olena: a component-based platform for image processingmixing generic, generative and OO programming + (Alexandre Duret-Lutz)
- A Type System for Weighted Automata and Rational Expressions + (Akim Demaille)
- Generic design patterns in C++ + (Alexandre Duret-Lutz)
- Heuristics for Checking Liveness Properties with Partial Order Reductions + (Alexandre Duret-Lutz)
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking + (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)
- Generic implementation of morphological image operators + (Jérôme Darbon)
- Parallel Explicit Model Checking for Generalized Büchi Automata + (Etienne Renault)
- SAT-based Minimization of Deterministic ω-Automata + (Souheib Baarir)
- LTL Translation Improvements in Spot 1.0 + (Alexandre Duret-Lutz)
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking + (Alexandre Duret-Lutz)
- Three SCC-based Emptiness Checks for Generalized Büchi Automata + (Etienne Renault)
- Practical Stutter-Invariance Checks for ω-Regular Languages + (Thibaud Michaud)
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation + (Heru Xue)
- Papers about Vaucanson + (Akim Demaille)
- Model checking with generalized Rabin and Fin-less automata + (Vincent Bloemen)
- Jobs/M2 2017 MC Spot demo + (Alexandre Duret-Lutz)
- Jobs/PHD 2019 omegalgo + (Alexandre Duret-Lutz)
- Jobs/PHD 2019 omegaGPU + (Étienne Renault)
- Generic Emptiness Check for Fun and Profit + (Christel Baier)
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization + (František Blahoudek)
- Practical “Paritizing” of Emerson–Lei Automata + (Florian Renkin)
- Practical Applications of the Alternating Cycle Decomposition + (Antonio Casares)
- Effective Reductions of Mealy Machines + (Florian Renkin)
- A co-Büching Toolbox + (Alexandre Gbaguidi Aïsse)
- Deciding Persistence or Recurrence Membership in Spot + (Alexandre Gbaguidi Aïsse)
- Tester l'appartenance à Persistence ou Récurrence dans Spot + (Alexandre Gbaguidi Aïsse)
- Un ensemble d'outils de conversion en automate de co-Büchi + (Alexandre Gbaguidi Aïsse)
- From Spot 2.0 to Spot 2.10: What's New? + (Alexandre Duret-Lutz)
- People/Alexandre Hamez + (Alexandre Hamez)
- Hierarchical Set Decision Diagrams and Automatic Saturation + (Alexandre Hamez)
- Génération efficace de grands espaces d'états + (Alexandre Hamez)
- libDMC: a library to Operate Efficient Distributed Model Checking + (Alexandre Hamez)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation + (Alexandre Hamez)
- go2pins: vérification de modèles pour le langage de programmation Go + (Alexandre Kirszenberg)
- go2pins: A model checking toolset for the Go programming language + (Alexandre Kirszenberg)
- Integrating Mathematical Morphology within Deep Convolutional Neural Networks + (Alexandre Kirszenberg)
- Intégration de la Morphologie Mathématique dans les Réseaux Neuronaux Profonds + (Alexandre Kirszenberg)
- Learning Morphological Operations + (Alexandre Kirszenberg)
- Apprentissage d'Opérations Morphologiques + (Alexandre Kirszenberg)
- Going beyond p-convolutions to learn grayscale morphological operators + (Alexandre Kirszenberg)
- Go2Pins: A Framework for the LTL Verification of Go Programs + (Alexandre Kirszenberg)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)
- Learning Grayscale Mathematical Morphology with Smooth Morphological Layers + (Romain Hermary)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (Etienne Renault)
- People/Alexandre Lewkowicz + (Alexandre Lewkowicz)
- Spot 2.0 — a framework for LTL and ω-automata manipulation + (Alexandre Duret-Lutz)
- Un Feedback Arc Set pour Spot + (Alexandre Lewkowicz)
- An efficient implementation of transition-based generalized Büchi automaton determinization + (Alexandre Lewkowicz)
- Améliorer la determinisation d'automates de Büchi + (Alexandre Lewkowicz)
- Une implementation efficace de déterminisation d'automates de Büchi généralisés à transitions acceptantes + (Alexandre Lewkowicz)