Pierre-Cyrille Heam
topic interest: Non-deterministic automata
topic interest: Tree-walking automaton
topic interest: Theoretical limit
topic interest: Model-based testing
interest: info.info-mo
topic interest: Security protocol
topic interest: Symbolic animation
topic interest: Infinite Words
topic interest: Verification
interest: info.info-oh
topic interest: Regular tree languages
topic interest: Random Walk
topic interest: Evaluation empirique @fr
interest: info.info-rb
topic interest: Machine learning
topic interest: Component
interest: info.info-se
topic interest: Approximations
first name: Pierre-Cyrille
topic interest: Mixing time
interest: info.info-wb
topic interest: Heuristique LPT Longest Processing Time @fr
topic interest: Energy minimization
topic interest: Chinese Postman algorithm
topic interest: Test @fr
topic interest: Web Services
topic interest: The original publication is available at wwwspringerlinkcom
topic interest: Security
topic interest: Uniform distribution
topic interest: Mutation testing
topic interest: Test generation
topic interest: Longest Processing Time LPT heuristic
topic interest: Safe and sound abstractions
topic interest: Finite automata
topic interest: Pseudorandom Numbers Generator
topic interest: Cost distributions
topic interest: Simulation
topic interest: Automates finis @fr
topic interest: Ordonnancement par étagères @fr
topic interest: Transitive Closures
topic interest: Top-down automaton
topic interest: Modelisation
topic interest: Max/plus automata
topic interest: Semi-commutations
topic interest: Sequential transducer
topic interest: Left-linearity
topic interest: HLPSL
topic interest: Regular languages
topic interest: Random generation
topic interest: Security protocols
topic interest: Distribution de coûts @fr
topic interest: Finite Automata
topic interest: PRNG
topic interest: Constraint solving
topic interest: Automatic approximation
topic interest: Verifications
topic interest: Composition
topic interest: Decidability
topic interest: Formal methods
topic interest: Quality of Service
interest: nlin.nlin-cd
topic interest: Tree automaton
topic interest: N-cube
topic interest: Model-checking
topic interest: Substitutivity
topic interest: Markov chains
topic interest: Regular model cheking
topic interest: Gray Codes
topic interest: Performance asymptotique @fr
topic interest: Difficult cases
topic interest: Tree automata
interest: info.info-bi
interest: info.info-cc
topic interest: Abstraction refinement
topic interest: QoS
topic interest: Tree automata with constraints
topic interest: Membership problem
topic interest: Minimisation d’énergie @fr
interest: info.info-cl
type: Person