• 1700 Citations
19992019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2019

Data-driven usability test scenario creation

van Eck, M. L., Markslag, E., Sidorova, N., Brosens-Kessels, A. & van der Aalst, W. M. P., 1 Jan 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (eds.). Cham: Springer, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
3 Downloads (Pure)

Discovering more precise process models from event logs by filtering out chaotic activities

Tax, N., Sidorova, N. & van der Aalst, W. M. P., 15 Feb 2019, In : Journal of Intelligent Information Systems. 52, 1, p. 107-139 33 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
14 Citations (Scopus)
73 Downloads (Pure)

Generating time-based label refinements to discover more precise process models

Tax, N., Alasgarov, E. E., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2019, In : Journal of Ambient Intelligence and Smart Environments. 11, 2, p. 165-182 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
71 Downloads (Pure)

Guided interaction exploration and performance analysis in artifact-centric process models

van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Dec 2019, In : Business and Information Systems Engineering. 61, 6, p. 649-663 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
22 Downloads (Pure)

Multi-instance mining: discovering synchronisation in artifact-centric processes

van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 18-30 13 p. (Lecture Notes in Business Information Processing; vol. 342).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)
2018

Event abstraction for process mining using supervised learning techniques

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2018, Proceedings of the SAI Intelligent Systems Conference (IntelliSys 2016), 21-22 September 2016, London, United Kingdom. Bi, Y., Kapoor, S. & Bhatia, R. (eds.). Berlin: Springer, p. 251-269 19 p. (Lecture Notes in Networks and Systems; vol. 15).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
5 Downloads (Pure)

Interest-driven discovery of local process models

Tax, N., Dalmas, B., Sidorova, N., van der Aalst, W. M. P. & Norre, S., Sep 2018, In : Information Systems. 77, p. 105-117 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
1 Citation (Scopus)

Local process model discovery: bringing petri nets to the pattern mining world

Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 1 Jan 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khohamenko, V. & Roux, O. H. (eds.). Dordrecht: Springer, p. 374-384 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Mining local process models with constraints efficiently: applications to the analysis of smart home data

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 27 Dec 2018, Proceedings - 2018 International Conference on Intelligent Environments, IE 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 56-63 8 p. 8595032

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Mining process model descriptions of daily life through event abstraction

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 1 Jan 2018, Intelligent Systems and Applications: Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2016. Kapoor, S., Bhatia, R. & Bi, Y. (eds.). Berlin: Springer, p. 83-104 22 p. (Studies in Computational Intelligence; vol. 751).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

6 Citations (Scopus)

The imprecisions of precision measures in process mining

Tax, N., Lu, X., Sidorova, N., Fahland, D. & van der Aalst, W. M. P., Jul 2018, In : Information Processing Letters. 135, p. 1-8 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
18 Citations (Scopus)
2017

Composite state machine miner: discovering and exploring multi-perspective processes

van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 31 Jan 2017, Proceedings of the BPM Demo Track 2016. Azevedo, L. & Cabanillas, C. (eds.). CEUR-WS.org, p. 73-77 5 p. (CEUR Workshop Proceedings; vol. 1789).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
76 Downloads (Pure)

Guided interaction exploration in artifact-centric process models

van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 14 Aug 2017, 2017 IEEE 19th Conference on Business Informatics (CBI), Business Informatics (CBI), 24-27 July 2017, Thessaloniki, Greece. Institute of Electrical and Electronics Engineers, p. 109-118 10 p. 8010712

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
61 Downloads (Pure)

Heuristic approaches for generating local process models through log projections

Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 9 Feb 2017, Proceedings of IEEE Symposium on Computational Intelligence and Data Mining, December 6-9, 2016, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8 7849948

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
11 Citations (Scopus)
64 Downloads (Pure)
Open Access
File
77 Downloads (Pure)

Local process models: pattern mining with process models

Tax, N., Sidorova, N. & van der Aalst, W. M. P., 10 Jun 2017, Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning (BENELEARN). Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 83-86

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
148 Downloads (Pure)
2016

Discovering and Exploring State-based Models for Multi-perspective Processes

