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

Research Output

Filter
Conference contribution
2019

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)
2016

Branching bisimulation games

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. Springer, p. 142-157 16 p. (Lecture Notes in Computer Science; vol. 9688).

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

2 Citations (Scopus)
2 Downloads (Pure)
2014

Liveness analysis for parameterised Boolean equation systems

Keiren, J. J. A., Wesselink, J. W. & Willemse, T. A. C., 2014, Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014). Cassez, F. & Raskin, J-F. (eds.). Berlin: Springer, p. 219-234 (Lecture Notes in Computer Science; vol. 8837).

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

7 Citations (Scopus)
2013

An overview of the mCRL2 toolset and its recent advances

Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 199-213 (Lecture Notes in Computer Science; vol. 7795).

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

87 Citations (Scopus)
1 Downloads (Pure)
2012

A cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Theoretical Aspects of Computing – ICTAC 2012 (9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings). Roychoudhury, A. & D'Souza, M. (eds.). Berlin: Springer, p. 198-212 (Lecture Notes in Computer Science; vol. 7521).

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

8 Citations (Scopus)
1 Downloads (Pure)

Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2

Keiren, J. J. A. & Klabbers, M. D., 2012, 12th International Workshop on Automated Verification of Critical Systems (AVoCS, Bamberg, Germany, September 18-20, 2012). Lüttgen, G. & Merz, S. (eds.). ECEASST, p. 1-16 (Electronic Communications of the EASST; vol. 53).

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

2011

Bisimulation minimisations for Boolean equation systems

Keiren, J. J. A. & Willemse, T. A. C., 2011, Hardware and Software: Verification and Testing (5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009. Revised selected papers). Namjoshi, K., Zeller, A. & Ziv, A. (eds.). Berlin: Springer, p. 102-116 (Lecture Notes in Computer Science; vol. 6405).

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

6 Citations (Scopus)

Stuttering mostly speeds up solving parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2011, NASA Formal Methods (Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings). Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer, p. 207-221 (Lecture Notes in Computer Science; vol. 6617).

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

8 Citations (Scopus)
1 Downloads (Pure)
2010

Experience in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

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

Open Access
File
24 Downloads (Pure)

Generic programming in the mCRL2 toolset

Wesselink, J. W., Wulp, van der, J. & Keiren, J. J. A., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

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

Open Access
File
37 Downloads (Pure)
2009

Constructability of trip-lets

Keiren, J. J. A., Walderveen, van, F. & Wolff, A., 2009, Abstracts 25th European Workshop on Computational Geometry (EuroCG'09, Brussels, Belgium, March 16-18, 2009). p. 251-254

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
32 Downloads (Pure)
2008

The mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Mathijssen, A. H. J., Ploeger, B., Stappers, F. P. M., Tankink, C., Usenko, Y. S., Weerdenburg, van, M. J., Wesselink, J. W., Willemse, T. A. C. & Wulp, van der, J., 2008, Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). p. 5-1/10

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

1 Downloads (Pure)
2007

Designing case handling systems

Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2007, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. Moldt, D., Kordon, F., Hee, van, K. M., Colom, J. M. & Bastide, R. (eds.). p. 52-66

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