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

  2. 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/Report/Conference proceedingConference contributionScientificpeer-review

  3. 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/Report/Conference proceedingConference contributionScientificpeer-review

  4. 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/Report/Conference proceedingConference contributionScientificpeer-review

  5. Proceedings of the 13th International Conference on Grammatical Inference ICGI: JMLR Workshop and Conference Proceedings

    Verwer, S. (ed.), van Zaanen, M. (ed.) & Smetsers, R. (ed.), 2016, JMLR. 169 p. (JMLR: Workshop and Conference Proceedings)

    Research output: Book/ReportBook editingScientificpeer-review

  6. Regular inference as vertex coloring

    Florêncio, CC. & Verwer, SE., 2014, In : Theoretical Computer Science. 558, p. 18-34 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. 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/Report/Conference proceedingConference contributionScientificpeer-review

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

  9. 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/Report/Conference proceedingConference contributionScientificpeer-review

  10. The efficiency of identifying timed automata and the power of clocks

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2011, In : Information and Computation. 209, 3, p. 606-625 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 172770