متابعة
Sicco Verwer
Sicco Verwer
أسماء أخرىSicco E Verwer, S E Verwer, S Verwer
Delft University of Technology
بريد إلكتروني تم التحقق منه على tudelft.nl - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Three naive bayes approaches for discrimination-free classification‏
T Calders, S Verwer‏
Data mining and knowledge discovery 21, 277-292, 2010‏
10902010
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‏
2202019
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‏
1862018
Exact DFA identification using SAT solvers‏
MJH Heule, S Verwer‏
Grammatical Inference: Theoretical Results and Applications: 10th …, 2010‏
1622010
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‏
1102018
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‏
952017
Efficient identification of timed automata: Theory and practice‏
SE Verwer‏
902010
PAutomaC: a probabilistic automata and hidden Markov models learning competition‏
S Verwer, R Eyraud, C De La Higuera‏
Machine learning 96, 129-154, 2014‏
712014
Software model synthesis using satisfiability solvers‏
MJH Heule, S Verwer‏
Empirical Software Engineering 18 (4), 825-856, 2013‏
682013
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‏
652023
Auction optimization using regression trees and linear models as integer programs‏
S Verwer, Y Zhang, QC Ye‏
Artificial Intelligence 244, 368-395, 2017‏
622017
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‏
622010
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‏
612021
Efficient training of robust decision trees against adversarial examples‏
D Vos, S Verwer‏
International Conference on Machine Learning, 10586-10595, 2021‏
562021
Flexfringe: a passive automaton learning package‏
S Verwer, CA Hammerschmidt‏
2017 IEEE international conference on software maintenance and evolution …, 2017‏
552017
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‏
552015
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‏
482014
Efficiently identifying deterministic real-time automata from labeled data‏
S Verwer, M de Weerdt, C Witteveen‏
Machine learning 86 (3), 295-333, 2012‏
422012
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‏
422007
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‏
372012
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20