Follow
Florent Avellaneda
Title
Cited by
Cited by
Year
Efficient Inference of Optimal Decision Trees
F Avellaneda
Thirty-Fourth AAAI Conference on Artificial Intelligence, 3195-3202, 2020
642020
A short description of the solver EvalMaxSAT
F Avellaneda
MaxSAT Evaluation 8, 364, 2020
302020
From passive to active FSM inference via checking sequence construction
A Petrenko, F Avellaneda, R Groz, C Oriat
Testing Software and Systems: 29th IFIP WG 6.1 International Conference …, 2017
182017
FSM inference from long traces
F Avellaneda, A Petrenko
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
172018
Inferring DFA without negative examples
F Avellaneda, A Petrenko
International Conference on Grammatical Inference, 17-29, 2019
122019
FSM inference and checking sequence construction are two sides of the same coin
A Petrenko, F Avellaneda, R Groz, C Oriat
Software Quality Journal 27, 651-674, 2019
112019
Learning communicating state machines
A Petrenko, F Avellaneda
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019
92019
Demystifying the cyber attribution: An exploratory study
F Jaafar, F Avellaneda, EH Alikacem
2020 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf …, 2020
82020
Learning optimal decision trees from large datasets
F Avellaneda
arXiv preprint arXiv:1904.06314, 2019
62019
Checking partial-order properties of vector addition systems with states
F Avellaneda, R Morin
2013 13th International Conference on Application of Concurrency to System …, 2013
52013
Vector Addition Systems with States vs. Petri nets
F Avellaneda, R Morin
52012
Using Attack Pattern for Cyber Attack Attribution
F Avellaneda, EH Alikacem, F Jaafar
2019 International Conference on Cybersecurity (ICoCSec), 1-6, 2019
42019
Learning and adaptive testing of nondeterministic state machines
A Petrenko, F Avellaneda
2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019
42019
Undercover Boolean Matrix Factorization with MaxSAT
F Avellaneda, R Villemaire
AAAI Conference on Artificial Intelligence 36 (4), 3672-3681, 2022
32022
Weighted version of EvalMaxSAT 2022
F Avellaneda, CE Bilodeau-Savaria, L Normand
MaxSAT Evaluation 2022, 12, 2022
22022
Fault detection in timed FSM with timeouts by SAT-solving
ON Timo, D Prestat, F Avellaneda
2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019
22019
Learning minimal DFA: taking inspiration from RPNI to improve SAT approach
F Avellaneda, A Petrenko
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
22019
Conformance testing and inference of embedded components
A Petrenko, F Avellaneda
Testing Software and Systems: 30th IFIP WG 6.1 International Conference …, 2018
22018
DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells
D Prestat, N Moha, R Villemaire, F Avellaneda
IEEE Transactions on Software Engineering, 2024
12024
Boolean Matrix Factorization with SAT and MaxSAT
F Avellaneda, R Villemaire
arXiv preprint arXiv:2106.10105, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20