Publications

An overview of my publications can be found at the following places. Note that they have varying degrees of completeness.

Drafts

  • S. Cranen, J.J.A. Keiren and T.A.C. Willemse. Parity Game Reductions. (submitted, see preprint)
  • R. Cleaveland and J.J.A. Keiren. On-the-Fly Model Checking for Time-Deterministic Hybrid Automata. (submitted)
  • D. de Frutos Escrig, J.J.A. Keiren and T.A.C. Willemse. Games for Bismulation and Abstraction. (special issue for FORTE, submitted, see preprint)

Journals

Conference and workshop contributions

  • D. de Frutos Escrig, J.J.A. Keiren, T.A.C. Willemse. Branching bisimulation games.  FORTE 2016, Lecture Notes in Computer Science 9688, pp. 142-157, 2016.
  • J.J.A. Keiren. Benchmarks for Parity Games. FSEN 2015, Lecture Notes in Computer Science 9392, Springer-Verlag, pp. 126-142, 2015. (preprint)
  • J.J.A. Keiren, J.W. Wesselink and T. A. C. Willemse. Liveness Analysis for Parameterised Boolean Equation Systems. ATVA 2014 pp. 219-234. (preprint)
  • S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. de Vink, J.W. Wesselink and T. A. C. Willemse. An Overview of the mCRL2 Toolset and its Recent Advances. TACAS 2013 pp. 199-213. (preprint)
  • J.J.A. Keiren, M.D. Klabbers. Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. Proc. 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). In G. Luettgen, S. Merz (eds.), Electroning Communications of the EASST, 2012. The models and properties described are available in the mCRL2 Subversion repository.
  • S. Cranen, J.J.A. Keiren and T. A. C. WillemseA Cure for Stuttering Parity Games. In A. Roychoudhury, M. D’Souza (eds.), Theoretical Aspects of Computing – 9th International Colloqium, ICTAC 2012, Lecture Notes in Computer Science 7521, Springer-Verlag, pp.198-212, 2012. The full version containing detailed proofs is available as a technical report. 2012
  • S. Cranen, J.J.A. Keiren and T. A. C. WillemseStuttering Mostly Speeds Up Solving Parity Games. In M. Gheorghiu Bobaru, K. Havelund, G.J. Holzmann, R. Joshi (eds.), NASA Formal Methods – Third International Symposium, NFM 2011, Lecture Notes in Computer Science 6617, Springer-Verlag, pp. 207–221, 2011. For updates on our experiments, see this arXiv preprint. 2011
  • J. F. Groote, J. J. A. Keiren, F. P. M. Stappers, J. W. Wesselink and T. A. C. WillemseExperience in developing the mCRL2 toolset. In F. Gervais & B. Fraikin (Eds.), 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). (pp. 1-3). 2010.
  • J. J. A. Keiren, J. W. Wesselink and J. van der Wulp. Generic programming in the mCRL2 toolset. In F. Gervais & B. Fraikin (Eds.), 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). (pp. 1-3). 2010.
  • J. J. A. Keiren and T. A. C. WillemseBisimulation Minimisations for Boolean Equation Systems. In K. Namjoshi, A. Zeller & A. Ziv (Eds.), Hardware and Software: Verification and Testing (5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009. Lecture Notes in Computer Science, Vol. 6405, pp. 102-116. Springer. 2009
  • J. J. A. Keiren, F. van Walderveen and A. Wolff. Constructability of Trip-lets. In Collection of abstracts of the 25th European Workshop on Computational Geometry (EuroCG’09), pages 251-254. 2009.
  • J. F. Groote, J. J. A. Keiren, A. H. J. Mathijssen, S. C. W. Ploeger, F. P. M. Stappers, C. Tankink, Y. S. Usenko, M. J. van Weerdenburg, J. W. Wesselink, T. A. C. Willemse and J. van der Wulp. The mCRL2 toolset. In Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). (pp. 5-1/10). 2008.
  • K. M. van Hee, J. J. A. Keiren, R. Post, N. Sidorova and J. M. E. M. van der Werf. Designing Case Handling Systems. In D. Moldt, F. Kordon, K.M. van Hee, J.M. Colom, R. Bastide, J.M. Colom & R. Bastide (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. (pp. 52-66). 2007

Technical reports

Theses

Posters