Travelled to:1 × Germany
1 × USA
Collaborated with:M.Gaudel S.Gouraud J.Oudinet R.Lassaigne S.Peyronnet B.Marr B.Brancotte B.Yang G.Blin S.C.Boulakia S.Hamel
Talks about:model (2) uniform (1) statist (1) coverag (1) analysi (1) random (1) method (1) explor (1) experi (1) aggreg (1)
Person: Alain Denise
DBLP: Denise:Alain
Contributed to:
2015
2011
2008
2001Wrote 4 papers:
- VLDB-2015-BrancotteYBBDH #analysis #rank
- Rank aggregation with ties: Experiments and Analysis (BB, BY, GB, SCB, AD, SH), pp. 1202–1213.
- 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.
- ASE-2001-GouraudDGM #automation #statistics #testing
- A New Way of Automating Statistical Testing Methods (SDG, AD, MCG, BM), pp. 5–12.