L'institut

FEMTO-ST

Annuaire

Vous êtes ici

Jean-François Couchot

Professeur des Universités

Informatique

Département DISC
équipe DEODIS

UFC - UFR ST

Courriel :: jfcoucho [at] femto-st.fr
Adresse :: DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Professeur certifié de mathématiques dans le secondaire depuis 1995, j'ai été recruté à l'Université de Franche-Comté (UFC) en sept. 2000 à l'UFR Sciences du Langage de l'Homme et de la Société sur un support de PrCe en 71 ème section.
J'ai effectué un doctorat en informatique de sept. 2002 à avril 2006 au Laboratoire d'Informatique de l'Université de Franche Comté qui allait devenir le Département d'Informatique des Systèmes Complexes (DISC) de l'institut FEMTO-ST (UMR 6174) sur la Vérification d'invariants par superposition, dirigé par Dr. A. Giorgetti et Pr. F. Bellegarde.

Dans la suite de cette thèse en déduction, j'ai effectué un post-doc. de sept. 2006 à août 2007 à l'INRIA Saclay (dans l'équipe-projet ProVal) sur le thème de l'intégration de preuves interactives dans des preuves automatiques pour la vérification de programmes C embarqués.

J'ai été recruté en tant que Maître de Conférences à l'IUT Nord Franche-Comté de l'UFC en septembre 2008.
J'effectuais la majeure partie de mon service d'enseignement en DUT d'informatique de cet IUT. D'un point de vue recherche, j'étais membre de l’équipe Algorithmique Numérique Distribuée (AND) du DISC/FEMTO-ST.

J’ai soutenu une Habilitation à Diriger Des Recherches en janvier 2017 à l'Université de Franche-Comté sur les {\em modèles discrets pour la sécurité informatique: des méthodes itératives à l'analyse vectorielle}. J'ai été accueilli en délégation CNRS au Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) de sept. 2018 à fév. 2019 pour travailler principalement avec Pr. S. {\sc Contassot-Vivier} sur la génération de nombres pseudo-aléatoires.

J'ai changé de corps pour devenir Professeur des Universités à l'UFR Sciences et Techniques (UFR-ST) de l'UFC à Besançon en septembre 2020. La plus grosse partie de mes enseignements est réalisée au département d'informatique de cette UFR en Licence d'informatique et en Master d'informatique. D'un point de vue recherche, je suis maintenant membre de l'équipe Design and Evaluation Of DIstributed Systems (DEODIS) du DISC/FEMTO-ST.

Publications de Jean-François Couchot

Voir toutes les publications (75)2024 (1)2023 (1)2022 (1)2021 (3)2020 (4)2019 (6)2018 (10)2017 (6)2016 (4)2015 (8)2014 (5)2013 (5)2012 (7)2011 (4)2010 (3)2009 (1)2007 (5)2003 (1)

2024 (1)

article - Combining a multi-feature neural network with multi-task learning for emergency calls severity prediction
Array (Volume 21, mar 2024, Pages :100333 (12))
Abi Kanaan, Marianne | Couchot, Jean-François | Guyeux, Christophe | Laiymani, David | Atechian, Talar | Darazi, Rony
pdf | doi

2023 (1)

