Onderzoeksoutput

Filter
Tijdschriftartikel
2009

Dimensions of coupling in middleware

Aldred, L., Aalst, van der, W. M. P., Dumas, M. & Hofstede, ter, A. H. M., 2009, In : Concurrency and Computation : Practice & Experience. 21, 18, blz. 2233-2269

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)

Discovering simulation models

Rozinat, A., Mans, R. S., Song, M. S. & Aalst, van der, W. M. P., 2009, In : Information Systems. 34, 3, blz. 305-327

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

132 Citaten (Scopus)
2 Downloads (Pure)

From business process models to process-oriented software systems

Ouyang, C., Dumas, M., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Mendling, J., 2009, In : ACM Transactions on Software Engineering and Methodology. 19, 1:2, blz. 1-37

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

143 Citaten (Scopus)
6 Downloads (Pure)

Generation of database transactions with Petri nets

Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2009, In : Fundamenta Informaticae. 93, 1-3, blz. 171-184

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)
1 Downloads (Pure)

On the maturity of open source BPM systems

Wohed, P., Hofstede, ter, A. H. M., Russell, N. C., Andersson, B. & Aalst, van der, W. M. P., 2009, In : BPTrends. 7, 6, blz. 1-11

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

On the relationship between workflow models and document types

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P., 2009, In : Information Systems. 34, 1, blz. 178-208

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)
2 Downloads (Pure)

Patterns-based evaluation of open source BPM systems : the cases of jBPM, OpenWFE, and Enhydra Shark

Wohed, P., Russell, N. C., Hofstede, ter, A. H. M., Andersson, B. & Aalst, van der, W. M. P., 2009, In : Information and Software Technology. 51, 8, blz. 1187-1216

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

34 Citaten (Scopus)
11 Downloads (Pure)

Process discovery using integer linear programming

Werf, van der, J. M. E. M., Dongen, van, B. F., Hurkens, C. A. J. & Serebrenik, A., 2009, In : Fundamenta Informaticae. 94, 3-4, blz. 387-412

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

120 Citaten (Scopus)
7 Downloads (Pure)

Process mining applied to the test process of wafer steppers in ASML

Rozinat, A., Jong, de, I. S. M., Günther, C. W. & Aalst, van der, W. M. P., 2009, In : IEEE Transactions on Systems, Man and Cybernetics, Part C, Applications and Reviews. 39, 4, blz. 474-479 6 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

80 Citaten (Scopus)
1 Downloads (Pure)

Questionnaire-based variability modeling for system configuration

La Rosa, M., Aalst, van der, W. M. P., Dumas, M. & Hofstede, ter, A. H. M., 2009, In : Software and Systems Modeling. 8, 2, blz. 251-274 24 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

92 Citaten (Scopus)

Radiology information system: a workflow-based approach

Zhang, J., Lu, X., Nie, H., Huang, Z. & Aalst, van der, W. M. P., 2009, In : International Journal of Computer Assisted Radiology and Surgery. 4, 5, blz. 509-516

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)

Reduction rules for YAWL workflow nets with cancellation regions and OR-joins

Wynn, M. T., Verbeek, H. M. W., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : Information and Software Technology. 51, 6, blz. 1010-1020 11 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

22 Citaten (Scopus)
1 Downloads (Pure)

Soft reliability : an interdisciplinary approach with a user-system focus

Koca, A., Funk, M., Karapanos, E., Rozinat, A., Aalst, van der, W. M. P., Corporaal, H., Martens, J. B. O. S., Putten, van der, P. H. A., Weijters, A. J. M. M. & Brombacher, A. C., 2009, In : Quality and Reliability Engineering International. 25, 1, blz. 3-20 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)
3 Downloads (Pure)

Soundness-preserving reduction rules for reset workflow nets

Wynn, M. T., Verbeek, H. M. W., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : Information Sciences. 179, 6, blz. 769-790 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

24 Citaten (Scopus)

Synchronization and cancelation in workflows based on reset nets

Wynn, M. T., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2009, In : International Journal of Cooperative Information Systems. 18, 1, blz. 63-114

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)

'TomTom' voor bedrijfsprocessen

