Pierre-Cyrille Heam
topic interest: Emptiness problem
topic interest: Uniform distribution
topic interest: Regular tree languages
topic interest: Security protocol
interest: nlin.nlin-cd
topic interest: Simulation
topic interest: Left-linearity
topic interest: Max/plus automata
topic interest: Tree automata
topic interest: Verification
topic interest: Shelf scheduling
topic interest: Undecidable
first name: Pierre-Cyrille
topic interest: AVISPA
topic interest: Chaotic Iterations
topic interest: Mixing time
topic interest: Random Walk
topic interest: Top-down automaton
topic interest: Composition
topic interest: Automates finis @fr
topic interest: Finite Automata
topic interest: HLPSL
topic interest: Regular model checking
topic interest: TAGED
topic interest: Quality of Service
topic interest: Test @fr
topic interest: Asymptotic performance
topic interest: Non-deterministic automata
topic interest: Heuristique LPT Longest Processing Time @fr
topic interest: Mutation testing
topic interest: Semi-commutations
topic interest: Formal methods
type: Person
topic interest: Tree automaton
topic interest: Constraint solving
topic interest: Distribution de coûts @fr
topic interest: Web Services
topic interest: Membership problem
topic interest: Parametric systems
topic interest: Rewriting techniques
topic interest: Verifications
topic interest: QoS
topic interest: The original publication is available at wwwspringerlinkcom
topic interest: Machine learning
topic interest: Energy minimization
topic interest: Longest Processing Time LPT heuristic
topic interest: Random generation
interest: info.info-wb
topic interest: Substitutivity
is aggregated by: pierre-cyrille-heam
topic interest: Hamiltonian cycles
topic interest: Abstraction refinement
topic interest: Test generation
topic interest: Automata
topic interest: Model-based testing
interest: info.info-se
topic interest: Transitive Closures
topic interest: Automatic approximation
interest: info.info-rb
topic interest: Chinese Postman algorithm
topic interest: Finite automata
topic interest: Ordonnancement par étagères @fr
interest: info.info-oh
topic interest: Vérification @fr
topic interest: Security
topic interest: Regular model cheking
interest: info.info-mo
topic interest: Algebraic properties
topic interest: Reachability problem
topic interest: Empirical evaluation
interest: info.info-lo
topic interest: Safe and sound abstractions
topic interest: Decidability
family name: Heam
interest: info.info-ma
interest: info.info-mc
topic interest: Abstractions
topic interest: Infinite Words
topic interest: Sequential transducer