BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Denise:Alain

Contributed to:

VLDB 20152015
FASE 20112011
MBT 20082008
ASE 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.