| Efficient Inference of Optimal Decision Trees F Avellaneda Thirty-Fourth AAAI Conference on Artificial Intelligence, 3195-3202, 2020 | 74 | 2020 |
| A short description of the solver EvalMaxSAT F Avellaneda MaxSAT Evaluation 8, 364, 2020 | 37 | 2020 |
| 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 | 19 | 2017 |
| FSM inference from long traces F Avellaneda, A Petrenko Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 17 | 2018 |
| Inferring DFA without negative examples F Avellaneda, A Petrenko International Conference on Grammatical Inference, 17-29, 2019 | 14 | 2019 |
| 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 | 11 | 2019 |
| Learning communicating state machines A Petrenko, F Avellaneda International Conference on Tests and Proofs, 112-128, 2019 | 10 | 2019 |
| 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 | 9 | 2020 |
| Using attack pattern for cyber attack attribution F Avellaneda, EH Alikacem, F Jaafar 2019 International Conference on Cybersecurity (ICoCSec), 1-6, 2019 | 7 | 2019 |
| Learning optimal decision trees from large datasets F Avellaneda arXiv preprint arXiv:1904.06314, 2019 | 6 | 2019 |
| Evalmaxsat 2023 F Avellaneda MaxSAT Evaluation 2023, 12, 2023 | 5 | 2023 |
| 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 | 5 | 2013 |
| Vector Addition Systems with States vs. Petri Nets F Avellaneda, R Morin | 5 | 2012 |
| Learning and adaptive testing of nondeterministic state machines A Petrenko, F Avellaneda 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 4 | 2019 |
| Undercover Boolean Matrix Factorization with MaxSAT F Avellaneda, R Villemaire AAAI Conference on Artificial Intelligence 36 (4), 3672-3681, 2022 | 3 | 2022 |
| 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 | 2 | 2019 |
| 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 | 2 | 2019 |
| Conformance testing and inference of embedded components A Petrenko, F Avellaneda Testing Software and Systems: 30th IFIP WG 6.1 International Conference …, 2018 | 2 | 2018 |
| DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells D Prestat, N Moha, R Villemaire, F Avellaneda IEEE Transactions on Software Engineering 50 (4), 765-784, 2024 | 1 | 2024 |
| Boolean matrix factorization with sat and maxsat F Avellaneda, R Villemaire arXiv preprint arXiv:2106.10105, 2021 | 1 | 2021 |