Timed Inference for Behavioral Pattern Recognition. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (BNAIC, 2005)

Polynomial Distinguishability of Timed Automata. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (ICGI, 2008)

One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (LATA, 2009)

Solution to exchanges 7.3 puzzle: product adoption in a social network. - Aneesh Sharma; Sicco Verwer (SIGecom Exch., 2009)

Towards EDM Framework for Personalization of Information Services in RPM Systems. - Ekaterina Vasilyeva; Mykola Pechenizkiy; Aleksandra Tesanovic; Evgeny Knutov; Sicco Verwer; Paul De Bra (EDM, 2010)

Exact DFA Identification Using SAT Solvers. - Marijn Heule; Sicco Verwer (ICGI, 2010)

A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (ICGI, 2010)

Three naive Bayes approaches for discrimination-free classification. - Toon Calders; Sicco Verwer (Data Min. Knowl. Discov., 2010)

Efficient Identification of Timed Automata: Theory and practice. - Sicco Verwer (2010)

Learning Driving Behavior by Timed Syntactic Pattern Recognition. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (IJCAI, 2011)

The efficiency of identifying timed automata and the power of clocks. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (Inf. Comput., 2011)

Revenue prediction in budget-constrained sequential auctions with complementarities. - Sicco Verwer; Yingqian Zhang 001 (AAMAS, 2012)

Classifying Socially Sensitive Data Without Discrimination: An Analysis of a Crime Suspect Dataset. - Faisal Kamiran; Asim Karim; Sicco Verwer; Heike Goudriaan (ICDM Workshops, 2012)

Modeling Machine Learning and Data Mining Problems with FO(·). - Hendrik Blockeel; Bart Bogaerts 001; Maurice Bruynooghe; Broes De Cat; Stef De Pooter; Marc Denecker; Anthony Labarre; Jan Ramon; Sicco Verwer (ICLP (Technical Communications), 2012)

Mechanism for Robust Procurements. - Yingqian Zhang 001; Sicco Verwer (PRIMA, 2012)

Learning and Testing the Bounded Retransmission Protocol. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (ICGI, 2012)

Results of the PAutomaC Probabilistic Automaton Learning Competition. - Sicco Verwer; Rémi Eyraud; Colin de la Higuera (ICGI, 2012)

Efficiently identifying deterministic real-time automata from labeled data. - Sicco Verwer; Mathijs de Weerdt; Cees Witteveen (Mach. Learn., 2012)

Discovering Probabilistic Structures of Healthcare Processes. - Arjen Hommersom; Sicco Verwer; Peter J. F. Lucas (KR4HC/ProHealth, 2013)

Estimating Prediction Certainty in Decision Trees. - Eduardo P. Costa; Sicco Verwer; Hendrik Blockeel (IDA, 2013)

Sharing confidential data for algorithm development by multiple imputation. - Sicco Verwer; Susan W. van den Braak; Sunil Choenni (SSDBM, 2013)

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (CoRR, 2013)

Software model synthesis using satisfiability solvers. - Marijn Heule; Sicco Verwer (Empir. Softw. Eng., 2013)

Combining and Analyzing Judicial Databases. - Susan W. van den Braak; Sunil Choenni; Sicco Verwer (Discrimination and Privacy in the Information Society, 2013)

Introducing Positive Discrimination in Predictive Models. - Sicco Verwer; Toon Calders (Discrimination and Privacy in the Information Society, 2013)

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. - Rick Smetsers; Michele Volpato; Frits W. Vaandrager; Sicco Verwer (ICGI, 2014)

Learning optimization models in the presence of unknown relations. - Sicco Verwer; Yingqian Zhang 001; Qing Chuan Ye (CoRR, 2014)

Improving active Mealy machine learning for protocol conformance testing. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (Mach. Learn., 2014)

PAutomaC: a probabilistic automata and hidden Markov models learning competition. - Sicco Verwer; Rémi Eyraud; Colin de la Higuera (Mach. Learn., 2014)

