Sicco Verwer

According to our database, Sicco Verwer authored at least 105 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Real-Time Data-Driven Maintenance Logistics: A Public-Private Collaboration.

Willem van Jaarsveld, Alp Akçay, Laurens Bliek, Paulo da Costa, Mathijs de Weerdt, Rik Eshuis, Stella Kapodistria, Uzay Kaymak, Verus Pronk, Geert-Jan van Houtum, Peter Verleijsdonk, Sicco Verwer, Simon Voorberg, Yingqian Zhang

Proceedings of the Commit2Data, 2024

State Frequency Estimation for Anomaly Detection.

Clinton Cao, Agathe Blaise, Annibale Panichella, Sicco Verwer

CoRR, 2024

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic.

Clinton Cao, Annibale Panichella, 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

Optimizing Interpretable Decision Tree Policies for Reinforcement Learning.

Daniël Vos, Sicco Verwer

CoRR, 2024

PDFA Distillation via String Probability Queries.

Robert Baumgartner, Sicco Verwer

CoRR, 2024

Database-assisted automata learning.

Hielke Walinga, Robert Baumgartner, Sicco Verwer

CoRR, 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

On Bidirectional Deterministic Finite Automata.

Simon Dieck, Sicco Verwer

Proceedings of the Implementation and Application of Automata, 2024

PDFA Distillation with Error Bound Guarantees.

Robert Baumgartner, Sicco Verwer

Proceedings of the Implementation and Application of Automata, 2024

CATMA: Conformance Analysis Tool For Microservice Applications.

Clinton Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, Sicco Verwer, Annibale Panichella, Riccardo Scandariato

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

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., November, 2023

The first AI4TSP competition: Learning to solve stochastic routing problems.

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

Artif. Intell., June, 2023

Differentially-Private Decision Trees with Probabilistic Robustness to Data Poisoning.

Daniël Vos, Jelle Vos, Tianyu Li, Zekeriya Erkin, Sicco Verwer

CoRR, 2023

Optimal Decision Tree Policies for Markov Decision Processes.

Daniël Vos, Sicco Verwer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Detecting Changes in Loop Behavior for Active Learning.

Bram Verboom, Simon Dieck, Sicco Verwer

Proceedings of the International Conference on Grammatical Inference, 2023

Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines.

Simon Dieck, Sicco Verwer

Proceedings of the International Conference on Grammatical Inference, 2023

Learning state machines from data streams: A generic strategy and an improved heuristic.

Robert Baumgartner, Sicco Verwer

Proceedings of the International Conference on Grammatical Inference, 2023

SoK: Explainable Machine Learning for Computer Security Applications.

Azqa Nadeem, Daniël Vos, Clinton Cao, Luca Pajola, Simon Dieck, Robert Baumgartner, Sicco Verwer

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

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., December, 2022

Open-World Network Intrusion Detection.

Vera Rimmer, Azqa Nadeem, Sicco Verwer, Davy Preuveneers, Wouter Joosen

Security and Artificial Intelligence, 2022

Intelligent Malware Defenses.

Azqa Nadeem, Vera Rimmer, Wouter Joosen, Sicco Verwer

Security and Artificial Intelligence, 2022

Alert-Driven Attack Graph Generation Using S-PDFA.

Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang

IEEE Trans. Dependable Secur. Comput., 2022

Encoding NetFlows for State-Machine Learning.

Clinton Cao, Annibale Panichella, Sicco Verwer, Agathe Blaise, Filippo Rebecchi

CoRR, 2022

Learning state machines via efficient hashing of future traces.

Robert Baumgartner, Sicco Verwer

CoRR, 2022

Robust Attack Graph Generation.

Dennis Mouwen, Sicco Verwer, Azqa Nadeem

CoRR, 2022

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata.

Sicco Verwer, Christian A. Hammerschmidt

CoRR, 2022

The First AI4TSP Competition: Learning to Solve Stochastic Routing Problems.

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

CoRR, 2022

Adversarially Robust Decision Tree Relabeling.

Daniël Vos, Sicco Verwer

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

SECLEDS: Sequence Clustering in Evolving Data Streams via Multiple Medoids and Medoid Voting.

Azqa Nadeem, Sicco Verwer

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Robust Optimal Classification Trees against Adversarial Examples.

Daniël Vos, Sicco Verwer

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster.

Clinton Cao, Agathe Blaise, Sicco Verwer, Filippo Rebecchi

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

SAGE: Intrusion Alert-driven Attack Graph Extractor.

Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang

CoRR, 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

Data driven design for online industrial auctions.

Qing Chuan Ye, Jason Rhuggenaath, Yingqian Zhang, Sicco Verwer, Michiel Jurgen Hilgeman

Ann. Math. Artif. Intell., 2021

Black-box combinatorial optimization using models with integer-valued minima.

