If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jeroen J.A. Keiren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 5 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
  • 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 p. (Computer Science Reports; vol. 19-03)

    Research output: Book/ReportReportProfessional

    Open Access
    File

    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 p. (Computer Science Reports; vol. 19-05)

    Research output: Book/ReportReportAcademic

    Open Access
    File
  • 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 p. (Computer science reports; vol. 19-04)

    Research output: Book/ReportReportAcademic

    Open Access
    File

    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. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 15 Citations (Scopus)
    22 Downloads (Pure)

    Courses

    Automotive software engineering

    1/09/13 → …

    Course

    Software specification

    1/09/15 → …

    Course

    Student theses

    Validation of CERN's finite state machines

    Author: Leemans, S., 30 Jun 2012

    Supervisor: Willemse, T. (Supervisor 1), Keiren, J. (Supervisor 2), Glege, F. (External person) (External coach) & Garrido, R. (External person) (External coach)

    Student thesis: Master

    File

    Verification of control software of Rijkswaterstaat

    Author: Saralaya, V., 31 Aug 2012

    Supervisor: Groote, J. (Supervisor 1), Pai, R. (External person) (External coach), Wijs, A. (Supervisor 2) & Keiren, J. (Supervisor 2)

    Student thesis: Master

    File