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

Research Output

2019

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
5 Downloads (Pure)

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
28 Downloads (Pure)

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
33 Downloads (Pure)

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
10 Downloads (Pure)

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

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
23 Downloads (Pure)
2017

An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 1 Jun 2017, In : ACM Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)
4 Downloads (Pure)

Games for bisimulations and abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 22 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p., 15.

Research output: Contribution to journalArticleAcademic

Open Access
File
2 Citations (Scopus)
17 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)

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 21 Mar 2016, In : arXiv. 1603.06422v1, 52 p.

Research output: Contribution to journalArticleAcademic

File
13 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

Advanced reduction techniques for model checking

Keiren, J. J. A., 2013, Eindhoven: Technische Universiteit Eindhoven. 195 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
199 Downloads (Pure)

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)

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Keiren, J. J. A., Kusters, V. J. J., Leemans, S. J. J. & Willemse, T. A. C., 2013, In : Science of Computer Programming. 78, 12, p. 2435-2452 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)

Improved static analysis of parameterised Boolean equation systems using control flow reconstruction

Keiren, J. J. A., Wesselink, J. W. & Willemse, T. A. C., 2013, s.n. 27 p. (arXiv.org; vol. 1304.6482 [cs.LO])

Research output: Book/ReportReportAcademic

Open Access
File
34 Downloads (Pure)
2012

A cure for stuttering parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2012, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computer science reports; vol. 1205)

Research output: Book/ReportReportAcademic

Open Access
File
8 Citations (Scopus)
85 Downloads (Pure)

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, Eindhoven: Technische Universiteit Eindhoven. 26 p. (Computer science reports; vol. 1212)

Research output: Book/ReportReportAcademic

Open Access
File
68 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

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2012, In : ACM Transactions on Computational Logic. 13, 1, p. 8-1/35 8.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)
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)

Experiences in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Software : Practice and Experience. 41, 2, p. 143-153

Research output: Contribution to journalArticleAcademicpeer-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)

Type checking mCRL2

Keiren, J. J. A. & Reniers, M. A., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1111)

Research output: Book/ReportReportAcademic

Open Access
File
42 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)

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2010, s.n. (arXiv.org [cs.LO]; vol. 1002.3222)

Research output: Book/ReportReportAcademic

9 Downloads (Pure)
2009

Bisimulation minimisations for Boolean equation systems

Keiren, J. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0917)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)

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

Designing case handling systems

Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 119-133 (Lecture Notes in Computer Science; vol. 5100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Citations (Scopus)
1 Downloads (Pure)

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