Research Output per year
Fingerprint Dive into the research topics where S.E. Verwer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 4 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
Beyond Labeling: Using Clustering to Build Network Behavioral Profiles of Malware Families
Nadeem, A., Hammerschmidt, C. A., Hernandez Ganan, C. & Verwer, S. E., 10 Aug 2020, (Accepted/In press) Malware Analysis using Artificial Intelligence and Deep Learning. SpringerResearch output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific › peer-review
File
3
Downloads
(Pure)
Hybrid connection and host clustering for community detection in spatial-temporal network data
Roeling, M. P., Nadeem, A. & Verwer, S. E., 14 Sep 2020, (Accepted/In press) European Conference on Machine Learning: Machine Learning for Cybersecurity.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access
File
5
Downloads
(Pure)
The Robust Malware Detection Challenge and Greedy Random Accelerated Multi-Bit Search
Verwer, S. E., Nadeem, A., Hammerschmidt, C. A., Bliek, L., Al-Dujaili, A. & O’Reilly, U-M., 24 Aug 2020, (Accepted/In press) WORKSHOP ON ARTIFICIAL INTELLIGENCE AND SECURITY. Association for Computing Machinery (ACM)Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access
File
Using datasets from industrial control systems for cyber security research and education
Lin, Q., Verwer, S., Kooij, R. & Mathur, A., 2020, Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Revised Selected Papers. Nadjm-Tehrani, S. (ed.). Springer, p. 122-133 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11777 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Learning optimal classification trees using a binary linear program formulation
Verwer, S. & Zhang, Y., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence . Palo ALto: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 33. p. 1625-1632 8 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Activities
- 3 Talk or presentation at a workshop, seminar, course or other meeting
Learning Pairwise Disjoint Simple Languages from Positive Examples
Alexis Linard (Speaker), , Rick Smetsers (Speaker), , FW Vaandrager (Speaker), , Umar Waqas (Speaker), , Joost van Pinxten (Speaker), & S.E. Verwer (Speaker)
19 Jun 2017
Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
C.A. Hammerschmidt (Speaker), , Radu State (Speaker), & S.E. Verwer (Speaker)
11 Aug 2017
Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File
Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
Xiaoran Liu (Speaker), , Q. Lin (Speaker), , S.E. Verwer (Speaker), & Dmitri Jarnikov (Speaker)
19 Jun 2017
Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File