Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 20 resultaten
Zoekresultaten
-
2013
Discrete timed Petri nets
Bera, D., Hee, van, K. M. & Sidorova, N., 2013, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1303)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand227 Downloads (Pure) -
2012
Soundness for resource-constrained workflow nets is decidable
Sidorova, N. & Stahl, C., 2012, BPMcenter. org. 7 blz. (BPM reports; vol. 1209)Onderzoeksoutput: Boek/rapport › Rapport › Academic
1 Downloads (Pure) -
2011
Discovering characteristics of stochastic collections of process models
Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, BPMcenter. org. 17 blz. (BPM reports; vol. 1106)Onderzoeksoutput: Boek/rapport › Rapport › Academic
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 blz. (BPM reports; vol. 1115)Onderzoeksoutput: Boek/rapport › Rapport › Academic
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 blz. (Computer science reports; vol. 1101)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand86 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)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand67 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 blz. (Computer science reports; vol. 0819)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand175 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 blz. (Computer science reports; vol. 0831)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand197 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 blz. (Computer science reports; vol. 0832)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand198 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 blz. (Computer science reports; vol. 0813)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand225 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 blz. (Computer science reports; vol. 0716)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand56 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 blz. (CWI Report; vol. SEN-R0609)Onderzoeksoutput: Boek/rapport › Rapport › Academic
-
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 blz. (Computer science reports; vol. 0602)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand123 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 blz. (Computer science reports; vol. 0608)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand151 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 blz. (CWI report SEN-E : software engineering; vol. 0503)Onderzoeksoutput: Boek/rapport › Rapport › Academic
-
2003
Generalised soundness of workflow nets is decidable
Voorhoeve, M., Hee, van, K. M. & Sidorova, N., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0315)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand285 Downloads (Pure) -
Timed verification with µCRL
Blom, S. C. C., Ioustinova, N. & Sidorova, N., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 14 blz. (CWI report SEN-E : software engineering; vol. 0312)Onderzoeksoutput: Boek/rapport › Rapport › Academic
-
Using fairness to make abstractions work
Bosnacki, D., Ioustinova, N. & Sidorova, N., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 18 blz. (CWI report SEN-E : software engineering; vol. 0313)Onderzoeksoutput: Boek/rapport › Rapport › Academic
-
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 blz. (CWI report. SEN-R : software engineering; vol. 0228)Onderzoeksoutput: Boek/rapport › Rapport › Academic
-
Closing open SDL-systems for model checking with DTSpin
Ioustinova, N., Sidorova, N. & Steffen, M., 2002, Amsterdam: Centrum voor Wiskunde en Informatica. 15 blz. (CWI report. SEN-R : software engineering; vol. 0227)Onderzoeksoutput: Boek/rapport › Rapport › Academic