ProM 4.0 : comprehensive support for real process analysis

W.M.P. Aalst, van der; B.F. Dongen, van; C.W. Günther; R.S. Mans; A.K. Alves De Medeiros; A. Rozinat; V.A. Rubin; M.S. Song; H.M.W. Verbeek; A.J.M.M. Weijters

ProM 4.0 : comprehensive support for real process analysis

W.M.P. Aalst, van der, B.F. Dongen, van, C.W. Günther, R.S. Mans, A.K. Alves De Medeiros, A. Rozinat, V.A. Rubin, M.S. Song, H.M.W. Verbeek, A.J.M.M. Weijters

Information Systems IE&IS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands
Editors	P. Groot, A. Serebrenik, M. Eekelen, van
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	1-10
Publication status	Published - 2007
Event	2007 Symposium on Verification and Validation of Software Systems (VVSS 2007) - Eindhoven, Netherlands Duration: 23 Mar 2007 → 23 Mar 2007

Publication series

Name	Computer Science Reports
Volume	07-04
ISSN (Print)	0926-4515

Conference

Conference	2007 Symposium on Verification and Validation of Software Systems (VVSS 2007)
Country/Territory	Netherlands
City	Eindhoven
Period	23/03/07 → 23/03/07
Other	VVSS 2007, Eindhoven, The Netherlands

Cite this

Aalst, van der, W. M. P., Dongen, van, B. F., Günther, C. W., Mans, R. S., Alves De Medeiros, A. K., Rozinat, A., Rubin, V. A., Song, M. S., Verbeek, H. M. W., & Weijters, A. J. M. M. (2007). ProM 4.0 : comprehensive support for real process analysis. In P. Groot, A. Serebrenik, & M. Eekelen, van (Eds.), Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands (pp. 1-10). (Computer Science Reports; Vol. 07-04). Technische Universiteit Eindhoven.

Aalst, van der, W.M.P. ; Dongen, van, B.F. ; Günther, C.W. et al. / ProM 4.0 : comprehensive support for real process analysis. Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands. editor / P. Groot ; A. Serebrenik ; M. Eekelen, van. Eindhoven : Technische Universiteit Eindhoven, 2007. pp. 1-10 (Computer Science Reports).

@inproceedings{196b68b998c14ad8b9ea0589fd54a343,

title = "ProM 4.0 : comprehensive support for real process analysis",

author = "{Aalst, van der}, W.M.P. and {Dongen, van}, B.F. and C.W. G{\"u}nther and R.S. Mans and {Alves De Medeiros}, A.K. and A. Rozinat and V.A. Rubin and M.S. Song and H.M.W. Verbeek and A.J.M.M. Weijters",

year = "2007",

language = "English",

series = "Computer Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "1--10",

editor = "P. Groot and A. Serebrenik and {Eekelen, van}, M.",

booktitle = "Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands",

note = "2007 Symposium on Verification and Validation of Software Systems (VVSS 2007) ; Conference date: 23-03-2007 Through 23-03-2007",

}

Aalst, van der, WMP, Dongen, van, BF, Günther, CW, Mans, RS, Alves De Medeiros, AK, Rozinat, A, Rubin, VA, Song, MS, Verbeek, HMW & Weijters, AJMM 2007, ProM 4.0 : comprehensive support for real process analysis. in P Groot, A Serebrenik & M Eekelen, van (eds), Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands. Computer Science Reports, vol. 07-04, Technische Universiteit Eindhoven, Eindhoven, pp. 1-10, 2007 Symposium on Verification and Validation of Software Systems (VVSS 2007), Eindhoven, Netherlands, 23/03/07.

ProM 4.0 : comprehensive support for real process analysis. / Aalst, van der, W.M.P.; Dongen, van, B.F.; Günther, C.W. et al.
Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands. ed. / P. Groot; A. Serebrenik; M. Eekelen, van. Eindhoven: Technische Universiteit Eindhoven, 2007. p. 1-10 (Computer Science Reports; Vol. 07-04).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - ProM 4.0 : comprehensive support for real process analysis

AU - Aalst, van der, W.M.P.

AU - Dongen, van, B.F.

AU - Günther, C.W.

AU - Mans, R.S.

AU - Alves De Medeiros, A.K.

AU - Rozinat, A.

AU - Rubin, V.A.

AU - Song, M.S.

AU - Verbeek, H.M.W.

AU - Weijters, A.J.M.M.

PY - 2007

Y1 - 2007

M3 - Conference contribution

T3 - Computer Science Reports

SP - 1

EP - 10

BT - Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands

A2 - Groot, P.

A2 - Serebrenik, A.

A2 - Eekelen, van, M.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

T2 - 2007 Symposium on Verification and Validation of Software Systems (VVSS 2007)

Y2 - 23 March 2007 through 23 March 2007

ER -

Aalst, van der WMP, Dongen, van BF, Günther CW, Mans RS, Alves De Medeiros AK, Rozinat A et al. ProM 4.0 : comprehensive support for real process analysis. In Groot P, Serebrenik A, Eekelen, van M, editors, Proceedings of VVSS 2007 - verification and validation of software systems, 23 March 2007, Eindhoven, The Netherlands. Eindhoven: Technische Universiteit Eindhoven. 2007. p. 1-10. (Computer Science Reports).