1. 2017
  2. Car-following Behavior Model Learning Using Timed Automata

    Zhang, Y., Lin, Q., Wang, J. & Verwer, S., Jul 2017, IFAC-PapersOnLine. Dochain, D., Henrion, D. & Peaucelle, D. (eds.). Elsevier, p. 2353-2358 6 p. (IFAC-PapersOnLine; vol. 50, no. 1).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  3. An Experience Report on Applying Passive Learning in a Large-Scale Payment Company

    Wieman, R., Finavaro Aniche, M., Lobbezoo, W., Verwer, S. & van Deursen, A., 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Los Alamitos, CA: IEEE, p. 564-573 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  4. 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

  5. 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

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

    Verwer, S. & Zhang, Y., 2017, Integration of AI and OR Techniques in Constraint Programming: CPAIOR 2017. Salvagnin, D. & Lombardi, M. (eds.). Cham: Springer, p. 94-103 10 p. (Lecture Notes in Computer Science; vol. 10335).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  7. Modeling and analysis of non-homogenous fabrication/assembly systems with multiple failure modes

    Wang, J-Q., Yan, F-Y., Cui, P-H., Xia, T., Cui, F-D. & Verwer, S., 2017, In : International Journal of Advanced Manufacturing Technology. p. 1-17 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. Reliable Machine Learning for Networking: Key Issues and Approaches

    Hammerschmidt, C. A., Garcia, S., Verwer, S. & State, R., 2017, 2017 IEEE 42nd conference on Local Computer Networks, LCN 2017. IEEE, p. 167-170 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  9. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  10. 2016
  11. Behavioral Clustering of Non-Stationary IP Flow Record Data

    Hammerschmidt, C., Marchal, S., State, R. & Verwer, S., Nov 2016, 12th International Conference on Network and Service Management CNSM 2016. Piscataway, NJ: IEEE, p. 253-257 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  12. Efficient Learning of Communication Profiles from IP Flow Records

    Hammerschmidt, C., Marchal, S., State, R., Pellegrino, N. & Verwer, S., 2016, Proceedings - 2016 IEEE 41st Conference on Local Computer Networks, LCN 2016. Kellenberger, P. (ed.). Los Alamitos, CA: IEEE, p. 1-4 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

ID: 172770