Publications
2018
- Ji Qi, Cong Liu, Bram C.M. Cappers and Huub van de Wetering. Visual Analysis of Parallel Interval Events. In EuroVis 2018 - Short Papers (Best paper award)
- Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. Model-Based Testing for General Stochastic Time, In 10th NASA Formal Methods Symposium, Newport News, VA, USA, April 17-19, 2018
- Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. Model-based mutant equivalence detection using automata language equivalence and simulations, In Journal of Systems and Software, Vol. 141, 2018, p. 1-15
- Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. Component Interface Identification and Behavioral Model Discovery from Software Execution Data, In 26th International Conference on Program Comprehension (ICPC 2018), May 27- June 3, Gothenburg, Sweden co-located with ICSE 2018, 2018
- 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
- Cong Liu, Boudewijn van Dongen, Nour Assy, Wil M. P. van der Aalst. A Framework to Support Behavioral Design Pattern Detection from Software Execution Data, In 13th International Conference on Evaluation of Novel Approaches to Software Engineering, March 23-24, Madeira, Portugal, 2018
- Maikel Leemans, Wil M.P. van der Aalst & Mark G.J. van den Brand. Recursion aware modeling and discovery for hierarchical software event log analysis, In SANER 2018, to be published. Extended version already available via: arXiv:1710.09323v1
2017
- Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards. Efficient Simulation-Based Verification of Probabilistic Timed Automata, In Winter Simulation Conference 2017
- Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns. Better Automated Importance Splitting for Transient Rare Events, In SETTA 2017: 42-58
- Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose. Modelling and certification for electric mobility, In INDIN 2017: 109-114
- Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol. Explicit state model checking with generalized Büchi and Rabin automata, In SPIN 2017: 50-59
- Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. JANI: Quantitative Model and Tool Interaction, In TACAS 2017: 151-168
- 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)
- Nour Assy, Boudewijn F. van Dongen & Wil M.P. van der Aalst. Discovering Hierarchical Consolidated Models from Process Families, In 29th International Conference on Advanced Information Systems Engineering, CAISE 2017, 12-16 June 2017, Essen, Germany
2016
- Vincent Bloemen, Jaco van de Pol. Multi-core SCC-Based LTL Model Checking, In Haifa Verification Conference 2016: 18-33
- Ernst Moritz Hahn, Arnd Hartmanns. A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques, In SETTA 2016: 85-100
- Arnd Hartmanns, Holger Hermanns, Michael Bungert. Flexible support for time and costs in scenario-aware dataflow, In EMSOFT 2016: 3:1-3:10
- Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards. Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata, In IFM 2016: 99-114
- Vincent Bloemen, Alfons Laarman, Jaco van de Pol. Multi-core on-the-fly SCC decomposition, In PPOPP 2016: 8:1-8:12
- Cong Liu, Boudewijn F. van Dongen, Nour Assy & Wil M.P. van der Aalst. (2016) Component Behavior Discovery from Software Execution Data In 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.
- Sebastiano Panichella, Annibale Panichella, Moritz Beller, Andy Zaidman & Harald C. Gall. (2016) The impact of test case summaries on bug fixing performance: an empirical investigation, In Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016
2015
- Maikel Leemans & Wil M. P. van der Aalst. Process mining in software systems: Discovering real-life business transactions and process models from distributed systems, In 18th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015.
Reports
- Maikel Leemans & Cong Liu. (2017) XES Software Telemetry Extension. s.l.: XES Working Group, 6 pp.
- Maikel Leemans & Cong Liu. (2017) XES Software Communication Extension. s.l.: XES Working Group, 4 pp.
- Maikel Leemans & Cong Liu. (2017) XES Software Event Extension. s.l.: XES Working Group, 11 pp.