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