The institute
FEMTO-ST
Directory

You are here

Jean-François Couchot

Jean-François Couchot's publications

2024 (1)

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

2022 (1)

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
  • 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, Xiaokui
    pdf | bibtex
  • 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-Cyrille
    pdf | doi | bibtex
  • 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 - 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
  • 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çois
    pdf | doi | bibtex
  • 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çois
    pdf | doi | bibtex
  • 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, Ahmed
    pdf | doi | bibtex
  • 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, Ahmed
    pdf | doi | bibtex
  • 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 - 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
  • 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, Ahmed
    pdf | doi | bibtex
  • 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 - 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 - 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

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
  • 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 - 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 - 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 - 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 - 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 - 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 - 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

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
  • 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, Jacques
    bibtex
  • 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 - 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

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
  • 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, Kamel
    pdf | bibtex
  • misc - Advances in Mobile Technologies Day
    La recherche et les technologies mobiles (may 2013)
    Couchot, Jean-François
    bibtex
  • 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

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, Christophe
    pdf | bibtex
  • 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 - 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
  • 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, Christophe
    bibtex
  • 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 - 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 - 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 - 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

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 - 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 - Formal Convergence Proof for Discrete Dynamical Systems
    (may 2010, Research Report)
    Couchot, Jean-François
    bibtex

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

2007 (5)

  • inproceedings - Efficiently dealing with SMT-LIB provers in software verification
    (2007)
    Couchot, Jean-François
    bibtex
  • 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 - 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 - 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 - 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

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