inproceedings - A methodology for emergency calls severity prediction: from pre-processing to BERT-based classifiers
19th Artificial Intelligence Applications and Innovations conference (AIAI 2023) / Leon, Spain (Publisher : Springer, Volume 675, 2023, Pages pages 329 - 342)
Abi Kanaan, Marianne | Couchot, Jean-François | Guyeux, Christophe | Laiymani, David | Atechian, Talar | Darazi, Rony
pdf | doi | bibtex@inproceedings{15a2d2d8-e407-4438-ae9d-81660918f6c3, title = {A methodology for emergency calls severity prediction: from pre-processing to BERT-based classifiers}, author = {Abi Kanaan, Marianne and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Laiymani, David and Atechian, Talar and Darazi, Rony}, year = {2023}, address = {Leon, Spain}, booktitle = {19th Artificial Intelligence Applications and Innovations conference (AIAI 2023)}, editor = {}, month = {jun}, pages = {329 - 342}, url = {https://publiweb.femto-st.fr/tntnet/entries/19812/documents/author/data}, volume = {675}, doi = {10.1007/978-3-031-34111-3_28}, publisher = {Springer} }

2022 (1)

article - Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
IEEE Transactions on Industrial Informatics (Volume 18, Issue (30), aug 2022, Pages :5592 - 5599)
Hwang Arcolezi, Héber | Cerna Nahuis, Selene Leya | Couchot, Jean-François | Guyeux, Christophe | Makhoul, Abdallah
doi

2021 (3)

inproceedings - Random Sampling Plus Fake Data: Multidimensional Frequency Estimates With Local Differential Privacy
30th International Conference on Information and Knowledge Management (CIKM 2021) / online, Australia (2021, Pages pages 11)
Couchot, Jean-François | Hwang Arcolezi, Héber | Al Bouna, Bechara | Xiao, Xiaokui
pdf | doi | bibtex@inproceedings{4c4c028e-c585-407a-87b6-613a6a2f2609, title = {Random Sampling Plus Fake Data: Multidimensional Frequency Estimates With Local Differential Privacy}, author = {Couchot, Jean-Fran\c{c}ois and Hwang Arcolezi, H\'eber and Al Bouna, Bechara and Xiao, Xiaokui}, year = {2021}, address = {online, Australia}, booktitle = {30th International Conference on Information and Knowledge Management (CIKM 2021)}, month = {nov}, pages = {11}, url = {https://publiweb.femto-st.fr/tntnet/entries/17816/documents/author/data}, doi = {10.1145/3459637.3482467} }
article - Preserving Geo-Indistinguishability of the Emergency Scene to Predict Ambulance Response Time
Mathematical and Computational Applications (Volume 26, Issue (3), sep 2021, Pages :56 (17))
Hwang Arcolezi, Héber | Cerna Nahuis, Selene Leya | Guyeux, Christophe | Couchot, Jean-François
pdf | doi
article - Using Deep learning for image watermarking attack
Signal Processing: Image Communication (Volume 90, jan 2021, Pages :116019 (12))
Hatoum, Makram | Couchot, Jean-François | Couturier, Raphael | Darazi, Rony
pdf | doi

2020 (4)

inproceedings - Mobility modeling through mobile data: generating an optimized and open dataset respecting privacy
16th International Wireless Communications and Mobile Computing Conference (IWCMC 2020) / Limassol, Cyprus (2020, Pages pages 1689 - 1694)
Hwang Arcolezi, Héber | Couchot, Jean-François | Baala, Oumaya | Contet, Jean-Michel | Al Bouna, Bechara | Xiao, Xiaokui
pdf | bibtex@inproceedings{924d781d-0c65-4fde-87fa-2c5fe9093585, title = {Mobility modeling through mobile data: generating an optimized and open dataset respecting privacy}, author = {Hwang Arcolezi, H\'eber and Couchot, Jean-Fran\c{c}ois and Baala, Oumaya and Contet, Jean-Michel and Al Bouna, Bechara and Xiao, Xiaokui}, year = {2020}, address = {Limassol, Cyprus}, booktitle = {16th International Wireless Communications and Mobile Computing Conference (IWCMC 2020)}, month = {jun}, pages = {1689 - 1694}, url = {https://publiweb.femto-st.fr/tntnet/entries/16513/documents/author/data} }
article - Publishing Anonymized Set-Valued Data via Disassociation towards Analysis
Future Internet (Volume 12, Issue (4), apr 2020, Pages :71 (21))
Awad, Nancy | Couchot, Jean-François | Al Bouna, Bechara | Philippe, Laurent
pdf | doi
article - Normalized blind STDM watermarking scheme for images and PDF documents robust against fixed gain attack
Multimedia Tools and Applications (Volume 79, Issue (3-4), jan 2020, Pages :1887 - 1919)
Hatoum, Makram | Darazi, Rony | Couchot, Jean-François
pdf | doi
article - Forecasting the Number of Firefighters Interventions per Region with Local-Differential-Privacy-Based Data
Computers & Security (Volume 96, 2020, Pages :101888 (12))
Hwang Arcolezi, Héber | Couchot, Jean-François | Cerna Nahuis, Selene Leya | Guyeux, Christophe | Royer, Guillaume | Al Bouna, Bechara | Xiao, Xiaokui
pdf | doi

2019 (6)

article - Safe disassociation of set-valued datasets
Journal of Intelligent Information Systems (Volume 53, Issue (3), dec 2019, Pages :547 - 562)
Awad, Nancy | Al Bouna, Bechara | Couchot, Jean-François | Philippe, Laurent
pdf | doi
article - Ancestral Reconstruction and Investigations of Genomic Recombination on some Pentapetalae Chloroplasts
Journal of Integrative Bioinformatics (Volume 16, Issue (4), dec 2019, Pages :20180057 (15))
Guyeux, Christophe | Salomon, Michel | Al-Nuaimi, Bashar | Alkindy, Bassam | Couchot, Jean-François
doi
inproceedings - Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that
17th International Conference on High Performance Computing & Simulation (HPCS 2019) / Dublin, Ireland (2019, Pages pages 650 - 657)
Contassot-Vivier, Sylvain | Couchot, Jean-François | Bakiri, Mohammed | Heam, Pierre-Cyrille
pdf | doi | bibtex@inproceedings{b9fc41a7-72dd-40a5-842a-fc803f1a2542, title = {Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that}, author = {Contassot-Vivier, Sylvain and Couchot, Jean-Fran\c{c}ois and Bakiri, Mohammed and Heam, Pierre-Cyrille}, year = {2019}, address = {Dublin, Ireland}, booktitle = {17th International Conference on High Performance Computing \& Simulation (HPCS 2019)}, editor = {b9fc41a7-72dd-40a5-842a-fc803f1a2542-editor.pdf}, month = {jul}, pages = {650 - 657}, url = {https://publiweb.femto-st.fr/tntnet/entries/16100/documents/author/data}, doi = {10.1109/HPCS48598.2019.9188175} }
inproceedings - Anonymously forecasting the number and nature of firefighting operations
23rd International Database Engineering & Applications Symposium (IDEAS 2019) / Athens, Greece (2019, Pages pages 30 (18))
Couchot, Jean-François | Guyeux, Christophe | Royer, Guillaume
pdf | doi | bibtex@inproceedings{595d99f0-af9f-459a-924f-3a1fdda439bf, title = {Anonymously forecasting the number and nature of firefighting operations}, author = {Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Royer, Guillaume}, year = {2019}, address = {Athens, Greece}, booktitle = {23rd International Database Engineering \& Applications Symposium (IDEAS 2019)}, month = {jun}, pages = {30 (18)}, url = {https://publiweb.femto-st.fr/tntnet/entries/15682/documents/author/data}, doi = {10.1145/3331076.3331085} }
inproceedings - Ant-driven clustering for utility-aware disassociation of set-valued datasets
23rd International Database Engineering & Applications Symposium (IDEAS 2019) / Athens, Greece (2019, Pages pages 6 (9))
Awad, Nancy | Couchot, Jean-François | Al Bouna, Bechara | Philippe, Laurent
doi | bibtex@inproceedings{51697265-cc44-4e04-acf2-0b6c0de34da4, title = {Ant-driven clustering for utility-aware disassociation of set-valued datasets}, author = {Awad, Nancy and Couchot, Jean-Fran\c{c}ois and Al Bouna, Bechara and Philippe, Laurent}, year = {2019}, address = {Athens, Greece}, booktitle = {23rd International Database Engineering \& Applications Symposium (IDEAS 2019)}, month = {jun}, pages = {6 (9)}, doi = {10.1145/3331076.3331084} }
article - Optimal power/rate trade-off for internet of multimedia things lifetime maximization under dynamic links capacity
Future Generation Computer Systems-The International Journal of eScience (Volume 93, apr 2019, Pages :737 - 750)
Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
doi

2018 (10)

inproceedings - Blind Image Watermarking using Normalized STDM robust against Fixed Gain Attack
International Multidisciplinary Conference on Engineering Technology (IMCET 2018) / Beirut, Lebanon (2018, Pages pages 6)
Hatoum, Makram | Darazi, Rony | Couchot, Jean-François
pdf | doi | bibtex@inproceedings{910fcafc-9064-4979-a20d-61f982274cb4, title = {Blind Image Watermarking using Normalized STDM robust against Fixed Gain Attack}, author = {Hatoum, Makram and Darazi, Rony and Couchot, Jean-Fran\c{c}ois}, year = {2018}, address = {Beirut, Lebanon}, booktitle = {International Multidisciplinary Conference on Engineering Technology (IMCET 2018)}, month = {nov}, pages = {6}, url = {https://publiweb.femto-st.fr/tntnet/entries/16040/documents/author/data}, doi = {10.1109/IMCET.2018.8603038} }
article - A Hardware and Secure Pseudorandom Generator for Constrained Devices
IEEE Transactions on Industrial Informatics (Volume 14, Issue (8), aug 2018, Pages :3754 - 3765)
Bakiri, Mohammed | Guyeux, Christophe | Couchot, Jean-François | Marangio, Luigi | Galatolo, Stefano
doi
article - Comparison of metaheuristics to measure gene effects on phylogenetic supports and topologies
BMC Bioinformatics (Volume 19, Issue (suppl 7), jul 2018, Pages :89 - 107)
Garnier, Régis | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Al-Nuaimi, Bashar | Alkindy, Bassam
pdf | doi
inproceedings - Blind PDF Document Watermarking Robust Against PCA and ICA Attacks
15th International Conference on e-business and Telecommunications (SECRYPT 2018) / Porto, Portugal (Volume 2: SECRYPT, 2018, Pages pages 420 - 427)
Hatoum, Makram | Darazi, Rony | Couchot, Jean-François
pdf | doi | bibtex@inproceedings{dce39eff-ed71-490d-9a57-db56a9e3ef6a, title = {Blind PDF Document Watermarking Robust Against PCA and ICA Attacks}, author = {Hatoum, Makram and Darazi, Rony and Couchot, Jean-Fran\c{c}ois}, year = {2018}, address = {Porto, Portugal}, booktitle = {15th International Conference on e-business and Telecommunications (SECRYPT 2018)}, month = {jul}, pages = {420 - 427}, url = {https://publiweb.femto-st.fr/tntnet/entries/16039/documents/author/data}, volume = {2: SECRYPT}, doi = {10.5220/0006899604200427} }
article - Maximum network lifetime with optimal power/rate and routing trade-off for Wireless Multimedia Sensor Networks
Computer Communications (Volume 124, jun 2018, Pages :1 - 16)
Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
pdf | doi
article - CIPRNG: A VLSI Family of Chaotic Iterations Post-Processings for F₂-Linear Pseudorandom Number Generation Based on Zynq MPSoC
IEEE Transactions on Circuits and Systems I-Regular Papers (Volume 65, Issue (5), may 2018, Pages :1628 - 1641)
Bakiri, Mohammed | Couchot, Jean-François | Guyeux, Christophe
pdf | doi
article - Theoretical Study of the One Self-Regulating Gene in the Modified Wagner Model
Mathematics (Volume 6, Issue (4), apr 2018, Pages :58 (15))
Guyeux, Christophe | Couchot, Jean-François | Le Rouzic, Arnaud | Bahi, Jacques | Marangio, Luigi
doi
inproceedings - Joint Routing/Encoding-Power for Network Lifetime Maximization in WVSN
16th IEEE Wireless Communications and Networking Conference (WCNC 2018) / Barcelona, Spain (2018, Pages pages 6)
Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
pdf | doi | bibtex@inproceedings{37252bb4-cdbb-4b26-bf28-81384c3aee0e, title = {Joint Routing/Encoding-Power for Network Lifetime Maximization in WVSN}, author = {Khernane, Nesrine and Couchot, Jean-Fran\c{c}ois and Mostefaoui, Ahmed}, year = {2018}, address = {Barcelona, Spain}, booktitle = {16th IEEE Wireless Communications and Networking Conference (WCNC 2018)}, month = {apr}, pages = {6}, url = {https://publiweb.femto-st.fr/tntnet/entries/14414/documents/author/data}, doi = {10.1109/WCNC.2018.8377138}, organization = {IEEE} }
article - Survey on hardware implementation of random number generators on FPGA: Theory and experimental analyses
Computer Science Review (Volume 27, feb 2018, Pages :135 - 153)
Bakiri, Mohammed | Guyeux, Christophe | Couchot, Jean-François | K. Oudjida, Abdelkrim
pdf | doi
article - On the reconstruction of the ancestral bacterial genomes in genus Mycobacterium and Brucella
BMC Systems Biology (Volume 12, Issue (5), 2018, Pages :100 - 121)
Guyeux, Christophe | Al-Nuaimi, Bashar | Alkindy, Bassam | Couchot, Jean-François | Salomon, Michel
pdf | doi

2017 (6)

article - Steganalysis via a convolutional neural network using large convolution filters for embedding process with same stego key: A deep learning approach for telemedicine
European Research in Telemedicine / La Recherche EuropÃ©enne en TÃ©lÃ©mÃ©decine (Volume 6, Issue (2), jul 2017, Pages :79 - 92)
Salomon, Michel | Couturier, Raphael | Guyeux, Christophe | Couchot, Jean-François | Bahi, Jacques
doi
inproceedings - Routing impact on Network Lifetime Maximization using Power/Rate trade-off in WVSN
13th International Wireless Communications and Mobile Computing Conference (2017) / Valencia, Spain (2017, Pages pages 97 - 102)
Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
pdf | doi | bibtex@inproceedings{cb92518b-4c18-411c-b444-b5cceec54d09, title = {Routing impact on Network Lifetime Maximization using Power/Rate trade-off in WVSN}, author = {Khernane, Nesrine and Couchot, Jean-Fran\c{c}ois and Mostefaoui, Ahmed}, year = {2017}, address = {Valencia, Spain}, booktitle = {13th International Wireless Communications and Mobile Computing Conference (2017)}, month = {jun}, pages = {97 - 102}, url = {https://publiweb.femto-st.fr/tntnet/entries/13898/documents/author/data}, doi = {10.1109/IWCMC.2017.7986269} }
inproceedings - Improving Blind Steganalysis in Spatial Domain using a Criterion to Choose the Appropriate Steganalyzer between CNN and SRM+EC
32nd International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2017) / Roma, Italy (Volume 502, Series IFIP Advances in Information and Communication Technology (IFIP AICT), 2017, Pages pages 327 - 340)
Couchot, Jean-François | Couturier, Raphael | Salomon, Michel
pdf | doi | bibtex@inproceedings{7081d560-6640-40a5-8581-9a22b7d944c3, title = {Improving Blind Steganalysis in Spatial Domain using a Criterion to Choose the Appropriate Steganalyzer between CNN and SRM+EC}, author = {Couchot, Jean-Fran\c{c}ois and Couturier, Raphael and Salomon, Michel}, year = {2017}, address = {Roma, Italy}, booktitle = {32nd International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2017)}, month = {may}, pages = {327 - 340}, url = {https://publiweb.femto-st.fr/tntnet/entries/13909/documents/author/data}, volume = {502}, doi = {10.1007/978-3-319-58469-0_22}, series = {IFIP Advances in Information and Communication Technology (IFIP AICT)} }
inproceedings - On the Ability to Reconstruct Ancestral Genomes from Mycobacterium Genus
5th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2017) / Granada, Spain (2017, Pages pages 12)
Guyeux, Christophe | Al-Nuaimi, Bashar | Alkindy, Bassam | Couchot, Jean-François | Salomon, Michel
pdf | bibtex@inproceedings{2fa22dce-d749-420b-8037-474bdabffbce, title = {On the Ability to Reconstruct Ancestral Genomes from Mycobacterium Genus}, author = {Guyeux, Christophe and Al-Nuaimi, Bashar and Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Salomon, Michel}, year = {2017}, address = {Granada, Spain}, booktitle = {5th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2017)}, month = {apr}, pages = {12}, url = {https://publiweb.femto-st.fr/tntnet/entries/14370/documents/author/data} }
article - Random Walk in a N-cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations
International Journal of Bifurcation and Chaos (IJBC) (Volume 27, Issue (01), jan 2017, Pages :1750014 (18))
Contassot-Vivier, Sylvain | Couchot, Jean-François | Guyeux, Christophe | Heam, Pierre-Cyrille
pdf | doi
article - Blind digital watermarking in PDF documents using Spread Transform Dither Modulation
Multimedia Tools and Applications (Volume 76, Issue (1), 2017, Pages :143 - 161)
Bitar, Ahmad | Darazi, Rony | Couchot, Jean-François | Couturier, Raphael
pdf | doi

2016 (4)

inproceedings - Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints
14th International Symposium on Mobility Management and Wireless Access (2016) / Malta, Malta (2016, Pages pages 59 - 66)
Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
pdf | doi | bibtex@inproceedings{6396a95c-1776-47b5-b6f2-123a1c8ca8a2, title = {Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints}, author = {Khernane, Nesrine and Couchot, Jean-Fran\c{c}ois and Mostefaoui, Ahmed}, year = {2016}, address = {Malta, Malta}, booktitle = {14th International Symposium on Mobility Management and Wireless Access (2016)}, month = {nov}, pages = {59 - 66}, url = {https://publiweb.femto-st.fr/tntnet/entries/13302/documents/author/data}, doi = {10.1145/2989250.2989270}, organization = {Association for Computing Machinery (ACM)}, publisher = {Association for Computing Machinery (ACM)} }
inproceedings - Relation between Gene Content and Taxonomy in Chloroplasts
1st Internaitonal Conference on Biomedical Signal and Bioinformatics (ICBSB 2016) / Auckland, New Zealand (Volume 7, Issue 1, 2016, Pages pages 41 - 50)
Al-Nuaimi, Bashar | Guyeux, Christophe | Alkindy, Bassam | Couchot, Jean-François | Salomon, Michel
pdf | doi | bibtex@inproceedings{420d9752-8f61-41e2-91f0-673a24f06ece, title = {Relation between Gene Content and Taxonomy in Chloroplasts}, author = {Al-Nuaimi, Bashar and Guyeux, Christophe and Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Salomon, Michel}, year = {2016}, address = {Auckland, New Zealand}, booktitle = {1st Internaitonal Conference on Biomedical Signal and Bioinformatics (ICBSB 2016)}, month = {nov}, number = {1}, pages = {41 - 50}, url = {https://publiweb.femto-st.fr/tntnet/entries/14372/documents/author/data}, volume = {7}, doi = {10.17706/ijbbb.2017.7.1.41-50}, journal = {International Journal of Bioscience, Biochemistry and Bioinformatics (IJBBB)} }
inproceedings - A Second Order Derivatives based Approach for Steganography
13th International Joint Conference on E-Business and Telecommunications (ICETE 2016) / Lisbon, Portugal (Publisher : SciTePress, Volume 4: SECRYPT, 2016, Pages pages 424 - 431)
Couchot, Jean-François | Couturier, Raphael | Fadil, Yousra Ahmed | Guyeux, Christophe
doi | bibtex@inproceedings{f7e0c2ee-7afe-41a1-b3cd-a57cf508b316, title = {A Second Order Derivatives based Approach for Steganography}, author = {Couchot, Jean-Fran\c{c}ois and Couturier, Raphael and Fadil, Yousra Ahmed and Guyeux, Christophe}, year = {2016}, address = {Lisbon, Portugal}, booktitle = {13th International Joint Conference on E-Business and Telecommunications (ICETE 2016)}, month = {jul}, pages = {424 - 431}, volume = {4: SECRYPT}, doi = {10.5220/0005966804240431}, publisher = {SciTePress} }
inproceedings - FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study
13th International Joint Conference on E-Business and Telecommunications (ICETE 2016) / Lisbon, Portugal (Publisher : SciTePress, Volume 4: SECRYPT, 2016, Pages pages 302 - 309)
Bakiri, Mohammed | Couchot, Jean-François | Guyeux, Christophe
doi | bibtex@inproceedings{2067e162-05ae-4e57-ae04-869bbb621d57, title = {FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study}, author = {Bakiri, Mohammed and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, year = {2016}, address = {Lisbon, Portugal}, booktitle = {13th International Joint Conference on E-Business and Telecommunications (ICETE 2016)}, month = {jul}, pages = {302 - 309}, volume = {4: SECRYPT}, doi = {10.5220/0005967903020309}, publisher = {SciTePress} }

2015 (8)

inproceedings - Performance Study of Steganalysis Techniques
International Conference on Applied Research in Computer Science and Engineering (ICAR 2015) / Beirut, Lebanon (2015, Pages pages 7)
Al Bouna, Bechara | Couchot, Jean-François | Couturier, Raphael | Fadil, Yousra Ahmed | Guyeux, Christophe
doi | bibtex@inproceedings{abccf+15:ip, title = {Performance Study of Steganalysis Techniques}, author = {Al Bouna, Bechara and Couchot, Jean-Fran\c{c}ois and Couturier, Raphael and Fadil, Yousra Ahmed and Guyeux, Christophe}, year = {2015}, address = {Beirut, Lebanon}, booktitle = {International Conference on Applied Research in Computer Science and Engineering (ICAR 2015)}, month = {oct}, pages = {7}, doi = {10.1109/ARCSE.2015.7338128} }
article - STABYLO: STeganography with Adaptive, Bbs, and binarY embedding at LOw cost
Annals of Telecommunications (Volume 70, Issue (9), oct 2015, Pages :441 - 449)
Couchot, Jean-François | Couturier, Raphael | Guyeux, Christophe
pdf | doi
inproceedings - Steganalyzer performances in operational contexts
IEEE International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2015) / Adelaide, Australia (Publisher : IEEE, 2015, Pages pages 429 - 432)
Fadil, Yousra Ahmed | Couchot, Jean-François | Couturier, Raphael | Guyeux, Christophe
doi | bibtex@inproceedings{fccg15:ip, title = {Steganalyzer performances in operational contexts}, author = {Fadil, Yousra Ahmed and Couchot, Jean-Fran\c{c}ois and Couturier, Raphael and Guyeux, Christophe}, year = {2015}, address = {Adelaide, Australia}, booktitle = {IEEE International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2015)}, month = {sep}, pages = {429 - 432}, doi = {10.1109/IIH-MSP.2015.105}, publisher = {IEEE} }
inproceedings - Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization
Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2015) / Naples, Italy (2015, Pages pages ***--***)
Alsrraj, Reem | Alkindy, Bassam | Guyeux, Christophe | Philippe, Laurent | Couchot, Jean-François
bibtex@inproceedings{aagp+15:ip, title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization}, author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois}, year = {2015}, address = {Naples, Italy}, booktitle = {Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2015)}, month = {sep}, pages = {***--***} }
inproceedings - Binary Particle Swarm Optimization versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees
Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2015) / Naples, Italy (Publisher : Springer, Volume 9874, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 165 - 179)
Alkindy, Bassam | Al-Nuaimi, Bashar | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Alsrraj, Reem | Philippe, Laurent
pdf | doi | bibtex@inproceedings{aangc+16:bc, title = {Binary Particle Swarm Optimization versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees}, author = {Alkindy, Bassam and Al-Nuaimi, Bashar and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Alsrraj, Reem and Philippe, Laurent}, year = {2015}, address = {Naples, Italy}, booktitle = {Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB 2015)}, editor = {Claudia Angelini, Paola MV Rancoita, Stefano Rovetta }, month = {sep}, pages = {165 - 179}, url = {https://publiweb.femto-st.fr/tntnet/entries/12917/documents/author/data}, volume = {9874}, doi = {10.1007/978-3-319-44332-4_13}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes
2nd International Conference on Algorithms for Computational Biology (AlCoB 2015) / Mexico, Mexico (Publisher : Springer, Volume 9199, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 83 - 96)
Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Parisod, Christian | Bahi, Jacques
pdf | doi | bibtex@inproceedings{agcs+15:ip, title = {Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes}, author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Parisod, Christian and Bahi, Jacques}, year = {2015}, address = {Mexico, Mexico}, booktitle = {2nd International Conference on Algorithms for Computational Biology (AlCoB 2015)}, month = {aug}, pages = {83 - 96}, url = {https://publiweb.femto-st.fr/tntnet/entries/11211/documents/author/data}, volume = {9199}, doi = {10.1007/978-3-319-21233-3_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Using Genetic Algorithm for Optimizing Phylogenetic Tree Inference in Plant Species
7th Mathematical and Computational Evolutionary Biology (MCEB 2015) / Porquerolles, France (2015)
Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
bibtex@inproceedings{agcs+15:oip, title = {Using Genetic Algorithm for Optimizing Phylogenetic Tree Inference in Plant Species}, author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques}, year = {2015}, address = {Porquerolles, France}, booktitle = {7th Mathematical and Computational Evolutionary Biology (MCEB 2015)}, month = {jun} }
inproceedings - Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species
International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015) / Granada, Spain (Publisher : Springer, Volume 9043, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 379 - 390)
Alkindy, Bassam | Al-Nayyef, Huda | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
pdf | doi | bibtex@inproceedings{aangc+15:ip, title = {Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species}, author = {Alkindy, Bassam and Al-Nayyef, Huda and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques}, year = {2015}, address = {Granada, Spain}, booktitle = {International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015)}, month = {apr}, pages = {379 - 390}, url = {https://publiweb.femto-st.fr/tntnet/entries/9614/documents/author/data}, volume = {9043}, doi = {10.1007/978-3-319-16483-0_38}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2014 (5)

inproceedings - Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts
BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine / Belfast, United Kingdom (2014)
Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
bibtex@inproceedings{akgcs+14:oip, title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts}, author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques}, year = {2014}, address = {Belfast, United Kingdom}, booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine}, month = {nov} }
article - Finding the Core-Genes of Chloroplasts
International Journal of Bioscience, Biochemistry and Bioinformatics (IJBBB) (Volume 4, Issue (5), sep 2014, Pages :361 - 368)
Alkindy, Bassam | Couchot, Jean-François | Guyeux, Christophe | Mouly, Arnaud | Salomon, Michel | Bahi, Jacques
pdf | doi
misc - Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers
(sep 2014)
Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
bibtex@misc{chgw+14:onp, title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers}, author = {Couchot, Jean-Fran\c{c}ois and Heam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques}, year = {2014}, address = {Nancy, France}, booktitle = {15th Mons Theoretical Computer Science Days (2014)}, month = {sep} }
inproceedings - Pseudorandom Number Generators with Balanced Gray Codes
Secrypt 2014, 11th Int. Conf. on Security and Cryptography / Vienna, Austria (2014, Pages pages 469-475)
Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
bibtex@inproceedings{chgw+14:oip, title = {Pseudorandom Number Generators with Balanced Gray Codes}, author = {Couchot, Jean-Fran\c{c}ois and Heam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques}, year = {2014}, address = {Vienna, Austria}, booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography}, month = {aug}, pages = {469-475} }
inproceedings - Finding the Core-Genes of Chloroplasts
ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science / Copenhagen, Denmark (Volume 4, Issue 5, 2014, Pages pages 357--364)
Alkindy, Bassam | Couchot, Jean-François | Guyeux, Christophe | Mouly, Arnaud | Salomon, Michel | Bahi, Jacques
pdf | bibtex@inproceedings{acgm+14:ij, title = {Finding the Core-Genes of Chloroplasts}, author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques}, year = {2014}, address = {Copenhagen, Denmark}, booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science}, month = {jun}, number = {5}, pages = {357--364}, url = {https://publiweb.femto-st.fr/tntnet/entries/7239/documents/author/data}, volume = {4} }

2013 (5)

misc - Finding the core-genes of Chloroplast Species
Journées SeqBio 2013, Montpellier (nov 2013)
Alkindy, Bassam | Couchot, Jean-François | Guyeux, Christophe | Salomon, Michel
bibtex@misc{acgs13:onp, title = {Finding the core-genes of Chloroplast Species}, author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel}, year = {2013}, address = {Montpellier, France}, booktitle = {Journ\'ees SeqBio (2013)}, month = {nov} }
article - Active MEMS-based flow control using artificial neural network
Mechatronics (Volume 23, Issue (7), oct 2013, Pages :898 - 905)
Couchot, Jean-François | Deschinkel, Karine | Salomon, Michel
pdf | doi
inproceedings - Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction
IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing / Beijing, China (2013, Pages pages 547--550)
Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe | Mazouzi, Kamel
pdf | bibtex@inproceedings{bcfg+13:ip, title = {Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe and Mazouzi, Kamel}, year = {2013}, address = {Beijing, China}, booktitle = {IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing}, month = {oct}, pages = {547--550}, url = {https://publiweb.femto-st.fr/tntnet/entries/5957/documents/author/data} }
misc - Advances in Mobile Technologies Day
La recherche et les technologies mobiles (may 2013)
Couchot, Jean-François
bibtex@misc{56166a94-a755-40f0-89f7-b6ac605b25ba, title = {Advances in Mobile Technologies Day}, author = {Couchot, Jean-Fran\c{c}ois}, year = {2013}, month = {may} }
misc - La recherche et les technologies mobiles
Communication Advances in Mobile Technologies Day, 9-05-2013, UniversitÃ© Antonine, Liban (may 2013)
Couchot, Jean-François
bibtex@misc{couchot2013:it, title = {La recherche et les technologies mobiles}, author = {Couchot, Jean-Fran\c{c}ois}, year = {2013}, month = {may} }

2012 (7)

article - Steganography: a class of secure and robust algorithms
The Computer Journal (Volume 55, Issue (6), dec 2012, Pages :653 - 666)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
pdf | doi
inproceedings - Application of Steganography for Anonymity through the Internet
IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy / Venice, Italy (2012, Pages pages 96 - 101)
Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe
pdf | bibtex@inproceedings{bcfg12a:ip, title = {Application of Steganography for Anonymity through the Internet}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe}, year = {2012}, address = {Venice, Italy}, booktitle = {IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy}, month = {jun}, pages = {96 - 101}, url = {https://publiweb.femto-st.fr/tntnet/entries/333/documents/author/data} }
inproceedings - A Robust Data Hiding Process Contributing to the Development of a Semantic Web
INTERNET'2012, 4-th Int. Conf. on Evolving Internet / Venice, Italy (2012, Pages pages 71 - 76)
Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe
pdf | bibtex@inproceedings{bcfg12b:ip, title = {A Robust Data Hiding Process Contributing to the Development of a Semantic Web}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe}, year = {2012}, address = {Venice, Italy}, booktitle = {INTERNET'2012, 4-th Int. Conf. on Evolving Internet}, month = {jun}, pages = {71 - 76}, url = {https://publiweb.femto-st.fr/tntnet/entries/335/documents/author/data} }
inproceedings - Suitability of Artificial Neural Network for MEMS-based Flow Control
dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 1--6)
Couchot, Jean-François | Deschinkel, Karine | Salomon, Michel
bibtex@inproceedings{cds12:ip, title = {Suitability of Artificial Neural Network for MEMS-based Flow Control}, author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS}, editor = {Bourgeois, Julien and de Labachelerie, Michel}, month = {apr}, pages = {1--6} }
article - Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network
Chaos (Volume 22, Issue (1), mar 2012, Pages :013122-1 -- 013122-9)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Salomon, Michel
pdf | doi
misc - Steganography: secure and robust algorithms
Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France (mar 2012)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
bibtex@misc{bcg12:onp, title = {Steganography: secure and robust algorithms}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, year = {2012}, month = {mar} }
article - Quality analysis of a chaotic proven keyed hash function
International Journal on Advances in Internet Technology (Volume 5, Issue (1), 2012, Pages :26--33)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe

2011 (4)

inproceedings - Steganography: a Class of Algorithms having Secure Properties
IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing / Dalian, China (2011, Pages pages 109--112)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
bibtex@inproceedings{bcg11b:ip, title = {Steganography: a Class of Algorithms having Secure Properties}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, year = {2011}, address = {Dalian, China}, booktitle = {IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing}, month = {oct}, pages = {109--112} }
inproceedings - On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems
FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory / Oslo, Norway (Volume 6914, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 126--137)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Richard, Adrien
pdf | doi | bibtex@inproceedings{bcgr11:ip, title = {On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Richard, Adrien}, year = {2011}, address = {Oslo, Norway}, booktitle = {FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory}, month = {aug}, pages = {126--137}, url = {http://dx.doi.org/10.1007/978-3-642-22953-4_11}, volume = {6914}, doi = {10.1007/978-3-642-22953-4_11}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations
INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet / Luxembourg, Luxembourg (2011, Pages pages 52--57)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
bibtex@inproceedings{bcg11:ip, title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, year = {2011}, address = {Luxembourg, Luxembourg}, booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet}, month = {jun}, pages = {52--57} }
inproceedings - Class of Trustworthy Pseudo Random Number Generators
INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet / Luxembourg, Luxembourg (2011, Pages pages 72 - 77)
Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Wang, Qianxue
pdf | bibtex@inproceedings{bcgw11:ip, title = {Class of Trustworthy Pseudo Random Number Generators}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and WANG, Qianxue}, year = {2011}, address = {Luxembourg, Luxembourg}, booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet}, month = {jun}, pages = {72 - 77}, url = {https://publiweb.femto-st.fr/tntnet/entries/310/documents/author/data} }

2010 (3)

techreport - Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations
(sep 2010, Research Report)
Bahi, Jacques | Couchot, Jean-François | Grasset, Olivier | Guyeux, Christophe
bibtex@techreport{bcgg10:ir, title = {Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations}, author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Grasset, Olivier and Guyeux, Christophe}, year = {2010}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/116/documents/author/data} }
techreport - Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network
(may 2010, Research Report)
Bahi, Jacques | Contassot-Vivier, Sylvain | Couchot, Jean-François
bibtex@techreport{BCVC10:ir, title = {Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network}, author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couchot, Jean-Fran\c{c}ois}, year = {2010}, month = {may} }
techreport - Formal Convergence Proof for Discrete Dynamical Systems
(may 2010, Research Report)
Couchot, Jean-François
bibtex@techreport{Cou10:ir, title = {Formal Convergence Proof for Discrete Dynamical Systems}, author = {Couchot, Jean-Fran\c{c}ois}, year = {2010}, month = {may} }

2009 (1)

inproceedings - Graph Based Reduction of Program Verification Conditions
AFM'09, Automated Formal Methods (colocated with CAV'09) / Grenoble, France (2009, Pages pages 40--47)
Couchot, Jean-François | Giorgetti, Alain | Stouls, Nicolas
pdf | bibtex@inproceedings{cgs09:ip, title = {Graph Based Reduction of Program Verification Conditions}, author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas}, year = {2009}, address = {Grenoble, France}, booktitle = {AFM'09, Automated Formal Methods (colocated with CAV'09)}, editor = {Hassen Sa¨{i}di and N. Shankar}, pages = {40--47}, url = {https://publiweb.femto-st.fr/tntnet/entries/238/documents/author/data} }

2007 (5)

inproceedings - Efficiently dealing with SMT-LIB provers in software verification
(2007)
Couchot, Jean-François
bibtex@inproceedings{couchot07:nt, title = {Efficiently dealing with SMT-LIB provers in software verification}, author = {Couchot, Jean-Fran\c{c}ois}, year = {2007}, month = {dec} }
inproceedings - A Graph-based Strategy for the Selection of Hypotheses
FTP'07, Int. Workshop on First-Order Theorem Proving / Liverpool, UK (2007)
Couchot, Jean-François | Hubert, T.
bibtex@inproceedings{ch07:bl, title = {A Graph-based Strategy for the Selection of Hypotheses}, author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.}, year = {2007}, address = {Liverpool, UK}, booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving}, month = {sep} }
inproceedings - Handling Polymorphism in Automated Deduction
CADE'07, 21st Int. Conf. on Automated Deduction / Bremen, Germany (Volume 4603, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 263--278)
Couchot, Jean-François | Lescuyer, S.
pdf | doi | bibtex@inproceedings{cl07:bl, title = {Handling Polymorphism in Automated Deduction}, author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.}, year = {2007}, address = {Bremen, Germany}, booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction}, month = {jul}, pages = {263--278}, url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18}, volume = {4603}, doi = {10.1007/978-3-540-73595-3_18}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Guiding the Correction of Parameterized Specifications
IFM'07, 6th Int. Conf. on Integrated Formal Methods / Oxford, UK (Volume 4591, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 176--194)
Couchot, Jean-François | Dadeau, Frédéric
pdf | doi | bibtex@inproceedings{cd07:bl, title = {Guiding the Correction of Parameterized Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric}, year = {2007}, address = {Oxford, UK}, booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods}, month = {jul}, pages = {176--194}, url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10}, volume = {4591}, doi = {10.1007/978-3-540-73210-5_10}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Instantiation of Parameterized Data Structures for Model-Based Testing
B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 96--110)
Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
pdf | doi | bibtex@inproceedings{bcdg07:ip, title = {Instantiation of Parameterized Data Structures for Model-Based Testing}, author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {96--110}, url = {https://publiweb.femto-st.fr/tntnet/entries/167/documents/author/data}, volume = {4355}, doi = {10.1007/11955757_10}, series = {Lecture Notes in Computer Science (LNCS)} }

2003 (1)

inproceedings - Proving and Debugging Set-Based Specifications
Brazilian Workshop on Formal Methods (WMF 2003) / Campina Grande, Brazil (Volume 95, 2003, Pages pages 189 - 208)
Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
pdf | doi | bibtex@inproceedings{cddg+04:ip, title = {Proving and Debugging Set-Based Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2003}, address = {Campina Grande, Brazil}, booktitle = {Brazilian Workshop on Formal Methods (WMF 2003)}, editor = {cddg+04:ip-editor.pdf}, month = {oct}, pages = {189 - 208}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012}, volume = {95}, doi = {10.1016/j.entcs.2004.04.012}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)} }