Alain Denise
Professeur, Université Paris-Saclay
5
Documents
Affiliations actuelles
- 1062146
- 414518
- 403623
- 1050015
Publications
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 5
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version)Theoretical Computer Science, 2013, 502, pp.165-176
Article dans une revue
hal-00716558v1
|
Coverage-biased random exploration of large models and application to testingInternational Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93
Article dans une revue
inria-00560621v1
|
Uniform Monte-Carlo Model CheckingFASE 2011, 2011, Saarbrücken, Germany
Communication dans un congrès
hal-00644834v1
|
|
A new dichotomic algorithm for the uniform random generation of words in regular languagesGASCom 2010, 2010, Montreal, Canada
Communication dans un congrès
inria-00542683v1
|
|
|
Uniform Random Sampling of Traces in Very Large ModelsFirst International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19
Communication dans un congrès
hal-00080471v1
|