van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 2016, Business Process Management : 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18–22, 2016. Proceedings. La Rosa, M., Loos, P. & Pastor, O. (eds.). Dordrecht: Springer, p. 142-157 16 p. (Lecture notes in computer science; vol. 9850).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
15 Citations (Scopus)
5 Downloads (Pure)

Enabling Process Mining on Sensor Data from Smart Products

Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 23 Aug 2016, IEEE RCIS 2016 - IEEE 10th International Conference on Research Challenges in Information Science, 1-3 may 2016, Grenoble, France. Brussels: IEEE Computer Society, p. 1-12 12 p. 7549355

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
10 Citations (Scopus)
248 Downloads (Pure)

Log-based evaluation of label splits for process models

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W., 2016, In : Procedia Computer Science. 96, p. 63-72 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
65 Downloads (Pure)

Mining local process models

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2016, In : Journal of Innovation in Digital Ecosystems. 3, 2, p. 183-196 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
104 Downloads (Pure)

On generation of time-based label refinements

Tax, N., Alasgarov, E. E., Sidorova, N. & Haakma, R., 2016, Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany. p. 1-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
6 Citations (Scopus)
28 Downloads (Pure)
2015

KPI-based activity planning for people working in flexible processes

Eck, van, M. L., Sidorova, N. & Aalst, van der, W. M. P., 2015, Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (Stockholm, Sweden, June 10, 2015). Grabis, J. & Sandkuhl, K. (eds.). Aachen: CEUR-WS.org, p. 97-104 (CEUR Workshop Proceedings; vol. 1367).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
88 Downloads (Pure)

Personalized stress management : enabling stress monitoring with LifelogExplorer

Kocielnik, R. D. & Sidorova, N., 2015, In : KI - Künstliche Intelligenz. 29, 2, p. 115-122 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
81 Downloads (Pure)
2013

Business process modeling using Petri nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)
11 Downloads (Pure)

Configurable declare : designing customisable flexible models

Schunselaar, D. M. M., Maggi, F. M., Sidorova, N. & Aalst, van der, W. M. P., 2013, On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I). Meersman, R. (ed.). Berlin: Springer, p. 20-37 (Lecture Notes in Computer Science; vol. 7565).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
1 Downloads (Pure)

Discrete timed Petri nets

Bera, D., Hee, van, K. M. & Sidorova, N., 2013, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1303)

Research output: Book/ReportReportAcademic

Open Access
File
72 Downloads (Pure)

Enabling self-reflection with LifelogExplorer : generating simple views from complex data

Kocielnik, R. D., Maggi, F. M. & Sidorova, N., 2013, 7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013). Institute of Electrical and Electronics Engineers, p. 184-191

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

Interval soundness of resource-constrained workflow nets : decidability and repair

Ramezani Taghiabadi, E., Sidorova, N. & Stahl, C., 2013, Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 150-167 (Lecture Notes in Computer Science; vol. 8161).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Refinement of synchronizable places with multi-workflow nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, In : Fundamenta Informaticae. 122, 1-2, p. 59-83

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Smart technologies for long-term stress monitoring at work

Kocielnik, R. D., Sidorova, N., Maggi, F. M., Ouwerkerk, M. & Westerink, J. H. D. M., 2013, Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'13, Porto, Portugal, June 20-22, 2013). IEEE Computer Society, p. 53-58

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

65 Citations (Scopus)
4 Downloads (Pure)

Soundness for resource-constrained workflow nets is decidable

Sidorova, N. & Stahl, C., 2013, In : IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43, 3, p. 724-729

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

The right timing : reflections on the modeling and analysis of time

Hee, van, K. M. & Sidorova, N., 2013, Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings). Colom, J. M. & Desel, J. (eds.). Berlin: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 7927).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)

When can we trust a third party?

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 106-122 (Lecture Notes in Computer Science; vol. 8100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)
2012

Patterns for a log-based strengthening of declarative compliance models

Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2012, Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings). Derrick, J., Gnesi, S., Latella, D. & Treharne, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 7321).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Soundness for resource-constrained workflow nets is decidable

Sidorova, N. & Stahl, C., 2012, BPMcenter. org. 7 p. (BPM reports; vol. 1209)

Research output: Book/ReportReportAcademic

Stress@Work: from measuring stress to its understanding, prediction and handling with personalized coaching

Bakker, J., Holenderski, L., Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (Miami FL, USA, January 28-30, 2012). New York NY: Association for Computing Machinery, Inc, p. 673-677

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Citations (Scopus)

Stress analytics in education

Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, Proceedings of the 5th International Conference on Educational Data Mining, EDM 2012 2012. Yacef, K., Zaïane, O. R., Hershkovitz, A., Yudelson, M. & Stamper, J. C. (eds.). p. 236-237

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
2 Downloads (Pure)

When can we trust a third party? : a soundness perspective

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2012, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012). Cabac, L., Duvigneau, M. & Moldt, D. (eds.). CEUR-WS.org, p. 47-59 (CEUR Workshop Proceedings; vol. 851).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
2011

Cost-based fitness in conformance checking

Adriansyah, A., Sidorova, N. & Dongen, van, B. F., 2011, Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society, p. 57-66

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
41 Citations (Scopus)
147 Downloads (Pure)

Discovering characteristics of stochastic collections of process models

Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, BPMcenter. org. 17 p. (BPM reports; vol. 1106)

Research output: Book/ReportReportAcademic

4 Citations (Scopus)
1 Downloads (Pure)

Discovering characteristics of stochastic collections of process models

Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings). Rinderle-Ma, S., Toumani, F. & Wolf, K. (eds.). Berlin: Springer, p. 298-312 (Lecture Notes in Computer Science; vol. 6896).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
4 Downloads (Pure)

Distributed genetic process mining using sampling

Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2011, Parallel Computing Technologies (11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings). Malyshkin, V. (ed.). Berlin: Springer, p. 224-237 (Lecture Notes in Computer Science; vol. 6873).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Do my constraints constrain enough? : patterns for strengthening constraints in declarative compliance models

Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2011, BPMcenter. org. 18 p. (BPM reports; vol. 1115)

Research output: Book/ReportReportAcademic

1 Downloads (Pure)

Is my event log complete? - A probabilistic approach to process mining

Hee, van, K. M., Liu, Z. & Sidorova, N., 2011, Proceedings of the 5th IEEE International Conference on Research Challenges in Information Sciences (RCIS 2011, Gosier, Guadeloupe, May 19-21, 2011). Institute of Electrical and Electronics Engineers, p. 1-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
14 Citations (Scopus)
93 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets : weak termination preserved!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1101)

Research output: Book/ReportReportAcademic

Open Access
File
5 Citations (Scopus)
40 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings). Kristensen, L. M. & Petrucci, L. (eds.). Berlin: Springer, p. 149-168 (Lecture Notes in Computer Science; vol. 6709).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Soundness of workflow nets : classification, decidability, and analysis

Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2011, In : Formal Aspects of Computing. 23, 3, p. 333-363

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
234 Citations (Scopus)
127 Downloads (Pure)

Soundness-preserving refinements of service compositions

Hee, van, K. M., Mooij, A. J., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers). Bravetti, M. & Bultan, T. (eds.). Berlin: Springer, p. 131-145 (Lecture Notes in Computer Science; vol. 6551).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
9 Citations (Scopus)
46 Downloads (Pure)

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Sidorova, N., Stahl, C. & Trcka, N., 2011, In : Information Systems. 36, 7, p. 1026-1043

Research output: Contribution to journalArticleAcademicpeer-review

45 Citations (Scopus)
4 Downloads (Pure)

What's your current stress level? Detection of stress patterns from GSR sensor data

Bakker, J., Pechenizkiy, M. & Sidorova, N., 2011, Proceedings 11th IEEE International Conference on Data Mining (ICDM'11, Vancouver BC, Canada, December 11-14, 2011). Institute of Electrical and Electronics Engineers, p. 573-580

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

115 Citations (Scopus)
2 Downloads (Pure)