Design and Analysis of Systems

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Design and Analysis of Systems actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

  • Onderzoeksoutput

    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, blz. 93-108 16 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • 7 Citaten (Scopus)
    130 Downloads (Pure)

    Preface to special issue on EXPRESS 2011

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

    Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

    Open Access
    Bestand
  • 32 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, blz. 29/1-39 39 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 5 Citaten (Scopus)
    1 Downloads (Pure)

    Activiteiten

    • 1 Aangemelde presentatie

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

    Judi Romijn (Spreker)
    24 nov 2004

    Activiteit: Types gesprekken of presentatiesAangemelde presentatieWetenschappelijk

    Scripties/Masterproeven

    Themis : load sharing in an in-home network

    Auteur: Heijmans, J., 30 nov 2002

    Begeleider: Groote, J. (Afstudeerdocent 1), Reniers, M. (Afstudeerdocent 2) & van Woerkom, H. (Externe coach)

    Scriptie/masterproef: Master

    Bestand