Laurens Bliek, Sicco Verwer, Mathijs de Weerdt

Ann. Math. Artif. Intell., 2021

SAGE: Intrusion Alert-driven Attack Graph Extractor.

Azqa Nadeem, Sicco Verwer, Shanchieh Jay Yang

Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2021

Efficient Training of Robust Decision Trees Against Adversarial Examples.

Daniël Vos, Sicco Verwer

Proceedings of the 38th International Conference on Machine Learning, 2021

Black-box mixed-variable optimisation using a surrogate model that satisfies integer constraints.

Laurens Bliek, Arthur Guijt, Sicco Verwer, Mathijs de Weerdt

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Enabling Visual Analytics via Alert-driven Attack Graphs.

Azqa Nadeem, Sicco Verwer, Stephen Moskal, Shanchieh Jay Yang

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Black-box Mixed-Variable Optimisation using a Surrogate Model that Satisfies Integer Constraints.

Laurens Bliek, Sicco Verwer, Mathijs de Weerdt

CoRR, 2020

Hybrid Connection and Host Clustering for Community Detection in Spatial-Temporal Network Data.

Mark Patrick Roeling, Azqa Nadeem, Sicco Verwer

Proceedings of the ECML PKDD 2020 Workshops, 2020

Safety Verification of a Data-driven Adaptive Cruise Controller.

Qin Lin, Sicco Verwer, John M. Dolan

Proceedings of the IEEE Intelligent Vehicles Symposium, 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

Proceedings of the AISec@CCS 2020: Proceedings of the 13th ACM Workshop on Artificial Intelligence and Security, 2020

Continuous Surrogate-Based Optimization Algorithms Are Well-Suited for Expensive Discrete Problems.

Rickard Karlsson, Laurens Bliek, Sicco Verwer, Mathijs de Weerdt

Proceedings of the Artificial Intelligence and Machine Learning - 32nd Benelux Conference, 2020

2019

MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors.

Qin Lin, Yihuan Zhang, Sicco Verwer, Jun Wang

IEEE Trans. Intell. Transp. Syst., 2019

Solving bin-packing problems under privacy preservation: Possibilities and trade-offs.

Rowan Hoogervorst, Yingqian Zhang, Gamze Tillem, Zekeriya Erkin, Sicco Verwer

Inf. Sci., 2019

Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data.

Qin Lin, Sicco Verwer, John M. Dolan

CoRR, 2019

MalPaCA: Malware Packet Sequence Clustering and Analysis.

Azqa Nadeem, Christian A. Hammerschmidt, Carlos Hernandez Gañán, Sicco Verwer

CoRR, 2019

Using Datasets from Industrial Control Systems for Cyber Security Research and Education.

Qin Lin, Sicco Verwer, Robert E. Kooij, Aditya Mathur

Proceedings of the Critical Information Infrastructures Security, 2019

Learning Optimal Classification Trees Using a Binary Linear Program Formulation.

Sicco Verwer, Yingqian Zhang

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Lane-Change Intention Estimation for Car-Following Control in Autonomous Driving.

Yihuan Zhang, Qin Lin, Jun Wang, Sicco Verwer, John M. Dolan

IEEE Trans. Intell. Veh., 2018

Learning fuzzy decision trees using integer programming.

Jason Rhuggenaath, Yingqian Zhang, Alp Akcay, Uzay Kaymak, Sicco Verwer

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

Vulnerability Detection on Mobile Applications Using State Machine Inference.

Wesley van der Lee, Sicco Verwer

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems.

Qin Lin, Sridhar Adepu, Sicco Verwer, Aditya Mathur

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

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

Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata.

Xiaoran Liu, Qin Lin, Sicco Verwer, Dmitri Jarnikov

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

Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms.

Christian A. Hammerschmidt, Radu State, Sicco Verwer

CoRR, 2017

Auction optimization using regression trees and linear models as integer programs.

Sicco Verwer, Yingqian Zhang, Qing Chuan Ye

Artif. Intell., 2017

Reliable Machine Learning for Networking: Key Issues and Approaches.

Christian A. Hammerschmidt, Sebastian Garcia, Sicco Verwer, Radu State

Proceedings of the 42nd IEEE Conference on Local Computer Networks, 2017

Learning behavioral fingerprints from Netflows using Timed Automata.

Gaetano Pellegrino, Qin Lin, Christian A. Hammerschmidt, Sicco Verwer

Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 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

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

flexfringe: A Passive Automaton Learning Package.

Sicco Verwer, Christian A. Hammerschmidt

Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization.

Sicco Verwer, Yingqian Zhang

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Complementing Model Learning with Mutation-Based Fuzzing.

Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer

CoRR, 2016

Interpreting Finite Automata for Sequential Data.

Christian Albert Hammerschmidt, Sicco Verwer, Qin Lin, Radu State

