Travelled to:1 × Denmark
1 × Germany
1 × Italy
1 × South Korea
Collaborated with:R.Lassaigne J.Oudinet A.Denise M.Gaudel T.Largillier G.Peyronnet T.Hérault F.Magniette S.Laplante F.Magniez M.d.Rougemont S.Gouraud
Talks about:model (4) check (3) probabilist (2) approxim (2) properti (1) communal (1) approach (1) abstract (1) uniform (1) process (1)
Person: Sylvain Peyronnet
DBLP: Peyronnet:Sylvain
Contributed to:
20142012
2011
2008
2004
2002Wrote 6 papers:
- SAC-2014-LargillierPP #named #robust
- Rocovo: robust communal publication scheme (TL, GP, SP), pp. 579–586.
- SAC-2012-LassaigneP #approximate #markov #process #scalability #verification
- Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
- FASE-2011-OudinetDGLP #model checking #monte carlo
- Uniform Monte-Carlo Model Checking (JO, AD, MCG, RL, SP), pp. 127–140.
- MBT-2008-GaudelDGLOP #modelling #random
- Coverage-biased Random Exploration of Models (MCG, AD, SDG, RL, JO, SP), pp. 3–14.
- VMCAI-2004-HeraultLMP #approximate #model checking #probability
- Approximate Probabilistic Model Checking (TH, RL, FM, SP), pp. 73–84.
- LICS-2002-LaplanteLMPR #abstraction #approach #model checking #probability #testing
- Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing (SL, RL, FM, SP, MdR), pp. 30–39.