"Non-deterministic automata"@en . "Tree-walking automaton"@en . "Theoretical limit"@en . "Model-based testing"@en . . "Security protocol" . "Symbolic animation"@en . "Infinite Words"@en . "Verification"@en . . "Regular tree languages"@en . "Random Walk"@en . "Evaluation empirique"@fr . . "Machine learning"@en . "Component"@en . . "Approximations"@en . "Pierre-Cyrille" . "Mixing time"@en . . "Heuristique LPT Longest Processing Time"@fr . "Energy minimization"@en . "Chinese Postman algorithm"@en . "Test"@fr . "Web Services"@en . "The original publication is available at wwwspringerlinkcom"@en . "Security"@en . "Uniform distribution"@en . "Mutation testing"@en . "Test generation"@en . "Longest Processing Time LPT heuristic"@en . "Safe and sound abstractions"@en . "Finite automata" . "Pseudorandom Numbers Generator"@en . "Cost distributions"@en . "Simulation"@en . "Automates finis"@fr . "Ordonnancement par \u00E9tag\u00E8res"@fr . "Transitive Closures"@en . "Top-down automaton"@en . "Modelisation"@en . "Max/plus automata"@en . "Semi-commutations"@en . "Sequential transducer"@en . "Left-linearity"@en . "HLPSL"@en . <0000-0002-1125-1767> . "Regular languages"@en . "Random generation"@en . "Security protocols"@en . "Distribution de co\u00FBts"@fr . "Finite Automata"@en . <089057872> . "PRNG"@en . "Constraint solving"@en . "Automatic approximation" . "2f56fd8fd7dd4e65faaf995d76f23dcc" . "Verifications"@en . "Composition"@en . "Decidability"@en . "Formal methods"@en . "Quality of Service"@en . . "Tree automaton"@en . "N-cube"@en . "Model-checking"@en . "Substitutivity"@en . "Markov chains"@en . "Regular model cheking" . "Gray Codes"@en . "Performance asymptotique"@fr . "Difficult cases"@en . "Tree automata"@en . . . "Abstraction refinement"@en . "QoS"@en . "Tree automata with constraints"@en . "Membership problem"@en . "Minimisation d\u2019\u00E9nergie"@fr . . . . "Shelf scheduling"@en . "Hamiltonian cycles"@en . . "Regular model checking" . "Emptiness problem"@en . "Empirical evaluation"@en . "Heam" . . . "Parametric systems" . "Average complexity"@en . "Chaotic Iterations"@en . "V\u00E9rification"@fr . "\u00C9valuation empirique"@fr . "AVISPA"@en . "Undecidable"@en . . . "Algebraic properties"@en . "TAGED"@en . "Automata"@en . "Rewriting techniques"@en . "Pierre-Cyrille Heam" . "Abstractions"@en . "Reachability problem"@en . . . . . "Asymptotic performance"@en . .