Merging Partially Labelled Trees: Hardness and a DeclarativeProgramming Solution. - Anthony Labarre; Sicco Verwer (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Regular inference as vertex coloring. - Christophe Costa Florêncio; Sicco Verwer (Theor. Comput. Sci., 2014)

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. - Maurice Bruynooghe; Hendrik Blockeel; Bart Bogaerts 001; Broes De Cat; Stef De Pooter; Joachim Jansen; Anthony Labarre; Jan Ramon; Marc Denecker; Sicco Verwer (Theory Pract. Log. Program., 2015)

Behavioral clustering of non-stationary IP flow record data. - Christian A. Hammerschmidt; Samuel Marchal; Radu State; Sicco Verwer (CNSM, 2016)

Results of the Sequence PredIction ChallengE (SPiCe): a Competition on Learning the Next Symbol in a Sequence. - Borja Balle; Rémi Eyraud; Franco M. Luque; Ariadna Quattoni; Sicco Verwer (ICGI, 2016)

Learning Deterministic Finite Automata from Infinite Alphabets. - Gaetano Pellegrino; Christian A. Hammerschmidt; Qin Lin 001; Sicco Verwer (ICGI, 2016)

International Conference on Grammatical Inference 2016: Preface. - Sicco Verwer; Menno van Zaanen; Rick Smetsers (ICGI, 2016)

Efficient Learning of Communication Profiles from IP Flow Records. - Christian A. Hammerschmidt; Samuel Marchal; Radu State; Gaetano Pellegrino; Sicco Verwer (LCN, 2016)

Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. - Marcos L. P. Bueno; Arjen Hommersom; Peter J. F. Lucas; Sicco Verwer; Alexis Linard (Probabilistic Graphical Models, 2016)

Interpreting Finite Automata for Sequential Data. - Christian Albert Hammerschmidt; Sicco Verwer; Qin Lin 001; Radu State (CoRR, 2016)

Complementing Model Learning with Mutation-Based Fuzzing. - Rick Smetsers; Joshua Moerman; Mark Janssen; Sicco Verwer (CoRR, 2016)

Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization. - Sicco Verwer; Yingqian Zhang 001 (CPAIOR, 2017)

flexfringe: A Passive Automaton Learning Package. - Sicco Verwer; Christian A. Hammerschmidt (ICSME, 2017)

An Experience Report on Applying Passive Learning in a Large-Scale Payment Company. - Rick Wieman; Mauricio Finavaro Aniche; Willem Lobbezoo; Sicco Verwer; Arie van Deursen (ICSME, 2017)

Learning behavioral fingerprints from Netflows using Timed Automata. - Gaetano Pellegrino; Qin Lin 001; Christian A. Hammerschmidt; Sicco Verwer (IM, 2017)

Reliable Machine Learning for Networking: Key Issues and Approaches. - Christian A. Hammerschmidt; Sebastian Garcia; Sicco Verwer; Radu State (LCN, 2017)

Auction optimization using regression trees and linear models as integer programs. - Sicco Verwer; Yingqian Zhang 001; Qing Chuan Ye (Artif. Intell., 2017)

Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms. - Christian A. Hammerschmidt; Radu State; Sicco Verwer (CoRR, 2017)

Learning Pairwise Disjoint Simple Languages from Positive Examples. - Alexis Linard; Rick Smetsers; Frits W. Vaandrager; Umar Waqas; Joost van Pinxten; Sicco Verwer (CoRR, 2017)

Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata. - Xiaoran Liu; Qin Lin 001; Sicco Verwer; Dmitri Jarnikov (CoRR, 2017)

Improved privacy of dynamic group services. - Thijs Veugen; Jeroen Doumen; Zekeriya Erkin; Gaetano Pellegrino; Sicco Verwer; Jos H. Weber (EURASIP J. Inf. Secur., 2017)

TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems. - Qin Lin 001; Sridhar Adepu; Sicco Verwer; Aditya Mathur (AsiaCCS, 2018)

Vulnerability Detection on Mobile Applications Using State Machine Inference. - Wesley van der Lee; Sicco Verwer (EuroS&P Workshops, 2018)

Learning fuzzy decision trees using integer programming. - Jason Rhuggenaath; Yingqian Zhang 001; Alp Akcay; Uzay Kaymak; Sicco Verwer (FUZZ-IEEE, 2018)

Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving. - Yihuan Zhang; Qin Lin 001; Jun Wang 025; Sicco Verwer; John M. Dolan (IEEE Trans. Intell. Veh., 2018)

Learning Optimal Classification Trees Using a Binary Linear Program Formulation. - Sicco Verwer; Yingqian Zhang 001 (AAAI, 2019)

Using Datasets from Industrial Control Systems for Cyber Security Research and Education. - Qin Lin 001; Sicco Verwer; Robert E. Kooij; Aditya Mathur (CRITIS, 2019)

MalPaCA: Malware Packet Sequence Clustering and Analysis. - Azqa Nadeem; Christian A. Hammerschmidt; Carlos Hernandez Gañán; Sicco Verwer (CoRR, 2019)

Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data. - Qin Lin 001; Sicco Verwer; John M. Dolan (CoRR, 2019)

Solving bin-packing problems under privacy preservation: Possibilities and trade-offs. - Rowan Hoogervorst; Yingqian Zhang 001; Gamze Tillem; Zekeriya Erkin; Sicco Verwer (Inf. Sci., 2019)

MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors. - Qin Lin 001; Yihuan Zhang; Sicco Verwer; Jun Wang 025 (IEEE Trans. Intell. Transp. Syst., 2019)

Continuous Surrogate-Based Optimization Algorithms Are Well-Suited for Expensive Discrete Problems. - Rickard Karlsson; Laurens Bliek; Sicco Verwer; Mathijs de Weerdt (BNAIC/BENELEARN (Selected Papers), 2020)

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 (AISec@CCS, 2020)

Safety Verification of a Data-driven Adaptive Cruise Controller. - Qin Lin 001; Sicco Verwer; John M. Dolan (IV, 2020)

Hybrid Connection and Host Clustering for Community Detection in Spatial-Temporal Network Data. - Mark Patrick Roeling; Azqa Nadeem; Sicco Verwer (PKDD/ECML Workshops, 2020)

Black-box Mixed-Variable Optimisation using a Surrogate Model that Satisfies Integer Constraints. - Laurens Bliek; Sicco Verwer; Mathijs de Weerdt (CoRR, 2020)

Enabling Visual Analytics via Alert-driven Attack Graphs. - Azqa Nadeem; Sicco Verwer; Stephen Moskal; Shanchieh Jay Yang (CCS, 2021)

Black-box mixed-variable optimisation using a surrogate model that satisfies integer constraints. - Laurens Bliek; Arthur Guijt; Sicco Verwer; Mathijs de Weerdt (GECCO Companion, 2021)

Efficient Training of Robust Decision Trees Against Adversarial Examples. - Daniël Vos; Sicco Verwer (ICML, 2021)

SAGE: Intrusion Alert-driven Attack Graph Extractor. - Azqa Nadeem; Sicco Verwer; Shanchieh Jay Yang (VizSec, 2021)

Black-box combinatorial optimization using models with integer-valued minima. - Laurens Bliek; Sicco Verwer; Mathijs de Weerdt (Ann. Math. Artif. Intell., 2021)

Data driven design for online industrial auctions. - Qing Chuan Ye; Jason Rhuggenaath; Yingqian Zhang 001; Sicco Verwer; Michiel Jurgen Hilgeman (Ann. Math. Artif. Intell., 2021)

EXPObench: Benchmarking Surrogate-based Optimisation Algorithms on Expensive Black-box Functions. - Laurens Bliek; Arthur Guijt; Rickard Karlsson; Sicco Verwer; Mathijs de Weerdt (CoRR, 2021)

Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster. - Clinton Cao; Agathe Blaise; Sicco Verwer; Filippo Rebecchi (ARES, 2022)

Robust Optimal Classification Trees against Adversarial Examples. - Daniël Vos; Sicco Verwer (AAAI, 2022)

SECLEDS: Sequence Clustering in Evolving Data Streams via Multiple Medoids and Medoid Voting. - Azqa Nadeem; Sicco Verwer (ECML/PKDD (1), 2022)

Adversarially Robust Decision Tree Relabeling. - Daniël Vos; Sicco Verwer (ECML/PKDD (3), 2022)

The First AI4TSP Competition: Learning to Solve Stochastic Routing Problems. - Laurens Bliek; Paulo da Costa 001; Reza Refaei Afshar; Yingqian Zhang 001; Tom Catshoek; Daniël Vos; Sicco Verwer; Fynn Schmitt-Ulms; André Hottung; Tapan Shah 001; Meinolf Sellmann; Kevin Tierney; et al. (CoRR, 2022)

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata. - Sicco Verwer; Christian A. Hammerschmidt (CoRR, 2022)

Robust Attack Graph Generation. - Dennis Mouwen; Sicco Verwer; Azqa Nadeem (CoRR, 2022)

Learning state machines via efficient hashing of future traces. - Robert Baumgartner; Sicco Verwer (CoRR, 2022)

Encoding NetFlows for State-Machine Learning. - Clinton Cao; Annibale Panichella; Sicco Verwer; Agathe Blaise; Filippo Rebecchi (CoRR, 2022)

Alert-Driven Attack Graph Generation Using S-PDFA. - Azqa Nadeem; Sicco Verwer; Stephen Moskal; Shanchieh Jay Yang (IEEE Trans. Dependable Secur. Comput., 2022)

Intelligent Malware Defenses. - Azqa Nadeem; Vera Rimmer; Wouter Joosen; Sicco Verwer (Security and Artificial Intelligence, 2022)

Open-World Network Intrusion Detection. - Vera Rimmer; Azqa Nadeem; Sicco Verwer; Davy Preuveneers; Wouter Joosen (Security and Artificial Intelligence, 2022)

Baseband-Function Placement With Multi-Task Traffic Prediction for 5G Radio Access Networks. - Ligia Maria Moreira Zorello; Laurens Bliek; Sebastian Troia; Tias Guns; Sicco Verwer; Guido Maier (IEEE Trans. Netw. Serv. Manag., 2022)

SoK: Explainable Machine Learning for Computer Security Applications. - Azqa Nadeem; Daniël Vos; Clinton Cao; Luca Pajola; Simon Dieck; Robert Baumgartner; Sicco Verwer (EuroS&P, 2023)

Learning state machines from data streams: A generic strategy and an improved heuristic. - Robert Baumgartner; Sicco Verwer (ICGI, 2023)

Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines. - Simon Dieck; Sicco Verwer (ICGI, 2023)

Detecting Changes in Loop Behavior for Active Learning. - Bram Verboom; Simon Dieck; Sicco Verwer (ICGI, 2023)

Optimal Decision Tree Policies for Markov Decision Processes. - Daniël Vos; Sicco Verwer (IJCAI, 2023)

Differentially-Private Decision Trees with Probabilistic Robustness to Data Poisoning. - Daniël Vos; Jelle Vos; Tianyu Li 002; Zekeriya Erkin; Sicco Verwer (CoRR, 2023)

The first AI4TSP competition: Learning to solve stochastic routing problems. - Yingqian Zhang 001; Laurens Bliek; Paulo da Costa 001; Reza Refaei Afshar; Robbert Reijnen; Tom Catshoek; Daniël Vos; Sicco Verwer; Fynn Schmitt-Ulms; André Hottung; Tapan Shah 001; Meinolf Sellmann; et al. (Artif. Intell., 2023)

Benchmarking surrogate-based optimisation algorithms on expensive black-box functions. - Laurens Bliek; Arthur Guijt; Rickard Karlsson; Sicco Verwer; Mathijs de Weerdt (Appl. Soft Comput., 2023)

CATMA: Conformance Analysis Tool For Microservice Applications. - Clinton Cao; Simon Schneider; Nicolás E. Díaz Ferreyra; Sicco Verwer; Annibale Panichella; Riccardo Scandariato (ICSE Companion, 2024)

PDFA Distillation with Error Bound Guarantees. - Robert Baumgartner; Sicco Verwer (CIAA, 2024)

On Bidirectional Deterministic Finite Automata. - Simon Dieck; Sicco Verwer (CIAA, 2024)

Black-box optimization for anticipated baseband-function placement in 5G networks. - Ligia Maria Moreira Zorello; Laurens Bliek; Sebastian Troia; Guido Maier; Sicco Verwer (Comput. Networks, 2024)

Database-assisted automata learning. - Hielke Walinga; Robert Baumgartner; Sicco Verwer (CoRR, 2024)

PDFA Distillation via String Probability Queries. - Robert Baumgartner; Sicco Verwer (CoRR, 2024)

Optimizing Interpretable Decision Tree Policies for Reinforcement Learning. - Daniël Vos; Sicco Verwer (CoRR, 2024)

Optimal or Greedy Decision Trees? Revisiting their Objectives, Tuning, and Performance. - Jacobus G. M. van der Linden; Daniël Vos; Mathijs Michiel de Weerdt; Sicco Verwer; Emir Demirovic (CoRR, 2024)

State Frequency Estimation for Anomaly Detection. - Clinton Cao; Agathe Blaise; Annibale Panichella; Sicco Verwer (CoRR, 2024)

Real-Time Data-Driven Maintenance Logistics: A Public-Private Collaboration. - Willem van Jaarsveld; Alp Akçay; Laurens Bliek; Paulo da Costa 001; Mathijs de Weerdt; Rik Eshuis; Stella Kapodistria; Uzay Kaymak; Verus Pronk; Geert-Jan van Houtum; Peter Verleijsdonk; Sicco Verwer; et al. (Commit2Data, 2024)

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic. - Clinton Cao; Annibale Panichella; Sicco Verwer (AST@ICSE, 2025)

An Active Learning Algorithm for Bidirectional Deterministic Finite Automata. - Simon Dieck; Sicco Verwer (CIAA, 2025)