| 2025 | AST | Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic. | Clinton Cao, Annibale Panichella, Sicco Verwer |
| 2024 | ICSE | CATMA: Conformance Analysis Tool For Microservice Applications. | Clinton Cao, Simon Schneider, Nicols E. Daz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato |
| 2023 | IJCAI | Optimal Decision Tree Policies for Markov Decision Processes. | Danil Vos, Sicco Verwer |
| 2022 | AAAI | Robust Optimal Classification Trees against Adversarial Examples. | Danil Vos, Sicco Verwer |
| 2021 | CCS | Enabling Visual Analytics via Alert-driven Attack Graphs. | Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang |
| 2021 | GECCO | Black-box mixed-variable optimisation using a surrogate model that satisfies integer constraints. | Laurens Bliek, Arthur Guijt, Sicco Verwer, Mathijs de Weerdt |
| 2021 | ICML | Efficient Training of Robust Decision Trees Against Adversarial Examples. | Danil Vos, Sicco Verwer |
| 2021 | VizSec | SAGE: Intrusion Alert-driven Attack Graph Extractor. | Azqa Nadeem, Sicco Verwer, Shanchieh Jay Yang |
| 2020 | CCS | The Robust Malware Detection Challenge and Greedy Random Accelerated Multi-Bit Search. | Sicco Verwer, Azqa Nadeem, Christian A. Hammerschmidt, Laurens Bliek, Abdullah Al-Dujaili, Una-May O'Reilly |
| 2019 | AAAI | Learning Optimal Classification Trees Using a Binary Linear Program Formulation. | Sicco Verwer, Yingqian Zhang |
| 2019 | CRITIS | Using Datasets from Industrial Control Systems for Cyber Security Research and Education. | Qin Lin, Sicco Verwer, Robert E. Kooij, Aditya Mathur |
| 2018 | CCS | TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems. | Qin Lin, Sridhar Adepu, Sicco Verwer, Aditya Mathur |
| 2017 | CPAIOR | Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization. | Sicco Verwer, Yingqian Zhang |
| 2017 | IM | Learning behavioral fingerprints from Netflows using Timed Automata. | Gaetano Pellegrino, Qin Lin, Christian A. Hammerschmidt, Sicco Verwer |
| 2017 | LCN | Reliable Machine Learning for Networking: Key Issues and Approaches. | Christian A. Hammerschmidt, Sebastin Garca, Sicco Verwer, Radu State |
| 2016 | CNSM | Behavioral clustering of non-stationary IP flow record data. | Christian A. Hammerschmidt, Samuel Marchal, Radu State, Sicco Verwer |
| 2016 | LCN | Efficient Learning of Communication Profiles from IP Flow Records. | Christian A. Hammerschmidt, Samuel Marchal, Radu State, Gaetano Pellegrino, Sicco Verwer |
| 2013 | AIME | Discovering Probabilistic Structures of Healthcare Processes. | Arjen Hommersom, Sicco Verwer, Peter J. F. Lucas |
| 2013 | IDA | Estimating Prediction Certainty in Decision Trees. | Eduardo P. Costa, Sicco Verwer, Hendrik Blockeel |
| 2013 | SSDBM | Sharing confidential data for algorithm development by multiple imputation. | Sicco Verwer, Susan W. van den Braak, Sunil Choenni |
| 2012 | AAMAS | Revenue prediction in budget-constrained sequential auctions with complementarities. | Sicco Verwer, Yingqian Zhang |
| 2012 | ALT | Regular Inference as Vertex Coloring. | Christophe Costa Florncio, Sicco Verwer |
| 2012 | ICDM | Classifying Socially Sensitive Data Without Discrimination: An Analysis of a Crime Suspect Dataset. | Faisal Kamiran, Asim Karim, Sicco Verwer, Heike Goudriaan |
| 2012 | ICLP | Modeling Machine Learning and Data Mining Problems with FO(·). | Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer |
| 2012 | PRIMA | Mechanism for Robust Procurements. | Yingqian Zhang, Sicco Verwer |
| 2011 | IJCAI | Learning Driving Behavior by Timed Syntactic Pattern Recognition. | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
| 2010 | EDM | Towards EDM Framework for Personalization of Information Services in RPM Systems. | Ekaterina Vasilyeva, Mykola Pechenizkiy, Aleksandra Tesanovic, Evgeny Knutov, Sicco Verwer, Paul De Bra |
| 2009 | LATA | One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |