1. Conference contribution › Scientific › Peer-reviewed
  2. Flexible State-Merging for learning (P)DFAs in Python

    Hammerschmidt, C., Loos, B., State, R., Engel, T. & Verwer, S., 2016, Proceedings of The 13th International Conference on Grammatical Inference: The JMLR Workshop and Conference, The Sequence PredictIction ChallengE (SPiCe). Verwer, S., van Zaanen, M. & Smetsers, R. (eds.). JMLR, Vol. 57. p. 154-159 6 p. (JMLR: Workshop and Conference Proceedings).

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

  3. Identifying an automaton model for timed data

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn). Saeys, Y., Tsiporkova, E., Baets, B. D. & van de Peer, Y. (eds.). Benelearn, p. 57-64 8 p.

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

  4. Identifying an automaton model for timed data (extended abstract)

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC). Schobbens, P-Y., Vanhoof, W. & Schwanen, G. (eds.). BNVKI, p. 439-440 2 p.

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

  5. Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: An Industrial Case

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Verwer, S. & Linard, A., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models : The JMLR Workshop and Conference PGM 2016. Antonucci, A., Corani, G. & de Campos, C. P. (eds.). JMLR, Vol. 52. p. 50-61 12 p. (JMLR: Workshop and Conference Proceedings).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-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. Learning Deterministic Finite Automata from Innite Alphabets

    Pellegrino, N., Hammerschmidt, C., Verwer, S. & Lin, Q., 2016, Proceedings of The 13th International Conference on Grammatical Inference: The JMLR Workshop and Conference, The Sequence PredictIction ChallengE (SPiCe). Verwer, S., van Zaanen, M. & Smetsers, R. (eds.). JMLR, Vol. 57. p. 69-72 5 p. (JMLR: Workshop and Conference Proceedings).

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

  8. Learning Driving Behavior By Timed Syntactic Pattern Recognition

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2011, Proceedings of the International Joint Conference on Artificial Intelligence. Walsh, T. (ed.). American Association for Artificial Intelligence (AAAI), p. 1529-1534 6 p.

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

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

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

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

  12. On the identifiability in the limit of timed automata

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2006, Proceedings of the Grammatical inference workshop on open problems and new directions. p. -

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

  13. One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2009, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Dediu, AH., Ionescu, AM. & Martin-Vide, C. (eds.). Berlin: Springer, p. 740-751 12 p. (Lecture Notes in Computer Science; vol. 5457).

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

  14. Polynomial distinguishability of timed automata

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2008, ICGI. Clark, A., Coste, F. & Miclet, L. (eds.). Springer, p. 238-251 14 p. (Lecture Notes in Artificial Intelligence; vol. 5278).

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

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

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

  17. Timed automata for behavorial pattern recognition

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2005, BNAIC 2005 - Proceedings of the seventeenth Belgium-Netherlands conference on artificial intelligence. Verbeeck, K., Tuyls, K., Nowé, A., Manderick, B. & Kuijpers, B. (eds.). Brussels, Belgium: KVAB, p. 291-296 6 p.

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

  18. Using a satisfiability solver to identify deterministic finite state automata

    Heule, MJH. & Verwer, SE., 2009, BNAIC 2009 Benelux Conference on Artificial Intelligence. Calders, T., Tuyls, K. & Pechenizkiy, M. (eds.). Eindhoven: BNAIC, p. 91-98 8 p.

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

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

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

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

ID: 172770