Maximizing Synchronization for Aligning Observed and Modelled Behaviour
暂无分享,去创建一个
Boudewijn F. van Dongen | Wil M. P. van der Aalst | Jaco van de Pol | Sebastiaan J. van Zelst | Wil M.P. van der Aalst | Vincent Bloemen | B. V. Dongen | Vincent Bloemen | S. J. Zelst | J. Pol
[1] Wil M. P. van der Aalst,et al. Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..
[2] Boudewijn F. van Dongen,et al. Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..
[3] Boudewijn F. van Dongen,et al. Tuning Alignment Computation: An Experimental Evaluation , 2017, ATAED@Petri Nets/ACSD.
[4] Wil M. P. van der Aalst,et al. RapidProM: Mine Your Processes and Not Just Your Data , 2017, ArXiv.
[5] Jussi Vanhatalo,et al. Simplified Computation and Generalization of the Refined Process Structure Tree , 2010, WS-FM.
[6] Benoît Depaire,et al. PTandLogGenerator: A Generator for Artificial Event Data , 2016, BPM.
[7] Wil M. P. van der Aalst,et al. Process mining in software systems: Discovering real-life business transactions and process models from distributed systems , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).
[8] Alexander L. Wolf,et al. Software process validation: quantitatively measuring the correspondence of a process to a model , 1999, TSEM.
[9] Wil M. P. van der Aalst,et al. Symbolically Aligning Observed and Modelled Behaviour , 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).
[10] van der Wmp Wil Aalst,et al. Memory-efficient alignment of observed and modeled behavior , 2013 .
[11] Chet Langin,et al. Languages and Machines: An Introduction to the Theory of Computer Science , 2007 .
[12] A Arya Adriansyah,et al. Aligning observed and modeled behavior , 2014 .
[13] Marwan Hassani,et al. Online conformance checking: relating event streams to process models using prefix-alignments , 2017, International Journal of Data Science and Analytics.
[14] Alfons Laarman,et al. LTSmin: High-Performance Language-Independent Model Checking , 2015, TACAS.
[15] Robert A. Wagner,et al. Order-n correction for regular languages , 1974, CACM.
[16] Boudewijn F. van Dongen,et al. Cost-Based Fitness in Conformance Checking , 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.
[17] Dirk Fahland,et al. Analysis on demand: Instantaneous soundness checking of industrial business process models , 2011, Data Knowl. Eng..
[18] Josep Carmona,et al. A Framework for Online Conformance Checking , 2017, Business Process Management Workshops.
[19] Boudewijn F. van Dongen,et al. Component behavior discovery from software execution data , 2016, 2016 IEEE Symposium Series on Computational Intelligence (SSCI).
[20] Boudewijn F. van Dongen,et al. XES, XESame, and ProM 6 , 2010, CAiSE Forum.
[21] Wil M. P. van der Aalst,et al. Process Mining , 2016, Springer Berlin Heidelberg.