Florent Avellaneda

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 20

Top Topics

Matrix Factorization

Learning Algorithm

Negative Examples

Decision Tree Learning Algorithms

Top Venues

Publications

Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda
DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells. IEEE Trans. Software Eng. 50 (4) (2024)
Omer Nguena Timo, Tianqi Xiao, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking. AI Ethics 4 (1) (2024)
Florent Avellaneda, Roger Villemaire
Delegation-Relegation for Boolean Matrix Factorization. AAAI (2024)
Florent Avellaneda, Roger Villemaire
Undercover Boolean Matrix Factorization with MaxSAT. AAAI (2022)
Florent Avellaneda, Roger Villemaire
Boolean Matrix Factorization with SAT and MaxSAT. CoRR (2021)
Fehmi Jaafar, Florent Avellaneda, El Hachemi Alikacem
Demystifying the Cyber Attribution: An Exploratory Study. DASC/PiCom/CBDCom/CyberSciTech (2020)
Florent Avellaneda
Efficient Inference of Optimal Decision Trees. AAAI (2020)
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
An Approach to Evaluating Learning Algorithms for Decision Trees. CoRR (2020)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27 (2) (2019)
Alexandre Petrenko, Florent Avellaneda
Learning Communicating State Machines. TAP@FM (2019)
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Fault Detection in Timed FSM with Timeouts by SAT-Solving. QRS (2019)
Florent Avellaneda
Learning Optimal Decision Trees from Large Datasets. CoRR (2019)
Alexandre Petrenko, Florent Avellaneda
Learning and Adaptive Testing of Nondeterministic State Machines. QRS (2019)
Florent Avellaneda, Alexandre Petrenko
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. SEFM (2019)
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
Fault Detection for Timed FSM with Timeouts by Constraint Solving. CoRR (2018)
Florent Avellaneda, Alexandre Petrenko
FSM Inference from Long Traces. FM (2018)
Alexandre Petrenko, Florent Avellaneda
Conformance Testing and Inference of Embedded Components. ICTSS (2018)
Florent Avellaneda, Alexandre Petrenko
Inferring DFA without Negative Examples. ICGI (2018)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS (2017)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
Solving Language Equations Using Flanked Automata. ATVA (2016)
Florent Avellaneda, Rémi Morin
Catching a Structural Bug with a Flower. Fundam. Informaticae 140 (1) (2015)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
On the Complexity of Flanked Finite State Automata. CoRR (2015)
Florent Avellaneda, Rémi Morin
Exhibition of a Structural Bug with Wings. Petri Nets (2014)
Florent Avellaneda, Rémi Morin
Checking Partial-Order Properties of Vector Addition Systems with States. ACSD (2013)
Florent Avellaneda, Rémi Morin
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers. ACSD (2011)