• 1700 Citations
19992019

Research output per year

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

Research Output

Filter
Report
2013

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)
2012

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

2011

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)

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)

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)
2009

Compositional service trees

Aalst, van der, W. M. P., Hee, van, K. M., Massuthe, P., Sidorova, N. & Werf, van der, J. M. E. M., 2009, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0901)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)
2008

A framework for linking and pricing no-cure-no-pay services

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0819)

Research output: Book/ReportReportAcademic

Open Access
File
67 Downloads (Pure)

Analyzing control-flow and data-flow in workflow processes in a unified way

Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0831)

Research output: Book/ReportReportAcademic

Open Access
File
122 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, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0832)

Research output: Book/ReportReportAcademic

Open Access
File
74 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., 2008, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0813)

Research output: Book/ReportReportAcademic

Open Access
File
71 Downloads (Pure)
2007

A price of service in a compositional SOA framework

Hee, van, K. M., Sidorova, N., Stahl, C. & Verbeek, H. M. W., 2007, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0716)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)
2006

Bug hunting with false negatives

Calamé, J. R., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 32 p. (CWI Report; vol. SEN-R0609)

Research output: Book/ReportReportAcademic

Nested nets for adaptive systems

Hee, van, K. M., Lomazova, I. A., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0602)

Research output: Book/ReportReportAcademic

Open Access
File
43 Citations (Scopus)
67 Downloads (Pure)

Verifying generalized soundness for workflow nets

Hee, van, K. M., Oanea, O. I., Sidorova, N. & Voorhoeve, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 0608)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)
2005

Simulated time for testing railway interlockings with TTCN-3

Blom, S. C. C., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2005, Amsterdam: Centrum voor Wiskunde en Informatica. 13 p. (CWI report SEN-E : software engineering; vol. 0503)

Research output: Book/ReportReportAcademic

2003

Generalised soundness of workflow nets is decidable

Voorhoeve, M., Hee, van, K. M. & Sidorova, N., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0315)

Research output: Book/ReportReportAcademic

Open Access
File
76 Downloads (Pure)

Timed verification with µCRL

Blom, S. C. C., Ioustinova, N. & Sidorova, N., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 14 p. (CWI report SEN-E : software engineering; vol. 0312)

Research output: Book/ReportReportAcademic

Using fairness to make abstractions work

Bosnacki, D., Ioustinova, N. & Sidorova, N., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 18 p. (CWI report SEN-E : software engineering; vol. 0313)

Research output: Book/ReportReportAcademic

2002

Abstraction and flow analysis for model checking open asynchronous systems

Ioustinova, N., Sidorova, N. & Steffen, M., 2002, Amsterdam: Centrum voor Wiskunde en Informatica. 14 p. (CWI report. SEN-R : software engineering; vol. 0228)

Research output: Book/ReportReportAcademic

5 Citations (Scopus)

Closing open SDL-systems for model checking with DTSpin

Ioustinova, N., Sidorova, N. & Steffen, M., 2002, Amsterdam: Centrum voor Wiskunde en Informatica. 15 p. (CWI report. SEN-R : software engineering; vol. 0227)

Research output: Book/ReportReportAcademic

10 Citations (Scopus)