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
622020
A short description of the solver EvalMaxSAT
F Avellaneda
MaxSAT Evaluation 8, 2020
272020
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
162018
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
Inferring DFA without negative examples
F Avellaneda, A Petrenko
International Conference on Grammatical Inference, 17-29, 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
72020
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
62013
Learning optimal decision trees from large datasets
F Avellaneda
arXiv preprint arXiv:1904.06314, 2019
52019
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
32019
Learning and adaptive testing of nondeterministic state machines
A Petrenko, F Avellaneda
2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019
32019
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
Conformance testing and inference of embedded components
A Petrenko, F Avellaneda
Testing Software and Systems: 30th IFIP WG 6.1 International Conference …, 2018
22018
Checking non-divergence, channel-bound and global cooperation using SAT-solvers
F Avellaneda, R Morin
2011 Eleventh International Conference on Application of Concurrency to …, 2011
22011
Undercover Boolean Matrix Factorization with MaxSAT
F Avellaneda, R Villemaire
AAAI Conference on Artificial Intelligence 36 (4), 3672-3681, 2022
12022
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
12019
Solving Language Equations Using Flanked Automata
F Avellaneda, S Dal Zilio, JB Raclet
Automated Technology for Verification and Analysis: 14th International …, 2016
12016
On the complexity of flanked finite state automata
F Avellaneda, SD Zilio, JB Raclet
arXiv preprint arXiv:1509.06501, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20