HOME

**This is an old revision of the document!** ----

A PCRE internal error occured. This might be caused by a faulty plugin

====== Publications ====== ===== 2018 ===== * Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. **[[https://doi.org/10.1007/978-3-319-77935-5_15|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. **[[https://pure.tudelft.nl/portal/en/publications/modelbased-mutant-equivalence-detection-using-automata-language-equivalence-and-simulations(a4008f16-7867-42e8-8dea-6dd2f1b6e9ae).html|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. **[[https://www.researchgate.net/publication/323535701_Component_Interface_Identification_and_Behavioral_Model_Discovery_from_Software_Execution_Data|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. **[[https://www.researchgate.net/publication/323268267_A_General_Framework_to_Detect_Behavioral_Design_Patterns |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. **[[https://www.researchgate.net/publication/323268089_Software_Architectural_Model_Discovery_from_Execution_Data|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. ** [[https://doi.org/10.1007/978-3-319-89366-2_21 |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. ** [[https://doi.org/10.1007/978-3-319-89963-3_19|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. ** [[https://doi.org/10.1007/978-3-319-89963-3_20 |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. ** [[https://www.researchgate.net/publication/322041875_A_Framework_to_Support_Behavioral_Design_Pattern_Detection_from_Software_Execution_Data|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. ** [[https://arxiv.org/abs/1710.09323|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. ** [[http://ieeexplore.ieee.org/document/8247885/|Efficient Simulation-Based Verification of Probabilistic Timed Automata]]**, //In Winter Simulation Conference 2017// * Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns. ** [[https://doi.org/10.1007/978-3-319-69483-2_3|Better Automated Importance Splitting for Transient Rare Events]]**, //In SETTA 2017: 42-58// * Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose. ** [[http://ieeexplore.ieee.org/document/8104755/|Modelling and certification for electric mobility]]**, //In INDIN 2017: 109-114// * Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol. ** [[https://dl.acm.org/citation.cfm?id=3092288|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. **[[https://link.springer.com/chapter/10.1007%2F978-3-662-54580-5_9|JANI: Quantitative Model and Tool Interaction]]**, //In TACAS 2017: 151-168// * Maikel Leemans & Wil M.P. van der Aalst. ** [[http://repository.tue.nl/40079ea6-8381-40d4-a19e-6190c10a80cf|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. ** [[https://www.researchgate.net/publication/318134190_Discovering_Hierarchical_Consolidated_Models_from_Process_Families|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. ** [[https://research.utwente.nl/en/publications/multi-core-scc-based-ltl-model-checking|Multi-core SCC-Based LTL Model Checking]]**, //In Haifa Verification Conference 2016: 18-33// * Ernst Moritz Hahn, Arnd Hartmanns. ** [[https://link.springer.com/chapter/10.1007%2F978-3-319-47677-3_6|A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques]]**, //In SETTA 2016: 85-100// * Arnd Hartmanns, Holger Hermanns, Michael Bungert. ** [[https://dl.acm.org/authorize.cfm?key=N25924|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. **[[https://link.springer.com/chapter/10.1007%2F978-3-319-33693-0_7|Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata]]**, //In IFM 2016: 99-114// * Vincent Bloemen, Alfons Laarman, Jaco van de Pol. ** [[https://research.utwente.nl/en/publications/multi-core-on-the-fly-scc-decomposition|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)[[https://www.researchgate.net/publication/308887556_Component_Behavior_Discovery_from_Software_Execution_Data | 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) [[http://dl.acm.org/citation.cfm?doid=2851141.2851161 | 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) [[http://dl.acm.org/citation.cfm?doid=2897010.2897015 | 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) [[http://dl.acm.org/citation.cfm?doid=2884781.2884847 | 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. ** [[http://ieeexplore.ieee.org/document/7338234/ | 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) [[https://www.tue.nl/en/publication/ep/p/d/ep-uid/1d883659-a028-4042-82e8-f4182382cc3e/|XES Software Telemetry Extension]]**. s.l.: XES Working Group, 6 pp. * Maikel Leemans & Cong Liu. **(2017) [[https://www.tue.nl/en/publication/ep/p/d/ep-uid/2ff6b140-7e95-41a4-aecb-6c7fcfe3b568/|XES Software Communication Extension]]**. s.l.: XES Working Group, 4 pp. * Maikel Leemans & Cong Liu. **(2017) [[https://www.tue.nl/en/publication/ep/p/d/ep-uid/7a00f4d3-8462-483b-81a0-969c33764f31/|XES Software Event Extension]]**. s.l.: XES Working Group, 11 pp.