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
- A Type System for Weighted Automata and Rational Expressions +
- A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming +
- An XML format proposal for the description of weighted automata, transducers, and regular expressions +
- Applying generic programming to image processing +
- Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking +
- Compositional Approach to Suspension and Other Improvements to LTL Translation +
- Contributions to LTL and ω-Automata for Model Checking +
- Effective Reductions of Mealy Machines +
- Explicit State Model Checking with Generalized Büchi and Rabin Automata +
- Expression templates in Ada 95 +
- Generalized Büchi Automata versus Testing Automata for Model Checking +
- Generic Emptiness Check for Fun and Profit +
- Generic design patterns in C++ +
- Generic implementation of morphological image operators +
- Generic programming redesign of patterns +
- Heuristics for Checking Liveness Properties with Partial Order Reductions +
- Implementation Concepts in Vaucanson 2 +
- Is There a Best Büchi Automaton for Explicit Model Checking? +
- Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates +
- Jobs/M2 2015 ADL Python Interfaces for Spot +
- Jobs/M2 2015 ADL SAT-based Minimization +
- Jobs/M2 2017 MC Spot Generic Acc +
- Jobs/M2 2017 MC Spot demo +
- Jobs/M2 ADL 2015 General Acceptance Condition +
- Jobs/PHD 2019 omegaGPU +
- Jobs/PHD 2019 omegalgo +
- LTL Model Checking with Neco +
- LTL Translation Improvements in Spot +
- LTL Translation Improvements in Spot 1.0 +
- Manipulating LTL formulas using Spot 1.0 +
- Mechanizing the Minimization of Deterministic Generalized Büchi Automata +
- Model Checking using Generalized Testing Automata +
- Model checking with generalized Rabin and Fin-less automata +
- Multi-band segmentation using morphological clustering and fusion application to color image segmentation +
- Obtaining genericity for image processing and pattern recognition algorithms +
- Olena: a component-based platform for image processingmixing generic, generative and OO programming +
- On Refinement of Büchi Automata for Explicit Model Checking +
- On-the-fly Emptiness Check of Transition-based Streett Automata +
- Papers about Vaucanson +
- Parallel Explicit Model Checking for Generalized Büchi Automata +
- Parallel Model Checking Algorithms for Linear-Time Temporal Logic +
- Past People +
- People/Alexandre Duret-Lutz +
- Practical Applications of the Alternating Cycle Decomposition +
- Practical Stutter-Invariance Checks for ω-Regular Languages +
- Practical “Paritizing” of Emerson–Lei Automata +
- SAT-based Minimization of Deterministic ω-Automata +
- Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking +
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization +