• Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDP, in TACAS 2018: to appear
  • Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. A Statistical Model Checker for Nondeterminism and Rare Events, In TACAS 2018: to appear


  • 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.