Efficient Inference of Optimal Decision Trees F Avellaneda Thirty-Fourth AAAI Conference on Artificial Intelligence, 3195-3202, 2020 | 77 | 2020 |
A short description of the solver EvalMaxSAT F Avellaneda MaxSAT Evaluation 8, 364, 2020 | 36 | 2020 |
FSM inference from long traces F Avellaneda, A Petrenko Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 18 | 2018 |
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 | 18 | 2017 |
Inferring DFA without negative examples F Avellaneda, A Petrenko International Conference on Grammatical Inference, 17-29, 2019 | 15 | 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 |
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 |
Learning communicating state machines A Petrenko, F Avellaneda Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 9 | 2019 |
Using Attack Pattern for Cyber Attack Attribution F Avellaneda, EH Alikacem, F Jaafar 2019 International Conference on Cybersecurity (ICoCSec), 1-6, 2019 | 8 | 2019 |
Learning optimal decision trees from large datasets F Avellaneda arXiv preprint arXiv:1904.06314, 2019 | 6 | 2019 |
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 |
EvalMaxSAT 2023 F Avellaneda MaxSAT Evaluation 2023, 12, 0 | 3 | |
Weighted version of EvalMaxSAT 2022 F Avellaneda, CE Bilodeau-Savaria, L Normand MaxSAT Evaluation 2022, 12, 2022 | 2 | 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 behavioural code smells D Prestat, N Moha, R Villemaire, F Avellaneda IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |