Natalia Sidorova

Onderzoeksoutput

Onderzoeksoutput per jaar 1999 2006 2007 2008 2009 2011 2013 2023

• 82 Conferentiebijdrage
• 26 Tijdschriftartikel
• 20 Rapport
• 12 Hoofdstuk

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2022

  Aligning Event Logs to Resource-Constrained ν -Petri Nets

  Sommers, D., Sidorova, N. & van Dongen, B., 2022, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings. Bernardinello, L. & Petrucci, L. (uitgave). Springer, blz. 325-345 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13288 LNCS).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Petri Net 100%
  • Shared Resource 75%
  • Checking Technique 25%
  • Resource Isolation 25%
  3 Citaten (Scopus)
• 2021

  Designing Micro-intelligences for Situated Affective Computing

  Lövei, P., Nazarchuk, I., Aslam, S., Yu, B., Megens, C. J. P. G. & Sidorova, N., 11 nov. 2021, CHIIOT 2021: Workshops on Computer Human Interaction in IoT Applications. Liang, R.-H., Chiumento, A., Pawełczak, P. & Funk, M. (uitgave).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Affective Computing 100%
  • Internet of Things 50%
  • Annotation 50%
  • Emotional State 50%
  1 Citaat (Scopus)

• Signal Phrase Extraction: Gateway to Information Retrieval Improvement in Law Texts

  Sidorova, N. & van der Veen, M., 2 dec. 2021, Legal Knowledge and Information Systems - JURIX 2021: The 34th Annual Conference. Schweighofer, E. (uitgave). IOS Press, blz. 127-130 4 blz. (Frontiers in Artificial Intelligence and Applications; vol. 346).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  • European Language 100%
  • Case Study 100%
  • Information Retrieval 100%
  • Legal Text 100%
  1 Citaat (Scopus)