CoRR, 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

Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

Efficient Learning of Communication Profiles from IP Flow Records.

Christian A. Hammerschmidt, Samuel Marchal, Radu State, Gaetano Pellegrino, Sicco Verwer

Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016

International Conference on Grammatical Inference 2016: Preface.

Sicco Verwer, Menno van Zaanen, Rick Smetsers

Proceedings of the 13th International Conference on Grammatical Inference, 2016

Learning Deterministic Finite Automata from Infinite Alphabets.

Gaetano Pellegrino, Christian A. Hammerschmidt, Qin Lin, Sicco Verwer

Proceedings of the 13th International Conference on Grammatical Inference, 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

Proceedings of the 13th International Conference on Grammatical Inference, 2016

Behavioral clustering of non-stationary IP flow record data.

Christian A. Hammerschmidt, Samuel Marchal, Radu State, Sicco Verwer

Proceedings of the 12th International Conference on Network and Service Management, 2016

2015

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with <i>IDP3</i>.

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., 2015

2014

Regular inference as vertex coloring.

Christophe Costa Florêncio, Sicco Verwer

Theor. Comput. Sci., 2014

Merging Partially Labelled Trees: Hardness and a DeclarativeProgramming Solution.

Anthony Labarre, Sicco Verwer

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

PAutomaC: a probabilistic automata and hidden Markov models learning competition.

Sicco Verwer, Rémi Eyraud, Colin de la Higuera

Mach. Learn., 2014

Improving active Mealy machine learning for protocol conformance testing.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Mach. Learn., 2014

Learning optimization models in the presence of unknown relations.

Sicco Verwer, Yingqian Zhang, Qing Chuan Ye

CoRR, 2014

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning.

Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer

Proceedings of the 12th International Conference on Grammatical Inference, 2014

2013

Introducing Positive Discrimination in Predictive Models.

Sicco Verwer, Toon Calders

Proceedings of the Discrimination and Privacy in the Information Society, 2013

Combining and Analyzing Judicial Databases.

Susan W. van den Braak, Sunil Choenni, Sicco Verwer

Proceedings of the Discrimination and Privacy in the Information Society, 2013

Software model synthesis using satisfiability solvers.

Marijn Heule, Sicco Verwer

Empir. Softw. Eng., 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, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer

CoRR, 2013

Sharing confidential data for algorithm development by multiple imputation.

Sicco Verwer, Susan W. van den Braak, Sunil Choenni

Proceedings of the Conference on Scientific and Statistical Database Management, 2013

Estimating Prediction Certainty in Decision Trees.

Eduardo P. Costa, Sicco Verwer, Hendrik Blockeel

Proceedings of the Advances in Intelligent Data Analysis XII, 2013

Discovering Probabilistic Structures of Healthcare Processes.

Arjen Hommersom, Sicco Verwer, Peter J. F. Lucas

Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

2012

Efficiently identifying deterministic real-time automata from labeled data.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Mach. Learn., 2012

Results of the PAutomaC Probabilistic Automaton Learning Competition.

Sicco Verwer, Rémi Eyraud, Colin de la Higuera

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Learning and Testing the Bounded Retransmission Protocol.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Mechanism for Robust Procurements.

Yingqian Zhang, Sicco Verwer

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

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

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Classifying Socially Sensitive Data Without Discrimination: An Analysis of a Crime Suspect Dataset.

Faisal Kamiran, Asim Karim, Sicco Verwer, Heike Goudriaan

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

Revenue prediction in budget-constrained sequential auctions with complementarities.

Sicco Verwer, Yingqian Zhang

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

The efficiency of identifying timed automata and the power of clocks.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Inf. Comput., 2011

Learning Driving Behavior by Timed Syntactic Pattern Recognition.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the IJCAI 2011, 2011

2010

Efficient Identification of Timed Automata: Theory and practice.

Sicco Verwer

PhD thesis, 2010

Three naive Bayes approaches for discrimination-free classification.

Toon Calders, Sicco Verwer

Data Min. Knowl. Discov., 2010

A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

Exact DFA Identification Using SAT Solvers.

Marijn Heule, Sicco Verwer

Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

Towards EDM Framework for Personalization of Information Services in RPM Systems.

Ekaterina Vasilyeva, Mykola Pechenizkiy, Aleksandra Tesanovic, Evgeny Knutov, Sicco Verwer, Paul De Bra

Proceedings of the Educational Data Mining 2010, 2010

2009

Solution to exchanges 7.3 puzzle: product adoption in a social network.

Aneesh Sharma, Sicco Verwer

SIGecom Exch., 2009

One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Language and Automata Theory and Applications, 2009

2008

Polynomial Distinguishability of Timed Automata.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

2005

Timed Inference for Behavioral Pattern Recognition.

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen

Proceedings of the BNAIC 2005, 2005