Research output per year
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
An Active Learning Algorithm for Bidirectional Deterministic Finite Automata
Dieck, S. & Verwer, S., 2026, Implementation and Application of Automata - 29th International Conference, CIAA 2025, Proceedings. Castiglione, G. & Mantaci, S. (eds.). Springer, p. 99-114 16 p. (Lecture Notes in Computer Science; vol. 15981 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)5 Downloads (Pure) -
Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
Cao, C. S., Panichella, A. & Verwer, S. E., 2025, Proceedings of the 2025 IEEE/ACM International Conference on Automation of Software Test (AST). O’Conner , L. (ed.). Piscataway: IEEE / ACM, p. 29-40 12 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile79 Downloads (Pure) -
FlexFringe: Modeling software behavior by learning probabilistic automata
Verwer, S. & Hammerschmidt, C., 2025, In: Logical Methods in Computer Science. 21, 3, 38 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile195 Downloads (Pure) -
Preface
Oliehoek, F. A., Kok, M. & Verwer, S., 2025, Artificial Intelligence and Machine Learning: 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, The Netherlands, November 8–10, 2023, Revised Selected Papers. Oliehoek, F. A., Kok, M. & Verwer, S. (eds.). Cham: Springer, p. v 1 p. (Communications in Computer and Information Science; vol. 2187 CCIS).Research output: Chapter in Book/Conference proceedings/Edited volume › Foreword/postscript › Scientific
Open AccessFile37 Downloads (Pure) -
Black-box optimization for anticipated baseband-function placement in 5G networks
Zorello, L. M. M., Bliek, L., Troia, S., Maier, G. & Verwer, S., 2024, In: Computer Networks. 245, 15 p., 110384.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile7 Link opens in a new tab Citations (Scopus)56 Downloads (Pure)
Datasets
-
Raw data of the EXPensive Optimization benchmark library (EXPObench)
Bliek, L. (Creator), de Weerdt, M. (Creator) & Verwer, S. E. (Creator), TU Delft - 4TU.ResearchData, 19 Mar 2021
DOI: 10.4121/14247179
Dataset/Software: Dataset
Activities
- 3 Talk or presentation at a workshop, seminar, course or other meeting
-
Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
Liu, X. (Speaker), Lin, Q. (Speaker), Verwer, S. E. (Speaker) & Jarnikov, D. (Speaker)
19 Jun 2017Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File -
Learning Pairwise Disjoint Simple Languages from Positive Examples
Linard, A. (Speaker), Smetsers, R. (Speaker), Vaandrager, F. (Speaker), Waqas, U. (Speaker), van Pinxten, J. (Speaker) & Verwer, S. E. (Speaker)
19 Jun 2017Activity: 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
Hammerschmidt, C. A. (Speaker), State, R. (Speaker) & Verwer, S. E. (Speaker)
11 Aug 2017Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File
Press/Media
-
Reducing software errors with transparent AI
19/12/24
2 items of Media coverage
Press/Media: Public Engagement