Aalst, van der, W. M. P., 2009, In : Informatie. 51, 3, blz. 34-41

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Workflow simulation for operational decision support

Rozinat, A., Wynn, M. T., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Fidge, C. J., 2009, In : Data & Knowledge Engineering. 68, 9, blz. 834-850

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

107 Citaten (Scopus)
3 Downloads (Pure)

Workflow support using proclets: divide, interact and conquer

Aalst, van der, W. M. P., Mans, R. S. & Russell, N. C., 2009, In : Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 32, 3, blz. 16-22

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2008

Can I find a partner? Undecidability of partner existence for open nets

Massuthe, P., Serebrenik, A., Sidorova, N. & Wolf, K., 2008, In : Information Processing Letters. 108, 6, blz. 374-378

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

29 Citaten (Scopus)
7 Downloads (Pure)

Configurable workflow models

Gottschalk, F., Aalst, van der, W. M. P., Jansen-Vullers, M. H. & La Rosa, M., 2008, In : International Journal of Cooperative Information Systems. 17, 2, blz. 177-221

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

157 Citaten (Scopus)

Conformance checking of processes based on monitoring real behavior

Rozinat, A. & Aalst, van der, W. M. P., 2008, In : Information Systems. 33, 1, blz. 64-95

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

610 Citaten (Scopus)
1 Downloads (Pure)

Conformance checking of service behavior

Aalst, van der, W. M. P., Dumas, M., Ouyang, C., Rozinat, A. & Verbeek, H. M. W., 2008, In : ACM Transactions on Interactive Intelligent Systems. 8, 3, blz. 13-1/30 13.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

112 Citaten (Scopus)
1 Downloads (Pure)

Detection and prediction of errors in EPCs of the SAP reference model

Mendling, J., Verbeek, H. M. W., Dongen, van, B. F., Aalst, van der, W. M. P. & Neumann, G., 2008, In : Data & Knowledge Engineering. 64, 1, blz. 312-329

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

131 Citaten (Scopus)
1 Downloads (Pure)

Discovering colored Petri nets from event logs

Rozinat, A., Mans, R. S., Song, M. S. & Aalst, van der, W. M. P., 2008, In : International Journal on Software Tools for Technology Transfer. 10, 1, blz. 57-74 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

43 Citaten (Scopus)

Evaluating workflow process designs using cohesion and coupling metrics

Vanderfeesten, I. T. P., Reijers, H. A. & Aalst, van der, W. M. P., 2008, In : Computers in Industry. 59, 5, blz. 420-437

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

78 Citaten (Scopus)
1 Downloads (Pure)

From conceptual process models to running systems: a holistic approach for the configuration of enterprise system processes

Dreiling, A., Rosemann, M., Aalst, van der, W. M. P. & Sadiq, W., 2008, In : Decision Support Systems. 45, 2, blz. 189-207

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

40 Citaten (Scopus)

From task descriptions via colored Petri Nets towards an implementation of a new electronic patient record workflow system

Jørgensen, J. B., Lassen, K. B. & Aalst, van der, W. M. P., 2008, In : International Journal on Software Tools for Technology Transfer. 10, 1, blz. 15-28

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

28 Citaten (Scopus)

Getting rid of the OR-joins and multple start events in business process models

Mendling, J., Dongen, van, B. F. & Aalst, van der, W. M. P., 2008, In : Enterprise Information Systems. 2, 4, blz. 403-419

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

18 Citaten (Scopus)
4 Downloads (Pure)

History-based joins : semantics, soundness and implementation

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2008, In : Data & Knowledge Engineering. 64, 1, blz. 24-37

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Improving process mining with trace clustering [in Korean]

Song, M. S., Günther, C. W., Aalst, van der, W. M. P. & Jung, J-Y., 2008, In : Journal of the Korean Institute of Industrial Engineers. 34, 4, blz. 460-469

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Mining e-mail messages : uncovering interaction patterns and processes using E-mail logs

Aalst, van der, W. M. P. & Nikolov, A., 2008, In : International Journal of Intelligent Information Technologies. 4, 3, blz. 27-45

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
4 Downloads (Pure)

Pattern-based translation of BPMN process models to BPEL web services

