Sicco Verwer

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 74

Top Venues

Delft University of Technology, Netherlands (PHD)

Education History

Delft University of Technology, Netherlands

PHD

Publications

Robert Baumgartner, Sicco Verwer
PDFA Distillation via String Probability Queries. CoRR (2024)
Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato
CATMA: Conformance Analysis Tool For Microservice Applications. CoRR (2024)
Ligia Maria Moreira Zorello, Laurens Bliek, Sebastian Troia, Guido Maier, Sicco Verwer
Black-box optimization for anticipated baseband-function placement in 5G networks. Comput. Networks 245 (2024)
Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato
CATMA: Conformance Analysis Tool For Microservice Applications. ICSE Companion (2024)
Hielke Walinga, Robert Baumgartner, Sicco Verwer
Database-assisted automata learning. CoRR (2024)
Yingqian Zhang, Laurens Bliek, Paulo da Costa, Reza Refaei Afshar, Robbert Reijnen, Tom Catshoek, Daniël Vos, Sicco Verwer, Fynn Schmitt-Ulms, André Hottung, Tapan Shah, Meinolf Sellmann, Kevin Tierney, Carl Perreault-Lafleur, Caroline Leboeuf, Federico Bobbio, Justine Pepin, Warley Almeida Silva, Ricardo Gama, Hugo L. Fernandes, Martin Zaefferer, Manuel López-Ibáñez, Ekhine Irurozki
The first AI4TSP competition: Learning to solve stochastic routing problems. Artif. Intell. 319 (2023)
Simon Dieck, Sicco Verwer
Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines. ICGI (2023)
Azqa Nadeem, Daniël Vos, Clinton Cao, Luca Pajola, Simon Dieck, Robert Baumgartner, Sicco Verwer
SoK: Explainable Machine Learning for Computer Security Applications. EuroS&P (2023)
Bram Verboom, Simon Dieck, Sicco Verwer
Detecting Changes in Loop Behavior for Active Learning. ICGI (2023)
Robert Baumgartner, Sicco Verwer
Learning state machines from data streams: A generic strategy and an improved heuristic. ICGI (2023)
Daniël Vos, Jelle Vos, Tianyu Li, Zekeriya Erkin, Sicco Verwer
Differentially-Private Decision Trees with Probabilistic Robustness to Data Poisoning. CoRR (2023)
Daniël Vos, Sicco Verwer
Optimal Decision Tree Policies for Markov Decision Processes. IJCAI (2023)
Laurens Bliek, Arthur Guijt, Rickard Karlsson, Sicco Verwer, Mathijs de Weerdt
Benchmarking surrogate-based optimisation algorithms on expensive black-box functions. Appl. Soft Comput. 147 (2023)
Daniël Vos, Sicco Verwer
Optimal Decision Tree Policies for Markov Decision Processes. CoRR (2023)
Clinton Cao, Agathe Blaise, Sicco Verwer, Filippo Rebecchi
Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster. ARES (2022)
Clinton Cao, Annibale Panichella, Sicco Verwer, Agathe Blaise, Filippo Rebecchi
Encoding NetFlows for State-Machine Learning. CoRR (2022)
Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang
Alert-Driven Attack Graph Generation Using S-PDFA. IEEE Trans. Dependable Secur. Comput. 19 (2) (2022)
Azqa Nadeem, Sicco Verwer
SECLEDS: Sequence Clustering in Evolving Data Streams via Multiple Medoids and Medoid Voting. ECML/PKDD (1) (2022)
Azqa Nadeem, Daniël Vos, Clinton Cao, Luca Pajola, Simon Dieck, Robert Baumgartner, Sicco Verwer
SoK: Explainable Machine Learning for Computer Security Applications. CoRR (2022)
Daniël Vos, Sicco Verwer
Robust Optimal Classification Trees against Adversarial Examples. AAAI (2022)
Sicco Verwer, Christian A. Hammerschmidt
FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata. CoRR (2022)
Azqa Nadeem, Sicco Verwer
SECLEDS: Sequence Clustering in Evolving Data Streams via Multiple Medoids and Medoid Voting. CoRR (2022)
Daniël Vos, Sicco Verwer
Adversarially Robust Decision Tree Relabeling. ECML/PKDD (3) (2022)
Ligia Maria Moreira Zorello, Laurens Bliek, Sebastian Troia, Tias Guns, Sicco Verwer, Guido Maier
Baseband-Function Placement With Multi-Task Traffic Prediction for 5G Radio Access Networks. IEEE Trans. Netw. Serv. Manag. 19 (4) (2022)
Dennis Mouwen, Sicco Verwer, Azqa Nadeem
Robust Attack Graph Generation. CoRR (2022)
Clinton Cao, Agathe Blaise, Sicco Verwer, Filippo Rebecchi
Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster. CoRR (2022)
Robert Baumgartner, Sicco Verwer
Learning state machines via efficient hashing of future traces. CoRR (2022)
Laurens Bliek, Paulo da Costa, Reza Refaei Afshar, Yingqian Zhang, Tom Catshoek, Daniël Vos, Sicco Verwer, Fynn Schmitt-Ulms, André Hottung, Tapan Shah, Meinolf Sellmann, Kevin Tierney, Carl Perreault-Lafleur, Caroline Leboeuf, Federico Bobbio, Justine Pepin, Warley Almeida Silva, Ricardo Gama, Hugo L. Fernandes, Martin Zaefferer, Manuel López-Ibáñez, Ekhine Irurozki
The First AI4TSP Competition: Learning to Solve Stochastic Routing Problems. CoRR (2022)
Daniël Vos, Sicco Verwer
Efficient Training of Robust Decision Trees Against Adversarial Examples. ICML (2021)
Daniël Vos, Sicco Verwer
Robust Optimal Classification Trees Against Adversarial Examples. CoRR (2021)
Azqa Nadeem, Sicco Verwer, Shanchieh Jay Yang
SAGE: Intrusion Alert-driven Attack Graph Extractor. VizSec (2021)
Laurens Bliek, Arthur Guijt, Rickard Karlsson, Sicco Verwer, Mathijs de Weerdt
EXPObench: Benchmarking Surrogate-based Optimisation Algorithms on Expensive Black-box Functions. CoRR (2021)
Laurens Bliek, Arthur Guijt, Sicco Verwer, Mathijs de Weerdt
Black-box mixed-variable optimisation using a surrogate model that satisfies integer constraints. GECCO Companion (2021)
Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang
Enabling Visual Analytics via Alert-driven Attack Graphs. CCS (2021)
Qing Chuan Ye, Jason Rhuggenaath, Yingqian Zhang, Sicco Verwer, Michiel Jurgen Hilgeman
Data driven design for online industrial auctions. Ann. Math. Artif. Intell. 89 (7) (2021)
Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang
SAGE: Intrusion Alert-driven Attack Graph Extractor. CoRR (2021)
Laurens Bliek, Sicco Verwer, Mathijs de Weerdt
Black-box combinatorial optimization using models with integer-valued minima. Ann. Math. Artif. Intell. 89 (7) (2021)
Rickard Karlsson, Laurens Bliek, Sicco Verwer, Mathijs de Weerdt
Continuous surrogate-based optimization algorithms are well-suited for expensive discrete problems. CoRR (2020)
Qin Lin, Sicco Verwer, John M. Dolan
Safety Verification of a Data-driven Adaptive Cruise Controller. IV (2020)
Mark Patrick Roeling, Azqa Nadeem, Sicco Verwer
Hybrid Connection and Host Clustering for Community Detection in Spatial-Temporal Network Data. PKDD/ECML Workshops (2020)
Laurens Bliek, Sicco Verwer, Mathijs de Weerdt
Black-box Mixed-Variable Optimisation using a Surrogate Model that Satisfies Integer Constraints. CoRR (2020)
Rickard Karlsson, Laurens Bliek, Sicco Verwer, Mathijs de Weerdt
Continuous Surrogate-Based Optimization Algorithms Are Well-Suited for Expensive Discrete Problems. BNAIC/BENELEARN (Selected Papers) (2020)
Sicco Verwer, Azqa Nadeem, Christian A. Hammerschmidt, Laurens Bliek, Abdullah Al-Dujaili, Una-May O'Reilly
The Robust Malware Detection Challenge and Greedy Random Accelerated Multi-Bit Search. AISec@CCS (2020)
Daniël Vos, Sicco Verwer
Efficient Training of Robust Decision Trees Against Adversarial Examples. CoRR (2020)
Rowan Hoogervorst, Yingqian Zhang, Gamze Tillem, Zekeriya Erkin, Sicco Verwer
Solving bin-packing problems under privacy preservation: Possibilities and trade-offs. Inf. Sci. 500 (2019)
Laurens Bliek, Sicco Verwer, Mathijs de Weerdt
Black-box Combinatorial Optimization using Models with Integer-valued Minima. CoRR (2019)
Qin Lin, Sicco Verwer, Robert E. Kooij, Aditya Mathur
Using Datasets from Industrial Control Systems for Cyber Security Research and Education. CRITIS (2019)
Qin Lin, Yihuan Zhang, Sicco Verwer, Jun Wang
MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors. IEEE Trans. Intell. Transp. Syst. 20 (2) (2019)
Qin Lin, Sicco Verwer, John M. Dolan
Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data. CoRR (2019)
Azqa Nadeem, Christian A. Hammerschmidt, Carlos Hernandez Gañán, Sicco Verwer
MalPaCA: Malware Packet Sequence Clustering and Analysis. CoRR (2019)
Sicco Verwer, Yingqian Zhang
Learning Optimal Classification Trees Using a Binary Linear Program Formulation. BNAIC/BENELEARN (2019)
Sicco Verwer, Yingqian Zhang
Learning Optimal Classification Trees Using a Binary Linear Program Formulation. AAAI (2019)
Jason Rhuggenaath, Yingqian Zhang, Alp Akcay, Uzay Kaymak, Sicco Verwer
Learning fuzzy decision trees using integer programming. FUZZ-IEEE (2018)
Qin Lin, Sridhar Adepu, Sicco Verwer, Aditya Mathur
TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems. AsiaCCS (2018)
Yihuan Zhang, Qin Lin, Jun Wang, Sicco Verwer, John M. Dolan
Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving. IEEE Trans. Intell. Veh. 3 (3) (2018)
Wesley van der Lee, Sicco Verwer
Vulnerability Detection on Mobile Applications Using State Machine Inference. EuroS&P Workshops (2018)
Sicco Verwer, Yingqian Zhang
Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization. CPAIOR (2017)
Gaetano Pellegrino, Qin Lin, Christian A. Hammerschmidt, Sicco Verwer
Learning behavioral fingerprints from Netflows using Timed Automata. IM (2017)
Sicco Verwer, Yingqian Zhang, Qing Chuan Ye
Auction optimization using regression trees and linear models as integer programs. Artif. Intell. 244 (2017)
Xiaoran Liu, Qin Lin, Sicco Verwer, Dmitri Jarnikov
Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata. CoRR (2017)
Rick Wieman, Mauricio Finavaro Aniche, Willem Lobbezoo, Sicco Verwer, Arie van Deursen
An Experience Report on Applying Passive Learning in a Large-Scale Payment Company. ICSME (2017)
Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer
Learning Pairwise Disjoint Simple Languages from Positive Examples. CoRR (2017)
Thijs Veugen, Jeroen Doumen, Zekeriya Erkin, Gaetano Pellegrino, Sicco Verwer, Jos H. Weber
Improved privacy of dynamic group services. EURASIP J. Inf. Secur. 2017 (2017)
Christian A. Hammerschmidt, Radu State, Sicco Verwer
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms. CoRR (2017)
Christian A. Hammerschmidt, Sebastian Garcia, Sicco Verwer, Radu State
Reliable Machine Learning for Networking: Key Issues and Approaches. LCN (2017)
Sicco Verwer, Christian A. Hammerschmidt
flexfringe: A Passive Automaton Learning Package. ICSME (2017)
Gaetano Pellegrino, Christian A. Hammerschmidt, Qin Lin, Sicco Verwer
Learning Deterministic Finite Automata from Infinite Alphabets. ICGI (2016)
Christian A. Hammerschmidt, Samuel Marchal, Radu State, Gaetano Pellegrino, Sicco Verwer
Efficient Learning of Communication Profiles from IP Flow Records. LCN (2016)
Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Sicco Verwer, Alexis Linard
Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case. Probabilistic Graphical Models (2016)
Borja Balle, Rémi Eyraud, Franco M. Luque, Ariadna Quattoni, Sicco Verwer
Results of the Sequence PredIction ChallengE (SPiCe): a Competition on Learning the Next Symbol in a Sequence. ICGI (2016)
Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer
Complementing Model Learning with Mutation-Based Fuzzing. CoRR (2016)
Christian A. Hammerschmidt, Samuel Marchal, Radu State, Sicco Verwer
Behavioral clustering of non-stationary IP flow record data. CNSM (2016)
Christian Albert Hammerschmidt, Sicco Verwer, Qin Lin, Radu State
Interpreting Finite Automata for Sequential Data. CoRR (2016)
Sicco Verwer, Menno van Zaanen, Rick Smetsers
International Conference on Grammatical Inference 2016: Preface. ICGI (2016)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
. Theory Pract. Log. Program. 15 (6) (2015)
Sicco Verwer, Rémi Eyraud, Colin de la Higuera
PAutomaC: a probabilistic automata and hidden Markov models learning competition. Mach. Learn. 96 (1-2) (2014)
Sicco Verwer, Yingqian Zhang, Qing Chuan Ye
Learning optimization models in the presence of unknown relations. CoRR (2014)
Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. ICGI (2014)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96 (1-2) (2014)
Christophe Costa Florêncio, Sicco Verwer
Regular inference as vertex coloring. Theor. Comput. Sci. 558 (2014)
Anthony Labarre, Sicco Verwer
Merging Partially Labelled Trees: Hardness and a DeclarativeProgramming Solution. IEEE ACM Trans. Comput. Biol. Bioinform. 11 (2) (2014)
Marijn Heule, Sicco Verwer
Software model synthesis using satisfiability solvers. Empir. Softw. Eng. 18 (4) (2013)
Eduardo P. Costa, Sicco Verwer, Hendrik Blockeel
Estimating Prediction Certainty in Decision Trees. IDA (2013)
Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. CoRR (2013)
Sicco Verwer, Susan W. van den Braak, Sunil Choenni
Sharing confidential data for algorithm development by multiple imputation. SSDBM (2013)
Arjen Hommersom, Sicco Verwer, Peter J. F. Lucas
Discovering Probabilistic Structures of Healthcare Processes. KR4HC/ProHealth (2013)
Sicco Verwer, Yingqian Zhang
Revenue prediction in budget-constrained sequential auctions with complementarities. AAMAS (2012)
Sicco Verwer, Rémi Eyraud, Colin de la Higuera
Results of the PAutomaC Probabilistic Automaton Learning Competition. ICGI (2012)
Christophe Costa Florêncio, Sicco Verwer
Regular Inference as Vertex Coloring. ALT (2012)
Yingqian Zhang, Sicco Verwer
Mechanism for Robust Procurements. PRIMA (2012)
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
Efficiently identifying deterministic real-time automata from labeled data. Mach. Learn. 86 (3) (2012)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Learning and Testing the Bounded Retransmission Protocol. ICGI (2012)
Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer
Modeling Machine Learning and Data Mining Problems with FO(·). ICLP (Technical Communications) (2012)
Faisal Kamiran, Asim Karim, Sicco Verwer, Heike Goudriaan
Classifying Socially Sensitive Data Without Discrimination: An Analysis of a Crime Suspect Dataset. ICDM Workshops (2012)
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
The efficiency of identifying timed automata and the power of clocks. Inf. Comput. 209 (3) (2011)
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
Learning Driving Behavior by Timed Syntactic Pattern Recognition. IJCAI (2011)
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. ICGI (2010)
Ekaterina Vasilyeva, Mykola Pechenizkiy, Aleksandra Tesanovic, Evgeny Knutov, Sicco Verwer, Paul De Bra
Towards EDM Framework for Personalization of Information Services in RPM Systems. EDM (2010)
Marijn Heule, Sicco Verwer
Exact DFA Identification Using SAT Solvers. ICGI (2010)
Toon Calders, Sicco Verwer
Three naive Bayes approaches for discrimination-free classification. Data Min. Knowl. Discov. 21 (2) (2010)

Sicco Verwer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sicco Verwer