1. Conference contribution › Scientific › Peer-reviewed
  2. flexfringe: A Passive Automaton Learning Package

    Verwer, S. & Hammerschmidt, C. A., 2017, 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. O'Conner, L. (ed.). Piscataway: IEEE, p. 638-642 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. Conference contribution › Scientific › Not peer-reviewed
  4. Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata

    Liu, X., Lin, Q., Verwer, S. & Jarnikov, D., 24 May 2017, ArXiv Preprint.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

    Hammerschmidt, C. A., State, R. & Verwer, S., 2017, ArXiv Preprint. Vol. abs/1707.09430.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  6. Learning Pairwise Disjoint Simple Languages from Positive Examples

    Linard, A., Smetsers, R., Vaandrager, FW., Waqas, U., van Pinxten, J. & Verwer, S., 6 Jun 2017, ArXiv Preprint. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  7. Article › Scientific › Peer-reviewed
  8. Auction optimization using regression trees and linear models as integer programs

    Zhang, Y., Verwer, S. & Ye, Q. C., 2017, In : Artificial Intelligence. 244, p. 368-395 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Improved privacy of dynamic group services

    Veugen, T., Doumen, J., Erkin, Z., Pellegrino, N., Verwer, S. & Weber, J., 2017, In : Eurasip Journal on Information Security. 2017, 1, p. 1-9 9 p., 3.

    Research output: Contribution to journalArticleScientificpeer-review

  10. Improving active Mealy machine learning for protocol conformance testing

    Aarts, F., Kuppens, H., Tretmans, J., Vaandrager, FW. & Verwer, SE., 2014, In : Machine Learning. 96, 1-2, p. 189-224 36 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Zhang, Y., Lin, Q., Wang, J., Verwer, S. & Dolan, J. M., 2018, In : IEEE Transactions on Intelligent Vehicles. 3, 3, p. 276-286 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Lin, Q., Zhang, Y., Verwer, S. & Wang, J., 2019, In : IEEE Transactions on Intelligent Transportation Systems. 20, 2, p. 790-796 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Merging partially labelled trees: hardness and a declarative programming solution

    Labarre, A. & Verwer, SE., 2014, In : IEEE - ACM Transactions on Computational Biology and Bioinformatics. 11, 2, p. 389-397 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 172770