Algorithms and Logics for Verification

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Algorithms and Logics for Verification actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • AuDaLa is Turing Complete

    Franken, T. T. P. & Neele, T., 13 jun. 2024, Formal Techniques for Distributed Objects, Components, and Systems. Castiglioni, V. & Francalanza, A. (uitgave). blz. 221-229 9 blz. (Lecture Notes in Computer Science; vol. 14678).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Back to the format: A survey on SOS for probabilistic processes

    Castiglioni, V. (Corresponding author), Lanotte, R. & Tini, S., feb. 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 46 blz., 100929.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    17 Downloads (Pure)
  • CTMCs with Imprecisely Timed Observations

    Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N., 5 apr. 2024, Tools and Algorithms for the Construction and Analysis of Systems. Finkbeiner, B. & Kovács, L. (uitgave). Vol. 14571. blz. 258-278 21 blz. Chapter 13. (Tools and Algorithms for the Construction and Analysis of Systems; vol. 14571).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access