Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dreyfus, Cyrille
15  Ergebnisse:
Personensuche X
?
1

New world bats harbor diverse influenza A viruses:

Suxiang Tong ; Xueyong Zhu ; Yan Li...
https://www.ncbi.nlm.nih.gov/pmc/articles/pmid/24130481/?tool=EBI.  , 2013
Link: https://doi.org/10.1371/..
 
?
2

A random testing approach using pushdown automata:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1526.  , 2014
Link: https://hal.inria.fr/hal..
 
?
3

A random testing approach using pushdown automata:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1526.  , 2014
Link: https://inria.hal.scienc..
 
?
4

A random testing approach using pushdown automata:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1526.  , 2014
Link: https://inria.hal.scienc..
 
?
5

A random testing approach using pushdown automata:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga.
info:eu-repo/semantics/altIdentifier/doi/10.1002/stvr.1526.  , 2014
Link: https://inria.hal.scienc..
 
?
6

Random Grammar-based Testing for Covering All Non-Terminals:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6606.  , 2013
Link: https://hal.inria.fr/hal..
 
?
7

Enhancing Approximations for Regular Reachability Analysis:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6605.  , 2013
Link: https://hal.inria.fr/hal..
 
?
8

Enhancing Approximations for Regular Reachability Analysis:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6605.  , 2013
Link: https://inria.hal.scienc..
 
?
9

Random Grammar-Based Testing for Covering All Non-terminals:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga
hal-00940429.  , 2013
Link: https://hal.archives-ouv..
 
?
10

Enhancing Approximations for Regular Reachability Analysis:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
http://arxiv.org/abs/1311.6605.  , 2013
Link: http://arxiv.org/abs/131..
 
?
11

Random Grammar-based Testing for Covering All Non-Terminals:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6606.  , 2013
Link: https://inria.hal.scienc..
 
?
12

Enhancing Approximations for Regular Reachability Analysis:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6605.  , 2013
Link: https://inria.hal.scienc..
 
?
13

Random Grammar-Based Testing for Covering All Non-terminals:

Dreyfus, Aloïs ; Héam, Pierre-Cyrille ; Kouchnarenko, Olga
hal-00940429.  , 2013
Link: https://hal.science/hal-..
 
?
14

Random Grammar-based Testing for Covering All Non-Terminals:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
http://arxiv.org/abs/1311.6606.  , 2013
Link: http://arxiv.org/abs/131..
 
?
15

Random Grammar-based Testing for Covering All Non-Terminals:

Dreyfus, Alois ; Heam, Pierre-Cyrille ; Kouchnarenko, Olga
info:eu-repo/semantics/altIdentifier/arxiv/1311.6606.  , 2013
Link: https://inria.hal.scienc..
 
1-15