jean-françois couchot
jean-françois couchot
Dr, Full Professor, Univ. of Bourgogne Franche-Comté, FEMTO-ST
Verified email at univ-fcomte.fr - Homepage
Title
Cited by
Cited by
Year
Handling polymorphism in automated deduction
JF Couchot, S Lescuyer
International Conference on Automated Deduction, 263-278, 2007
362007
Survey on hardware implementation of random number generators on FPGA: Theory and experimental analyses
M Bakiri, C Guyeux, JF Couchot, AK Oudjida
Computer Science Review 27, 135-153, 2018
332018
Scalable automated proving and debugging of set-based specifications
JF Couchot, D Déharbe, A Giorgetti, S Ranise
Journal of the Brazilian Computer Society 9 (2), 17-36, 2003
262003
Steganography: a class of secure and robust algorithms
JM Bahi, JF Couchot, C Guyeux
The Computer Journal 55 (6), 653-666, 2012
232012
Blind digital watermarking in PDF documents using Spread Transform Dither Modulation
AW Bitar, R Darazi, JF Couchot, R Couturier
Multimedia Tools and Applications 76 (1), 143-161, 2017
212017
Steganalysis via a convolutional neural network using large convolution filters for embedding process with same stego key: A deep learning approach for telemedicine
M Salomon, R Couturier, C Guyeux, JF Couchot, JM Bahi
European Research in Telemedicine/La Recherche Européenne en Télémédecine 6 …, 2017
202017
Finding the core-genes of chloroplasts
B Alkindy, JF Couchot, C Guyeux, A Mouly, M Salomon, JM Bahi
arXiv preprint arXiv:1409.6369, 2014
202014
Proving and debugging set-based specifications
JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise
Electronic Notes in Theoretical Computer Science 95, 189-208, 2004
202004
On the link between strongly connected iteration graphs and chaotic boolean discrete-time dynamical systems
JM Bahi, JF Couchot, C Guyeux, A Richard
International Symposium on Fundamentals of Computation Theory, 126-137, 2011
172011
A hardware and secure pseudorandom generator for constrained devices
M Bakiri, C Guyeux, JF Couchot, L Marangio, S Galatolo
IEEE Transactions on Industrial Informatics 14 (8), 3754-3765, 2018
162018
Steganalysis via a convolutional neural network using large convolution filters for embedding process with same stego key
JF Couchot, R Couturier, C Guyeux, M Salomon
arXiv preprint arXiv:1605.07946, 2016
152016
STABYLO: steganography with adaptive, bbs, and binary embedding at low cost
JF Couchot, R Couturier, C Guyeux
annals of telecommunications-annales des télécommunications 70 (9-10), 441-449, 2015
142015
Gene similarity-based approaches for determining core-genes of chloroplasts
B AlKindy, C Guyeux, JF Couchot, M Salomon, JM Bahi
2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2014
142014
CIPRNG: A VLSI Family of Chaotic Iterations Post-Processings for -Linear Pseudorandom Number Generation Based on Zynq MPSoC
M Bakiri, JF Couchot, C Guyeux
IEEE Transactions on Circuits and Systems I: Regular Papers 65 (5), 1628-1641, 2017
132017
Random Walk in a -Cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations
S Contassot-Vivier, JF Couchot, C Guyeux, PC Heam
International Journal of Bifurcation and Chaos 27 (01), 1750014, 2017
122017
Hybrid genetic algorithm and lasso test approach for inferring well supported phylogenetic trees based on subsets of chloroplastic core genes
B AlKindy, C Guyeux, JF Couchot, M Salomon, C Parisod, JM Bahi
International Conference on Algorithms for Computational Biology, 83-96, 2015
122015
Pseudorandom number generators with balanced gray codes
JF Couchot, PC Heam, C Guyeux, Q Wang, JM Bahi
2014 11th International Conference on Security and Cryptography (SECRYPT), 1-7, 2014
122014
Instantiation of parameterized data structures for model-based testing
F Bouquet, JF Couchot, F Dadeau, A Giorgetti
International Conference of B Users, 94-108, 2007
112007
Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization
R Alsrraj, B AlKindy, C Guyeux, L Philippe, JF Couchot
arXiv preprint arXiv:1706.08514, 2017
102017
Active MEMS-based flow control using artificial neural network
JF Couchot, K Deschinkel, M Salomon
Mechatronics 23 (7), 898-905, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20