• 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. (uitgave). Cham: Springer, blz. 88-108 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • usability test 100%
  • Driven Approach 20%
  • User Behavior 20%
  • Case Study 20%
  4 Citaten (Scopus)

  3 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. (uitgave). Cham: Springer, blz. 18-30 13 blz. (Lecture Notes in Business Information Processing; vol. 342).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • System Behavior 100%
  • Lifecycle Model 50%
  • Concurrency 50%
  • Process Discovery 50%
  • Interactive Visualization 50%
  7 Citaten (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. (uitgave). Berlin: Springer, blz. 251-269 19 blz. (Lecture Notes in Networks and Systems; vol. 15).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Model 100%
  • Process Mining 100%
  • Supervised Learning 100%
  • Learning Technique 100%
  • Process Discovery 60%
  39 Citaten (Scopus)

  5 Downloads (Pure)

• 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. (uitgave). Dordrecht: Springer, blz. 374-384 11 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Model 100%
  • Pattern Mining 100%
  • Petri Net 100%
  • Frequent Patterns 60%
  • Process Discovery 60%
  9 Citaten (Scopus)

  2 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, blz. 56-63 8 blz. 8595032

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Model 100%
  • Home Environment 28%
  • Association Rules 14%
  • Speed-up 14%
  • Business Process Modeling 14%
  8 Citaten (Scopus)

  1 Downloads (Pure)
• 2017

  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, blz. 109-118 10 blz. 8010712

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Process Model 100%
  • State Machine 50%
  • In-Process 50%
  • Process Mining 50%
  • Process Discovery 50%
  15 Citaten (Scopus)

  137 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, blz. 1-8 7849948

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Process Model 100%
  • Execution Time 12%
  • clustering approach 12%
  • Information Gain 12%
  16 Citaten (Scopus)

  129 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. (uitgave). blz. 83-86

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand
  183 Downloads (Pure)
• 2016

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

  Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 2016, Proceedings of the BPM Demo Track 2016. Azevedo, L. & Cabanillas, C. (uitgave). CEUR-WS.org, blz. 73-77 5 blz. (CEUR Workshop Proceedings; vol. 1789).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • State Machine 100%
  • Process Perspective 100%
  • Process Discovery 100%
  • Composite State 100%
  • Process Model 50%
  4 Citaten (Scopus)

  129 Downloads (Pure)

• 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. (uitgave). Dordrecht: Springer, blz. 142-157 16 blz. (Lecture notes in computer science; vol. 9850).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  • Process Perspective 100%
  • Process Mining 100%
  • Interactive Visualization 50%
  • Behavior Data 50%
  • Loan Application Process 50%
  26 Citaten (Scopus)

  6 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, blz. 1-12 12 blz. 7549355

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Process Mining 100%
  • Process Mining Technique 66%
  • Case Study 66%
  • Process Model 33%
  • Product Design 33%
  56 Citaten (Scopus)

  817 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. blz. 1-12

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand
  68 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. (uitgave). Aachen: CEUR-WS.org, blz. 97-104 (CEUR Workshop Proceedings; vol. 1367).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Planning Activity 100%
  • Executable Model 100%
  • Business Process 50%
  • State Space 50%
  • Human Resource 50%
  165 Downloads (Pure)
• 2013

  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. (uitgave). Berlin: Springer, blz. 20-37 (Lecture Notes in Computer Science; vol. 7565).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Configurability 100%
  • Process Model 50%
  • Modeling Business Process 50%
  • modeling language 50%
  • Case Study 50%
  14 Citaten (Scopus)

  1 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, blz. 184-191

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Vocational School 100%
  • Multiple Task 100%
  • Academic Staff 100%
  • Multiple Responsibility 100%
  • Case Study 100%
  14 Citaten (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. (uitgave). Berlin: Springer, blz. 150-167 (Lecture Notes in Computer Science; vol. 8161).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Soundness 100%
  • Single Instance 33%
  • Decision Procedure 33%
  • Reachable State 33%

• 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, blz. 53-58

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Behavioral Change 100%
  • Behavioral Pattern 100%
  • Sensor Measurement 100%
  • Main Result 100%
  • Field Study 100%
  123 Citaten (Scopus)

  6 Downloads (Pure)

• 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. (uitgave). Berlin: Springer, blz. 1-20 (Lecture Notes in Computer Science; vol. 7927).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Stochastics 100%
  • Probability Distribution 50%
  • Analysis Technique 25%
  • Continuous Time Model 25%
  • Discrete Model 25%
  9 Citaten (Scopus)

  2 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. (uitgave). Berlin: Springer, blz. 327-342 (Lecture Notes in Computer Science; vol. 7321).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Model 100%
  • Process Execution 33%
  • Process Instance 33%
  • Actual Behavior 33%
  18 Citaten (Scopus)

• 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, blz. 673-677

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Stress Level 100%
  • Major Factor 100%
  • Lesson Learnt 100%
  • Data Mining 100%
  • Predictive Modeling 100%
  57 Citaten (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. (uitgave). blz. 236-237

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Subjective Data 100%
  • Potential Stressor 100%
  • Stressors 100%
  5 Citaten (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. (uitgave). CEUR-WS.org, blz. 47-59 (CEUR Workshop Proceedings; vol. 851).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Study Requirements 100%
  • Soundness 100%
  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, blz. 57-66

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Checking Technique 100%
  • Business Process 50%
  • Process Model 50%
  • Operational Process 50%
  • Process Execution 50%
  75 Citaten (Scopus)

  325 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. (uitgave). Berlin: Springer, blz. 298-312 (Lecture Notes in Computer Science; vol. 6896).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Smaller Sample 100%
  • Stochastics 100%
  • Process Model 100%
  • Real Life 33%
  • Sensitive Informations 25%
  4 Citaten (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. (uitgave). Berlin: Springer, blz. 224-237 (Lecture Notes in Computer Science; vol. 6873).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Mining 100%
  • Complex Problem 100%
  • Fitness Evaluation 100%
  • Genetic Operator 100%
  • Process Model 66%
  4 Citaten (Scopus)

• 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, blz. 1-12

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Process Mining 100%
  • Probabilistic Approach 100%
  • Process Model 33%
  • Subclasses 33%
  • Extracting Process 33%
  24 Citaten (Scopus)

  251 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. (uitgave). Berlin: Springer, blz. 149-168 (Lecture Notes in Computer Science; vol. 6709).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Sufficient Condition 100%
  • Refines 100%
  • Behavioral Property 100%
  • Boundedness 100%
  5 Citaten (Scopus)

  1 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. (uitgave). Berlin: Springer, blz. 131-145 (Lecture Notes in Computer Science; vol. 6551).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Soundness 100%
  • Service Composition 100%
  • Initial State 100%
  • Final State 100%
  • Petri Net 20%
  10 Citaten (Scopus)

  100 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, blz. 573-580

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Sensor Data 100%
  • Collected Data 100%
  • Stress Level 100%
  • Detection Task 50%
  • Major Problem 50%
  237 Citaten (Scopus)

  2 Downloads (Pure)
• 2010

  Construction of asynchronous communicating systems: weak termination guaranteed!

  Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2010, Software Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings). Baudry, B. & Wohlstadter, E. (uitgave). Berlin: Springer, blz. 106-121 (Lecture Notes in Computer Science; vol. 6144).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Concurrency 100%
  • Service Oriented Computing 100%
  • Service Oriented Architecture 100%
  9 Citaten (Scopus)

  1 Downloads (Pure)

• Distributed genetic process mining

  Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2010, Proceedings 2010 IEEE World Congress on Computational Intelligence (IEEE CEC 2010, Barcelona, Spain, July 18-23, 2010). Institute of Electrical and Electronics Engineers, blz. 1951-1958

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Process Mining 100%
  • Computation Time 100%
  • Genetic Operator 100%
  • Main Disadvantage 50%
  • Process Model 40%
  22 Citaten (Scopus)

• Workflow soundness revisited : checking correctness in the presence of data while staying conceptual

  Sidorova, N., Stahl, C. & Trcka, N., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (uitgave). Berlin: Springer, blz. 530-544 (Lecture Notes in Computer Science; vol. 6051).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Soundness 100%
  • Control Flow 100%
  • Information System 50%
  • Extended Net 50%
  28 Citaten (Scopus)
• 2009

  Petri nets with may/must semantics: Preserving properties through data refinements

  Kouchnarenko, O., Sidorova, N. & Trcka, N., 2009, Proceedings 18th Workshop on Concurrency and Specification (CS&P'09, Kraków-Przegorzaly, Poland, September 28-30, 2009). Czaja, L. (uitgave). Warsaw: Institute of Informatics, Warsaw University, blz. 291-302

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Petri Net 100%
  • Preserving Property 100%
  • Process Management 50%
  • Design Phase 50%
  • Soundness 50%
  94 Downloads (Pure)

• Predicting service request rates for adaptive resource allocation in SOA

  Serebrenik, A. & Sidorova, N., 2009, Proceedings 5th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2009, Amsterdam, The Netherlands, June 8-9, 2009; in conjunction with CAiSE 2009). Barjis, J., Kinghorn, J., Ramaswamy, S., Dubois, E. & Johannesson, P. (uitgave). Association for Computing Machinery, Inc, blz. 4-1/14 (CEUR Workshop Proceedings; vol. 458).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Service Request 100%
  • Resource Allocation 100%
  • Service Oriented Architecture 100%
  • Allocation 100%
  • Enterprise Architecture 100%
  1 Citaat (Scopus)

  2 Downloads (Pure)

• Workflow completion patterns

  Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2009, Proceedings 5th Annual IEEE Conference on Automation Science and Engineering (CASE 2009, Bangalore, India, August 22-25, 2009). Institute of Electrical and Electronics Engineers, blz. 7-12

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

  Open Access

  Bestand

  • Temporal Logic 100%
  • Control Flow 100%
  • Anti-Pattern 100%
  • Model Checking 100%
  9 Citaten (Scopus)

  221 Downloads (Pure)
• 2008

  Adaptive workflows for healthcare information systems

  Hee, van, K. M., Schonenberg, H., Serebrenik, A., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). Hofstede, ter, A. H. M., Benatallah, B. & Paik, H. Y. (uitgave). Berlin: Springer, blz. 359-370 (Lecture Notes in Computer Science; vol. 4928).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Healthcare Information 100%
  • Information System 100%
  • Healthcare Provider 50%
  • Future Development 25%
  • Data Communication 25%
  12 Citaten (Scopus)

  1 Downloads (Pure)

• A reference model for grid architectures and its analysis

  Bratosin, C. C., Aalst, van der, W. M. P., Sidorova, N. & Trcka, N., 2008, On the Move to Meaningful Internet Systems 2008: OTM 2008 Confederated International Conferences (Monterrey, Mexico, November 9-14, 2008), Part I. Meersman, R. & Tari, Z. (uitgave). Berlin: Springer, blz. 898-913 (Lecture Notes in Computer Science; vol. 5331).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

  • Reference Model 100%
  • Colored Petri Net 100%
  • Conceptual Model 33%
  • Distributed Infrastructure 33%
  • Formal Description 33%
  8 Citaten (Scopus)

  2 Downloads (Pure)

• Evaluating a data removal strategy for grid environments using colored Petri nets

  Trcka, N., Aalst, van der, W. M. P., Bratosin, C. C. & Sidorova, N., 2008, Principles of Distributed Systems (12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008, Proceedings). Baker, T. P., Bui, A. & Tixeuil, S. (uitgave). Berlin: Springer, blz. 538-541 (Lecture Notes in Computer Science; vol. 5401).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

  • Tasks 100%
  • Performance Analysis 100%
  • Petri Net Model 100%
  • Grid Environment 100%
  • Colored Petri Net 100%
  1 Citaat (Scopus)

• Generation of database transactions with Petri nets

  Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2008, Proceedings of Concurrency, Specification and Programming (CS&P 2008, Groß Väter See bei Berlin, Germany, September 29-October 1, 2008). Burkhard, H. D., Lindemann, G. & Schlingloff, H. (uitgave). blz. 488-499

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Transaction Database 100%
  • Petri Net 100%
  • Consistent State 66%
  • Subclasses 33%
  • Data Model 33%
  203 Downloads (Pure)

• Soundness and niceness as correctness criteria for grid workflows

  Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2008, Proceedings of the IEEE Fourth International Conference on e-Science (Indianapolis IN, USA, December 7-12, 2008). IEEE Computer Society, blz. 55-62

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Soundness 100%
  • grid workflow 100%
  • Incorrect Data 50%
  • Control Flow 25%
  • Deadlock 25%

• Soundness of workflow nets with reset arcs is undecidable!

  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., 2008, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08). Kleijn, J. & Koutny, M. (uitgave). blz. 57-72

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Soundness 100%
  • Petri Net 66%
  • Formal Semantics 33%
  • Workflow Analysis 33%
  • Theoretical Limit 33%
  1 Downloads (Pure)
• 2007

  Adaptive workflow nets for grid computing

  Bratosin, C. C., Hee, van, K. M. & Sidorova, N., 2007, Proceedings of the 9th International Conference on Parallel Computing Technologies (PaCT 2007) 3-7 September 2007, Pereslavl-Zalessky, Russia. Malyshkin, V. E. (uitgave). Springer, blz. 15-21 (Lecture Notes in Computer Science; vol. 4671).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Grid Computing 100%
  • grid workflow 100%
  • Soundness 33%
  • Triggering Event 33%
  • grid service 33%
  1 Citaat (Scopus)

  157 Downloads (Pure)

• Bug hunting with false negatives

  Calamé, J. R., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2007, Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom. Davies, J. & Gibbons, J. (uitgave). Berlin, Germany: Springer, blz. 98-117 (Lecture Notes in Computer Science; vol. 4591).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • False Negative 100%
  • Concrete System 100%
  • Data Abstraction 50%
  • Model Checking 50%
  110 Downloads (Pure)

• Constraint-based workflow models : change made easy

  Pesic, M., Schonenberg, M. H., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Confederated International Conferences On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, ODBASE, and IS (OTM 2007) 25-30 November 2007, Vilamoura, Portugal. Meersman, R. & Tari, Z. (uitgave). Berlin: Springer, blz. 77-94 (Lecture Notes in Computer Science; vol. 4803).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

  Open Access

  Bestand

  • Process Definition 100%
  • Business Process 50%
  • Workflow Management System 50%
  • Business Domain 50%
  • Traditional Model 50%
  181 Citaten (Scopus)

  359 Downloads (Pure)

• Designing case handling systems

  Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2007, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. Moldt, D., Kordon, F., Hee, van, K. M., Colom, J. M. & Bastide, R. (uitgave). blz. 52-66

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

• History-dependent Petri nets

  Van Hee, K., Serebrenik, A., Sidorova, N. & Van Aalst, W. D., 1 dec. 2007, Petri Nets and Other Models of Concurrency - ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Proceedings. Yakovlev, A. (uitgave). Berlin: Springer, blz. 164-183 20 blz. (Lecture Notes in Computer Science; vol. 4546).

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  Open Access

  Bestand

  • Petri Net 100%
  • Process Model 25%
  • Workflow Management System 25%
  • Transaction Log 25%
  • Process History 25%
  9 Citaten (Scopus)

  364 Downloads (Pure)

• Modeling a grid

  Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Concurrency, Specification and Programming Conference (CS&P 2007), 27-29 September 2007, Łagów, Poland. Czaja, L. (uitgave). Vol. 1. blz. 63-74

  Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review