This is an old revision of the document!



  • Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDP, In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Thessaloniki, Greece, April 14-20, 2018


  • Maikel Leemans & Wil M.P. van der Aalst. Modeling and discovering cancelation behavior, In W. Galoul, H. Panetto, C. Agostino Ardagna, C. Debruyne, M. Papazoglou & A. Paschke (Eds.), On the Move to Meaningful Internet Systems. OTM 2017 Conferences (pp. 93-113)


  • Vincent Bloemen, Alfons Laarman & Jaco van de Pol. (2016) Multi-core on-the-fly {SCC} decomposition, In Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016.
  • Mozhan Soltani, Annibale Panichella & Arie van Deursen. (2016) Evolutionary testing for crash reproduction, In Proceedings of the 9th International Workshop on Search-Based Software Testing, SBST@ICSE 2016, Austin, Texas, USA, May 14-22, 2016.