Ouyang, C., Dumas, M., Hofstede, ter, A. H. M. & Aalst, van der, W. M. P., 2008, In : International Journal of Web Services Research. 5, 1, blz. 42-62

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

100 Citaten (Scopus)
1 Downloads (Pure)

Process mining in web services : the websphere case

Aalst, van der, W. M. P. & Verbeek, H. M. W., 2008, In : Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 31, 3, blz. 45-48

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Proposal for: requirements and evaluation of tool papers for Petri Nets

Franceschinis, G., Hee, van, K. M., Kindler, E., Kordon, F., Kristensen, L. M. & Wolf, K., 2008, In : Petri Net Newsletter. 75, blz. 9-18

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)
18 Citaten (Scopus)
1 Downloads (Pure)

Quantifying process equivalence based on observed behavior

Alves De Medeiros, A. K., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2008, In : Data & Knowledge Engineering. 64, 1, blz. 55-74

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

104 Citaten (Scopus)

Semantic-based framework for personalised ambient media

Aroyo, L. M., Bellekens, P. A. E., Björkman, M. L. & Houben, G. J. P. M., 2008, In : Multimedia Tools and Applications. 36, 1-2, blz. 71-87

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

13 Citaten (Scopus)

Simulated time for host-based testing with TTCN-3

Blom, S. C. C., Deiß, T., Ioustinova, N., Kontio, A., Pol, van de, J. C., Rennoch, A. & Sidorova, N., 2008, In : Software Testing, Verification and Reliability. 18, 1, blz. 29-49

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
73 Downloads (Pure)

Statistical certification of software systems

Di Bucchianico, A., Groote, J. F., Hee, van, K. M. & Kruidhof, R., 2008, In : Communications in Statistics. Part B, Simulation and Computation. 37, 2, blz. 346-359

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

Streamlining progress-based derivations of concurrent programs

Dongol, B. & Mooij, A. J., 2008, In : Formal Aspects of Computing. 20, 2, blz. 141-160

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)

Tagging and the semantic web in cultural heritage

Sluijs, van der, K. A. M. & Houben, G. J. P. M., 2008, In : ERCIM News. 72, blz. 22-23

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Token history Petri nets

Hee, van, K. M., Serebrenik, A. & Sidorova, N., 2008, In : Fundamenta Informaticae. 85, 1-4, blz. 219-234

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
3 Downloads (Pure)

Towards comprehensive support for organizational mining

Song, M. S. & Aalst, van der, W. M. P., 2008, In : Decision Support Systems. 46, 1, blz. 300-317

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

174 Citaten (Scopus)

Translating unstructured workflow processes to readable BPEL: theory and implementation

Aalst, van der, W. M. P. & Lassen, K. B., 2008, In : Information and Software Technology. 50, 3, blz. 131-159

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

69 Citaten (Scopus)
1 Downloads (Pure)

Workflow resource patterns as a rule to support OASIS BPEL4People standardization efforts

Russell, N. C. & Aalst, van der, W. M. P., 2008, In : BPTrends. March 2008, 26 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Working with the past : integrating history in Petri nets

Hee, van, K. M., Serebrenik, A., Sidorova, N. & Aalst, van der, W. M. P., 2008, In : Fundamenta Informaticae. 88, 3, blz. 387-409

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
2007

A configurable reference modelling language

Rosemann, M. & Aalst, van der, W. M. P., 2007, In : Information Systems. 32, 1, blz. 1-23

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

379 Citaten (Scopus)

A formal modeling approach for supply chain event management

Liu, R., Kumar, A. & Aalst, van der, W. M. P., 2007, In : Decision Support Systems. 43, 3, blz. 761-778

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

97 Citaten (Scopus)

An SOA-based architecture framework

Aalst, van der, W. M. P., Beisiegel, M., Hee, van, K. M., König, D. & Stahl, C., 2007, In : International Journal of Business Process Integration and Management. 2, 2, blz. 91-101

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

22 Citaten (Scopus)
1 Downloads (Pure)

A pattern-based analysis of clinical computer-interpretable guideline modeling languages

Mulyar, N. A., Aalst, van der, W. M. P. & Peleg, M., 2007, In : Journal of the American Medical Informatics Association. 14, 6, blz. 781-787

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

68 Citaten (Scopus)
9 Downloads (Pure)