| Three naive bayes approaches for discrimination-free classification T Calders, S Verwer Data mining and knowledge discovery 21, 277-292, 2010 | 1100 | 2010 |
| Learning optimal classification trees using a binary linear program formulation S Verwer, Y Zhang Proceedings of the AAAI conference on artificial intelligence 33 (01), 1625-1632, 2019 | 227 | 2019 |
| TABOR: A graphical model-based approach for anomaly detection in industrial control systems Q Lin, S Adepu, S Verwer, A Mathur Proceedings of the 2018 on asia conference on computer and communications …, 2018 | 190 | 2018 |
| Exact DFA identification using SAT solvers MJH Heule, S Verwer Grammatical Inference: Theoretical Results and Applications: 10th …, 2010 | 164 | 2010 |
| Lane-change intention estimation for car-following control in autonomous driving Y Zhang, Q Lin, J Wang, S Verwer, JM Dolan IEEE Transactions on Intelligent Vehicles 3 (3), 276-286, 2018 | 112 | 2018 |
| Learning decision trees with flexible constraints and objectives using integer optimization S Verwer, Y Zhang Integration of AI and OR Techniques in Constraint Programming: 14th …, 2017 | 96 | 2017 |
| Efficient identification of timed automata: Theory and practice SE Verwer | 90 | 2010 |
| PAutomaC: a probabilistic automata and hidden Markov models learning competition S Verwer, R Eyraud, C De La Higuera Machine learning 96, 129-154, 2014 | 71 | 2014 |
| Sok: Explainable machine learning for computer security applications A Nadeem, D Vos, C Cao, L Pajola, S Dieck, R Baumgartner, S Verwer 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 221-240, 2023 | 70 | 2023 |
| Software model synthesis using satisfiability solvers MJH Heule, S Verwer Empirical Software Engineering 18 (4), 825-856, 2013 | 68 | 2013 |
| Alert-driven attack graph generation using s-pdfa A Nadeem, S Verwer, S Moskal, SJ Yang IEEE transactions on dependable and secure computing 19 (2), 731-746, 2021 | 64 | 2021 |
| Auction optimization using regression trees and linear models as integer programs S Verwer, Y Zhang, QC Ye Artificial Intelligence 244, 368-395, 2017 | 63 | 2017 |
| A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data S Verwer, M de Weerdt, C Witteveen Grammatical Inference: Theoretical Results and Applications: 10th …, 2010 | 62 | 2010 |
| Efficient training of robust decision trees against adversarial examples D Vos, S Verwer International Conference on Machine Learning, 10586-10595, 2021 | 56 | 2021 |
| Flexfringe: a passive automaton learning package S Verwer, CA Hammerschmidt 2017 IEEE international conference on software maintenance and evolution …, 2017 | 55 | 2017 |
| Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 M Bruynooghe, H Blockeel, B Bogaerts, B De Cat, S De Pooter, J Jansen, ... Theory and Practice of Logic Programming 15 (6), 783-817, 2015 | 55 | 2015 |
| Improving active Mealy machine learning for protocol conformance testing F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer Machine learning 96, 189-224, 2014 | 48 | 2014 |
| Efficiently identifying deterministic real-time automata from labeled data S Verwer, M de Weerdt, C Witteveen Machine learning 86 (3), 295-333, 2012 | 42 | 2012 |
| An algorithm for learning real-time automata S Verwer, M De Weerdt, C Witteveen Proceedings of the 18th Annual Machine Learning Conference of Belgium and …, 2007 | 42 | 2007 |
| Learning and testing the bounded retransmission protocol F Aarts, H Kuppens, J Tretmans, F Vaandrager, S Verwer International Conference on Grammatical Inference, 4-18, 2012 | 37 | 2012 |
Mathijs de WeerdtFull Professor of Computer Science, Delft University of Technologytudelft.nl의 이메일 확인됨