Fingerprint Dive into the research topics where Design and Analysis of Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Research Output

    Evaluating the effect of a lightweight formal technique in industry

    Osaiweran, A. A. H., Schuts, M. T. W., Hooman, J. J. M., Groote, J. F. & Rijnsoever, van, B. J., 1 Feb 2016, In : International Journal on Software Tools for Technology Transfer. 18, 1, p. 93-108 16 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • 7 Citations (Scopus)
    135 Downloads (Pure)

    Preface to special issue on EXPRESS 2011

    Luttik, B. & Valencia, F. D., 2016, In : Mathematical Structures in Computer Science. 26, 8, p. 1351 1 p.

    Research output: Contribution to journalEditorialAcademicpeer-review

    Open Access
  • 34 Downloads (Pure)

    Abstraction in fixpoint logic

    Cranen, S., Gazda, M. W., Wesselink, J. W. & Willemse, T. A. C., 2015, In : ACM Transactions on Computational Logic. 16, 4, p. 29/1-39 39 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • 5 Citations (Scopus)
    1 Downloads (Pure)


    • 1 Contributed talk

    VVSS 2004 (Verification and Validation of Software Systems), LaQuSo, Eindhoven, The Netherlands

    Judi Romijn (Speaker)

    24 Nov 2004

    Activity: Talk or presentation typesContributed talkScientific

    Student theses

    Themis : load sharing in an in-home network

    Author: Heijmans, J., 30 Nov 2002

    Supervisor: Groote, J. (Supervisor 1), Reniers, M. (Supervisor 2) & van Woerkom, H. (External coach)

    Student thesis: Master