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

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

Research Output 2019 2019

  • 1 Citations
  • 1 Conference contribution
1 Citation (Scopus)

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
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages

Student theses

Quantitative model checking on probabilistic systems using pLμ

Author: Bunte, O., 18 Dec 2017

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

File