Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. A General Framework to Detect Behavioral Design Patterns, In 40th International Conference on Software Engineering, poster session, May 27- June 3, Gothenburg, Sweden, 2018
Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. Software Architectural Model Discovery from Execution Data, In 13th International Conference on Evaluation of Novel Approaches to Software Engineering, March 23-24, Madeira, Portugal, 2018
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards. A Hierarchy of Scheduler Classes for Stochastic Automata, In 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, April 14-20, 2018
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
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. A Statistical Model Checker for Nondeterminism and Rare Events, 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)
Cong Liu, Boudewijn F. van Dongen, Nour Assy & Wil M.P. van der Aalst. (2016) Component Behavior Discovery from Software Execution DataIn 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016.
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.