Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Jeroen J.A. Keiren actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 5 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 sep 2019, In : arXiv. 27 blz., 1909.10824.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
  • A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

    Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer Science Reports; vol. 19-03)

    Onderzoeksoutput: Boek/rapportRapportProfessioneel

    Open Access
    Bestand

    Modelling and analysing software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer Science Reports; vol. 19-05)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand
  • Sound idle and block equations for finite state machines in xMAS

    Fedotov, A., Keiren, J. J. A. & Schmaltz, J., nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 19-04)

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Open Access
    Bestand

    The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
  • 15 Citaten (Scopus)
    22 Downloads (Pure)

    Cursussen

    Automotive software engineering

    1/09/13 → …

    Cursus

    Software specification

    1/09/15 → …

    Cursus

    Scriptie

    Validation of CERN's finite state machines

    Auteur: Leemans, S., 30 jun 2012

    Begeleider: Willemse, T. (Afstudeerdocent 1), Keiren, J. (Afstudeerdocent 2), Glege, F. (Externe persoon) (Externe coach) & Garrido, R. (Externe persoon) (Externe coach)

    Scriptie/masterproef: Master

    Bestand

    Verification of control software of Rijkswaterstaat

    Auteur: Saralaya, V., 31 aug 2012

    Begeleider: Groote, J. (Afstudeerdocent 1), Pai, R. (Externe persoon) (Externe coach), Wijs, A. (Afstudeerdocent 2) & Keiren, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Bestand