1. 2020
  2. 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 volumeConference contributionScientificpeer-review

  3. 2019
  4. 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 volumeConference contributionScientificpeer-review

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

  6. Solving bin-packing problems under privacy preservation: Possibilities and trade-offs

    Hoogervorst, R., Zhang, Y., Tillem, G., Erkin, Z. & Verwer, S., 2019, In : Information Sciences. 500, p. 203-216 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. 2018
  8. Learning fuzzy decision trees using integer programming

    Rhuggenaath, J. S., Zhang, Y., Akcay, A., Kaymak, U. & Verwer, S., 1 Feb 2018, 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). Piscataway: IEEE, p. 1-8 8 p.

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

  9. A data-driven behavior generation algorithm in car-following scenarios

    Zhang, Y., Lin, Q., Wang, J., Verwer, S. & Dolan, J. M., 2018, Dynamics of Vehicles on Roads and Tracks: Proceedings of the 25th International Symposium on Dynamics of Vehicles on Roads and Tracks (IAVSD 2017) . Spiryagin, M., Gordon, T., Cole, C. & McSweeney, T. (eds.). Leiden: CRC Press, Vol. 1. p. 1-2 2 p.

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

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

  11. TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems

    Lin, Q., Adepu, S., Verwer, S. & Mathur, A., 2018, ASIACCS 2018 - Proceedings of the 2018 ACM Asia Conference on Computer and Communications Security. New York: Association for Computing Machinery (ACM), p. 525-536 12 p.

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

  12. Vulnerability Detection on Mobile Applications Using State Machine Inference

    van der Lee, W. & Verwer, S., 2018, Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EUROS&PW 2018. Los Alamitos, CA: IEEE, p. 1-10 10 p.

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

  13. 2017
  14. Learning behavioral fingerprints from Netflows using Timed Automata

    Pellegrino, N., Lin, Q., Hammerschmidt, C. & Verwer, S., 24 Jul 2017, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Chemouil, P., Monteiro, E., Charalambides, M., Madeira, E., Simoes, P., Secci, S., Gaspary, L. P. & dos Santos, C. R. P. (eds.). IEEE, p. 308-316 9 p.

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

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

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

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

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

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

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

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

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

  23. 2016
  24. 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

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

Previous 1 2 3 Next

ID: 172770