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