Volgen
Sicco Verwer
Titel
Geciteerd door
Geciteerd door
Jaar
Three naive bayes approaches for discrimination-free classification
T Calders, S Verwer
Data mining and knowledge discovery 21, 277-292, 2010
9602010
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
1772019
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
1672018
Exact DFA identification using SAT solvers
MJH Heule, S Verwer
Grammatical Inference: Theoretical Results and Applications: 10th …, 2010
1482010
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
972018
Efficient identification of timed automata: Theory and practice
SE Verwer
842010
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
802017
PAutomaC: a probabilistic automata and hidden Markov models learning competition
S Verwer, R Eyraud, C De La Higuera
Machine learning 96, 129-154, 2014
662014
Software model synthesis using satisfiability solvers
MJH Heule, S Verwer
Empirical Software Engineering 18 (4), 825-856, 2013
632013
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
562010
Auction optimization using regression trees and linear models as integer programs
S Verwer, Y Zhang, QC Ye
Artificial Intelligence 244, 368-395, 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
412014
An algorithm for learning real-time automata
S Verwer, M De Weerdt, C Witteveen
Proc of. the Annual Belgian-Dutch Machine Learning Conference (Benelearn’078), 2007
412007
Efficiently identifying deterministic real-time automata from labeled data
S Verwer, M de Weerdt, C Witteveen
Machine learning 86 (3), 295-333, 2012
402012
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
362021
Efficient training of robust decision trees against adversarial examples
D Vos, S Verwer
International Conference on Machine Learning, 10586-10595, 2021
342021
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
342012
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
322023
Flexfringe: a passive automaton learning package
S Verwer, CA Hammerschmidt
2017 IEEE international conference on software maintenance and evolution …, 2017
322017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20