Sicco Verwer - RankMe

121 papers A* 6A 5B 12C 8Journal 56Unranked 26

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