Search Results - Avellaneda, Florent

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells

    DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells by Prestat, Dimitri, Moha, Naouel, Villemaire, Roger, Avellaneda, Florent

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Efficient Inference of Optimal Decision Trees

    Efficient Inference of Optimal Decision Trees by Avellaneda, Florent

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    FSM inference and checking sequence construction are two sides of the same coin

    FSM inference and checking sequence construction are two sides of the same coin by Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking

    Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking by Timo, Omer Nguena, Xiao, Tianqi, Avellaneda, Florent, Malik, Yasir, Bruda, Stefan

    Published in Ai and ethics (Online)
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    FSM inference and checking sequence construction are two sides of the same coin

    FSM inference and checking sequence construction are two sides of the same coin by Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Delegation-Relegation for Boolean Matrix Factorization

    Delegation-Relegation for Boolean Matrix Factorization by Avellaneda, Florent, Villemaire, Roger

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Checking Partial-Order Properties of Vector Addition Systems with States

    Checking Partial-Order Properties of Vector Addition Systems with States by Avellaneda, Florent, Morin, Remi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Undercover Boolean Matrix Factorization with MaxSAT

    Undercover Boolean Matrix Factorization with MaxSAT by Avellaneda, Florent, Villemaire, Roger

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Learning Optimal Decision Trees from Large Datasets

    Learning Optimal Decision Trees from Large Datasets by Avellaneda, Florent

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers

    Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers by Avellaneda, F., Morin, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Boolean Matrix Factorization with SAT and MaxSAT

    Boolean Matrix Factorization with SAT and MaxSAT by Avellaneda, Florent, Villemaire, Roger

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Fault Detection for Timed FSM with Timeouts by Constraint Solving

    Fault Detection for Timed FSM with Timeouts by Constraint Solving by Omer Nguena Timo, Prestat, Dimitri, Avellaneda, Florent

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    An Approach to Evaluating Learning Algorithms for Decision Trees

    An Approach to Evaluating Learning Algorithms for Decision Trees by Xiao, Tianqi, Omer Nguena Timo, Avellaneda, Florent, Malik, Yasir, Bruda, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    On the Complexity of Flanked Finite State Automata

    On the Complexity of Flanked Finite State Automata by Avellaneda, Florent, Silvano Dal Zilio, Jean-Baptiste Raclet

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: