Jean-François Couchot

	2012
15		Jacques M. Bahi, Jean-François Couchot, Nicolas Friot, Christophe Guyeux: Application of Steganography for Anonymity through the Internet CoRR abs/1202.5302: (2012)
	2011
14		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard: On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. FCT 2011: 126-137
13		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux: Steganography: A Class of Algorithms having Secure Properties. IIH-MSP 2011: 209-212
12		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Qianxue Wang: Class of Trustworthy Pseudo-Random Number Generators CoRR abs/1112.0950: (2011)
11		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux: Steganography: a class of secure and robust algorithms CoRR abs/1112.1260: (2011)
10		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux: Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations CoRR abs/1112.1271: (2011)
9		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux: Steganography: a Class of Algorithms having Secure Properties CoRR abs/1112.1675: (2011)
8		Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux, Adrien Richard: On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems CoRR abs/1112.1684: (2011)
	2009
7		Jean-François Couchot, Alain Giorgetti, Nicolas Stouls: Graph Based Reduction of Program Verification Conditions CoRR abs/0907.1357: (2009)
	2007
6		Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti: Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108
5		Jean-François Couchot, Stéphane Lescuyer: Handling Polymorphism in Automated Deduction. CADE 2007: 263-278
4		Jean-François Couchot, Frédéric Dadeau: Guiding the Correction of Parameterized Specifications. IFM 2007: 176-194
	2005
3		Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov: A uniform deductive approach for parameterized protocol safety. ASE 2005: 364-367
	2004
2		Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise: Proving and Debugging Set-Based Specifications. Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004)
1		Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comp. Soc. 9(2): 17-36 (2004)

Coauthor Index

1	Jacques M. Bahi	[8] [9] [10] [11] [12] [13] [14] [15]
2	Fabrice Bouquet	[6]
3	Frédéric Dadeau	[2] [4] [6]
4	David Déharbe (David Boris Paul Déharbe)	[1] [2]
5	Nicolas Friot	[15]
6	Alain Giorgetti	[1] [2] [3] [6] [7]
7	Christophe Guyeux	[8] [9] [10] [11] [12] [13] [14] [15]
8	Nikolai Kosmatov	[3]
9	Stéphane Lescuyer	[5]
10	Silvio Ranise	[1] [2]
11	Adrien Richard	[8] [14]
12	Nicolas Stouls	[7]
13	Qianxue Wang	[12]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page