L'institut
FEMTO-ST
Département DISC
Jean-François Couchot
Professeur des Universités
Informatique
Département DISC
Équipe DEODIS
Équipe DEODIS
UFR ST
- Courriel :
- jfcoucho [at] femto-st.fr
03.81.66.64.51
- Addresse :
-
DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex
Publications de Jean-François COUCHOT
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
2023 (2)
- 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, Ronyressource | 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} } - inproceedings - Automatic ICD-10 Code Association: A Challenging Task on French Clinical Texts
36th IEEE International Symposium on Computer Based Medical Systems (CBMS 2023) / L'Aquila, Italy (2023, Pages pages 91 - 96)
Tchouka, Yakini | Couchot, Jean-François | Laiymani, David | Selles, Philippe | Rahmani, Azzedineressource | doi | bibtex@inproceedings{723e1106-1604-4010-87cc-55b6a4e62995, title = {Automatic ICD-10 Code Association: A Challenging Task on French Clinical Texts}, author = {Tchouka, Yakini and Couchot, Jean-Fran\c{c}ois and Laiymani, David and Selles, Philippe and Rahmani, Azzedine}, year = {2023}, address = {L'Aquila, Italy}, booktitle = {36th IEEE International Symposium on Computer Based Medical Systems (CBMS 2023)}, editor = {723e1106-1604-4010-87cc-55b6a4e62995-editor.pdf}, month = {jun}, pages = {91 - 96}, url = {https://publiweb.femto-st.fr/tntnet/entries/20296/documents/author/data}, doi = {htpps://doi.org/10.1109/CBMS58004.2023.00198} }
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
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, Xiaokuiressource | 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 - 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
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, Xiaokuiressource | 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 - 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 - 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
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 - 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 - 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-Cyrilleressource | 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, Guillaumeressource | 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, Laurentdoi | 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
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çoisressource | 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 - 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 - 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çoisressource | 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 - 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 - 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 - 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, Ahmedressource | 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 - 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
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 - 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, Ahmedressource | 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, Michelressource | 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, Michelressource | 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 - 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
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, Ahmedressource | 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, Michelressource | 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, Christophedoi | 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, Christophedoi | 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)
- 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 - 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, Christophedoi | 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} } - 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, Christophedoi | 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çoisbibtex@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, Laurentressource | 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, Jacquesressource | 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, Jacquesbibtex@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, Jacquesressource | 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, Jacquesbibtex@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 - 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, Jacquesbibtex@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, Jacquesbibtex@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, Jacquesressource | 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, Michelbibtex@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 - 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, Kamelressource | 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çoisbibtex@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çoisbibtex@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 - 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, Christopheressource | 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, Christopheressource | 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, Michelbibtex@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 - 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, Christophebibtex@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, Christophebibtex@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, Adrienressource | 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, Christophebibtex@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, Qianxueressource | 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, Christophebibtex@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çoisbibtex@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çoisbibtex@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, Nicolasressource | 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çoisbibtex@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.ressource | 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éricressource | 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, Alainressource | 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.ressource | 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)} }
-
INGÉNIERIE
Sciences informatiques
