|
|
Publications Wil van der Aalst [2009]
Click here for full list,
recent publications,
2010,
2009,
2008, 2007,
2006, 2005,
2000-2004,
before 2000.
- 495
-
J. Cardoso and W.M.P. van der Aalst.
Path Mining and Process Mining for Workflow Management Systems.
In J. Wang, editor, Encyclopedia of Data Warehousing and Mining
(Volume III), pages 1489-1496. IGI Global, 2009.
- 496
-
A. Koca, M. Funk, E. Karapanos, A. Rozinat, W.M.P. van der Aalst,
H. Corporaal, J. Martens, P. van der Putten, A. Weijters, and
A. Brombacher.
Soft Reliability: An Interdisciplinary Approach with a User-System
Focus.
Quality and Reliability Engineering International, 25(1):3-20,
2009.
- 497
-
K.B. Lassen and W.M.P. van der Aalst.
Complexity Metrics for Workflow Nets.
Information and Software Technology, 51(3):610-626, 2009.
- 498
-
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and
D. Edmond.
Soundness-preserving Reduction Rules for Reset Workflow Nets.
Information Sciences, 179(6):769-790, 2009.
- 499
-
R.S. Mans, M.H. Schonenberg, M. Song, W.M.P. van der Aalst, and P.J.M.
Bakker.
Application of Process Mining in Healthcare: A Case Study in a Dutch
Hospital.
In Biomedical Engineering Systems and Technologies, volume 25
of Communications in Computer and Information Science, pages 425-438.
Springer-Verlag, Berlin, 2009.
- 500
-
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M.
Bakker.
Schedule-Aware Workflow Management Systems.
In D. Moldt, editor, Proceedings of the International Workshop
on Petri Nets and Software Engineering (PNSE'09), pages 81-96.
Université Paris 13, Paris, France, 2009.
- 501
-
W.M.P. van der Aalst, K.M. van Hee, P. Massuthe, N. Sidorova, and J.M. van
der Werf.
Compositional Service Trees.
In G. Franceschinis and K. Wolf, editors, Proceedings of the
30th International Conference on Applications and Theory of Petri Nets (Petri
Nets 2009), volume 5606 of Lecture Notes in Computer Science, pages
283-302. Springer-Verlag, Berlin, 2009.
- 502
-
W.M.P. van der Aalst, K.M. van Hee, N. Sidorova, and J.M. van der Werf.
Compositional Service Trees.
Computer Science Report No. 09-01, Technische Universiteit
Eindhoven, The Netherlands, 2009.
- 503
-
A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst.
Process Mining Applied to the Test Process of Wafer Scanners in ASML.
IEEE Transactions on Systems, Man and Cybernetics, Part C,
39(4):474-479, 2009.
- 504
-
M. Zapletal, W.M.P. van der Aalst, N. Russell, P. Liegl, and H. Werthner.
Patterns-Based Analysis of Windows Workflow.
Computer Science Report No. 09-07, Technische Universiteit
Eindhoven, The Netherlands, 2009.
- 505
-
A. Rozinat, S. Zickler, M. Veloso, W.M.P. van der Aalst, and C. McMillen.
Analyzing Multi-agent Activity Logs Using Process Mining
Techniques.
In H. Asama, H. Kurokawa, J. Ota, and K. Sekiyama, editors,
Distributed Autonomous Robotic Systems, volume 8, pages 251-260.
Springer-Verlag, Berlin, 2009.
- 506
-
W.M.P. van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and
H. Schonenberg.
Flexibility as a Service.
In L. Chen, editor, Database Systems for Advanced Applications
(DASFAA 2009), volume 5667 of Lecture Notes in Computer Science, pages
320-334. Springer-Verlag, Berlin, 2009.
- 507
-
W.M.P. van der Aalst, M. Pesic, and H. Schonenberg.
Declarative Workflows: Balancing Between Flexibility and Support.
Computer Science - Research and Development, 23(2):99-113,
2009.
- 508
-
J. Cardoso and W.M.P. van der Aalst.
Handbook of Research on Business Process Modeling.
Information Science Publishing, Hershey, PA, USA, 2009.
- 509
-
J. Recker, M. Rosemann, W.M.P. van der Aalst, M.H. Jansen-Vullers, and
A. Dreiling.
Configurable Reference Modeling Languages.
In A. Bajaj and S. Wrycza, editors, Chapter XIV: Systems
Analysis and Design for Advanced Modeling Methods - Best Practices, pages
180-201. IGI Global, Hershey, PA, USA, 2009.
- 510
-
W.M.P. van der Aalst.
TomTom voor Bedrijfsprocessen.
Informatie, 20(3):34-41, 2009.
- 511
-
P. Wohed, A.H.M. ter Hofstede, N. Russell, B. Andersson, and W.M.P. van der
Aalst.
On the Maturity of Open Source BPM Systems.
BPTrends, 7(6):1-11, June 2009.
- 512
-
F. Bezerra, J. Wainer, and W.M.P. van der Aalst.
Anomaly Detection Using Process Mining.
In T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt,
P. Sofer, and R. Ukor, editors, Enterprise, Business-Proces and
Information Systems Modeling, volume 29 of Lecture Notes in Business
Information Processing, pages 149-161. Springer-Verlag, Berlin, 2009.
- 513
-
W.M.P. van der Aalst. TomTom for Business Process Management (TomTom4BPM).
In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced
Information Systems Engineering, Proceedings of the 21st International
Conference on Advanced Information Systems Engineering (CAiSE'09), volume
5565 of Lecture Notes in Computer Science, pages 2-5. Springer-Verlag,
Berlin, 2009.
- 514
-
N. Trcka, W.M.P. van der Aalst, and N. Sidorova.
Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows.
In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced
Information Systems Engineering, Proceedings of the 21st International
Conference on Advanced Information Systems Engineering (CAiSE'09), volume
5565 of Lecture Notes in Computer Science, pages 425-439.
Springer-Verlag, Berlin, 2009.
- 515
-
F. Gottschalk, T. Wagemakers, M.H. Jansen-Vullers, W.M.P. van der Aalst,
N. Sidorova, and M. La Rosa.
Configurable Process Models: Experiences From a Municipality Case
Study.
In P. van Eck, J. Gordijn, , and R. Wieringa, editors, Advanced
Information Systems Engineering, Proceedings of the 21st International
Conference on Advanced Information Systems Engineering (CAiSE'09), volume
5565 of Lecture Notes in Computer Science, pages 486-500.
Springer-Verlag, Berlin, 2009.
- 516
-
W.M.P. van der Aalst.
Using Process Mining to Generate Accurate and Interactive Business
Process Maps.
In A. Abramowicz and D. Flejter, editors, Business Information
Systems (BIS 2009) Workshops, volume 37 of Lecture Notes in Business
Information Processing, pages 1-14. Springer-Verlag, Berlin, 2009.
- 517
-
W.M.P. van der Aalst, A.J. Mooij, C. Stahl, and K. Wolf.
Service Interaction: Patterns, Formalization, and Analysis.
In M. Bernardo, L. Padovani, and G. Zavattaro, editors, Formal
Methods for Web Services, volume 5569 of Lecture Notes in Computer
Science, pages 42-88. Springer-Verlag, Berlin, 2009.
- 518
-
M. Song, C.W. Günther, and W.M.P. van der Aalst.
Trace Clustering in Process Mining.
In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the
Fourth Workshop on Business Process Intelligence (BPI 2008), volume 17 of
Lecture Notes in Business Information Processing, pages 109-120.
Springer-Verlag, Berlin, 2009.
- 519
-
M. Netjes, H. Reijers, and W.M.P. van der Aalst.
On the Formal Generation of Process Redesigns.
In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the
International Workshop on Model-Driven Engineering For Business Process
Management (MDE4BPM08), volume 17 of Lecture Notes in Business
Information Processing, pages 224-235. Springer-Verlag, Berlin, 2009.
- 520
-
R. Mans, W.M.P. van der Aalst, N. Russell, and P.J.M. Bakker.
Flexibility Schemes for Workflow Management Systems.
In D. Ardagna, editor, BPM 2008 Workshops, Proceedings of the
Second International Workshop on Process-oriented Information Systems in
Healthcare (ProHealth08), volume 17 of Lecture Notes in Business
Information Processing, pages 361-372. Springer-Verlag, Berlin, 2009.
- 521
-
W.M.P. van der Aalst, editor.
Special Issue of Transactions on Petri Nets and Other Models of
Concurrency on Concurrency in Process-Aware Information Systems (ToPNoC
II), volume 5460 of Lecture Notes in Computer Science.
Springer-Verlag, Berlin, 2009.
- 522
-
W.M.P. van der Aalst. Process-Aware Information Systems:
Lessons to Be Learned from Process Mining. In Transactions
on Petri Nets and Other Models of Concurrency II, volume 5460 of
Lecture Notes in Computer Science, pages 1-26. Springer-Verlag, Berlin,
2009.
- 523
-
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and
D. Edmond.
Business Process Verification: Finally a Reality!
Business Process Management Journal, 15(1):74-92, 2009.
- 524
-
W.M.P. van der Aalst.
Process-Aware Information Systems: Design, Enactment and Analysis.
In B.W. Wah, editor, Wiley Encyclopedia of Computer Science and
Engineering, pages 2221-2233. Wiley & Sons, 2009.
- 525
-
L. Wen, J. Wang, W.M.P. van der Aalst, B. Huang, and J. Sun.
A Novel Approach for Process Mining Based on Event Types.
Journal of Intelligent Information Systems, 32(2):163-190,
2009.
- 526
-
C. Ouyang, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede, and
J. Mendling.
From Business Process Models to Process-oriented Software Systems.
ACM Transactions on Software Engineering and Methodology,
19(1):1-37, 2009.
- 527
-
M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede, and
D. Edmond.
Reduction Rules for YAWL Workflows with Cancellation Regions and
OR-join.
Information and Software Technology, 51(6):1010-1020, 2009.
- 528
-
M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and D. Edmond.
Synchronisation and Cancellation in Workflows based on Reset Nets.
International Journal of Cooperative Information Systems,
18(1):63-114, 2009.
- 529
-
M. Adams, A.H.M. ter Hofstede, N. Russell, and W.M.P. van der Aalst.
Dynamic and Context-Aware Process Adaptation.
In M. Wang and Z. Sun, editors, Handbook of Research on Complex
Dynamic Process Management, pages 104-136. IGI Global, 2009.
- 530
-
M. La Rosa, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Questionnaire-based Variability Modeling for System Configuration.
Software and Systems Modeling, 8(2):251-274, 2009.
- 531
-
A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst.
Discovering Simulation Models.
Information Systems, 34(3):305-327, 2009.
- 532
-
M. Funk, A. Rozinat, A.K. Alves de Medeiros, P.H.A. van der Putten,
H. Corporaal, and W.M.P. van der Aalst.
Improving Product Usage Monitoring and Analysis with Semantic
Concepts.
In J.Yang, A. Ginige, H. Mayr, and R. Kutsche, editors,
Information Systems: Modeling, Development, and Integration, volume 20 of
Lecture Notes in Business Information Processing, pages 190-201.
Springer-Verlag, Berlin, 2009.
- 533
-
A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and
C. Fidge.
Workflow Simulation for Operational Decision Support.
Data and Knowledge Engineering, 68(9):834-850, 2009.
- 534
-
R. P. Jagadeesh Chandra Bose and W.M.P. van der Aalst.
Context Aware Trace Clustering: Towards Improving Process Mining
Results.
In H. Liu and Z. Obradovic, editors, Proceedings of the SIAM
International Conference on Data Mining (SDM 2009), pages 401-412. Society
for Industrial and Applied Mathematics, 2009.
-
- 535
-
A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst.
Conformance Analysis of ASML's Test Process.
In S.Sadiq, M.Indulska, M. zur Muehlen, E. Dubois, and
P. Johannesson, editors, Proceedings of the Second International
Workshop on Governance, Risk and Compliance (GRCIS'09), volume 459 of
CEUR Workshop Proceedings, pages 1-15. CEUR-WS.org, 2009.
- 536
-
P. Wohed, N.C. Russell, A.H.M. ter Hofstede, B. Andersson, and W.M.P. van
der Aalst.
Patterns-based Evaluation of Open Source BPM Systems: The Cases of
jBPM, OpenWFE, and Enhydra Shark.
Information and Software Technology, 51(8):1187-1216, 2009.
- 537
-
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M.
Bakker.
Augmenting a Workflow Management System with Planning Facilities
using Colored Petri Nets.
In K. Jensen, editor, Proceedings of the Nineth Workshop on the
Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588
of DAIMI, pages 143-162, Aarhus, Denmark, October 2008. University of
Aarhus.
- 538
-
V. Kannan, W.M.P. van der Aalst, and M. Voorhoeve.
Formal Modeling and Analysis by Simulation of Data Paths in Digital
Document Printers.
In K. Jensen, editor, Proceedings of the Nineth Workshop on the
Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588
of DAIMI, pages 27-46, Aarhus, Denmark, October 2008. University of
Aarhus.
- 539
-
R.S. Mans, H. Schonenberg, G. Leonardi, S. Panzarasa, A. Cavallini,
S. Quaglini, and W.M.P. van der Aalst.
Process Mining Techniques : An Application to Stroke Care.
In S.K. Andersen, editor, Proceedings 21st International
Congress of the European Federation for Medical Informatics (MIE 2008),
volume 136 of Studies in Health Technology and Informatics, pages
573-578. IOS Press, 2008.
- 540
-
W.M.P. van der Aalst.
Workflow Patterns.
In L. Liu and M. Tamer Özsu, editors,
Encyclopedia of
Database Systems, pages 3557-3558. Springer-Verlag, Berlin, 2009.
- 541
-
W.M.P. van der Aalst.
Business Process Management.
In L. Liu and M. Tamer Özsu, editors,
Encyclopedia of
Database Systems, pages 289-293. Springer-Verlag, Berlin, 2009.
- 542
-
W.M.P. van der Aalst.
Business Process Execution Language.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 288-289. Springer-Verlag, Berlin, 2009.
- 543
-
W.M.P. van der Aalst.
Business Process Modeling Notation.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 293-294. Springer-Verlag, Berlin, 2009.
- 544
-
W.M.P. van der Aalst.
Process Mining.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 2171-2173. Springer-Verlag, Berlin, 2009.
- 545
-
W.M.P. van der Aalst.
Workflow Model Analysis.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 3551-3551. Springer-Verlag, Berlin, 2009.
- 546
-
W.M.P. van der Aalst.
Composition.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 420-421. Springer-Verlag, Berlin, 2009.
- 547
-
W.M.P. van der Aalst.
Choreography.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 329-329. Springer-Verlag, Berlin, 2009.
- 548
-
W.M.P. van der Aalst.
Coordination.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 495-496. Springer-Verlag, Berlin, 2009.
- 549
-
W.M.P. van der Aalst.
Orchestration.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 2004-2005. Springer-Verlag, Berlin, 2009.
- 550
-
W.M.P. van der Aalst.
Petri Nets.
In L. Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 2103-2108. Springer-Verlag, Berlin, 2009.
- 551
-
R.S. Mans, W.M.P. van der Aalst, N.C. Russell, P.J.M. Bakker, and A.J.
Moleman.
Model-based Development and Testing of Process-aware Information
Systems.
In Proceedings of the International Conference on Advances in
System Testing and Validation Lifecycle (VALID 2009), pages 129-134. IEEE
Computer Society, 2009.
- 552
-
J. Zhang, X. Lu, H. Nie, Z. Huang, and W.M.P. van der Aalst.
Radiology Information System: A Workflow-Based Approach.
International Journal of Computer Assisted Radiology,
4(5):509-516, 2009.
- 553
-
R.P. Jagadeesh Chandra Bose and W.M.P. van der Aalst.
Abstractions in Process Mining: A Taxonomy of Patterns.
In U. Dayal, J. Eder, J. Koehler, and H. Reijers, editors,
Business Process Management (BPM 2009), volume 5701 of Lecture Notes in
Computer Science, pages 159-175. Springer-Verlag, Berlin, 2009.
- 554
-
W.M.P. van der Aalst, R.S. Mans, and N.C. Russell.
Workflow Support Using Proclets: Divide, Interact, and Conquer.
IEEE Bulletin of the Technical Committee on Data Engineering,
32(3):16-22, 2009.
- 555
-
W.M.P. van der Aalst and. B. van Dongen, C.W. Günther, A. Rozinat,
E. Verbeek, and T. Weijters.
ProM: The Process Mining Toolkit.
In A.K.A. de Medeiros and B. Weber, editors, Business Process
Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR
Workshop Proceedings, pages 1-4. CEUR-WS.org, 2009.
- 556
-
M. Pesic, H.M. Schonenberg, and W.M.P. van der Aalst.
DECLARE Demo: A Constraint-based Workflow Management System.
In A.K.A. de Medeiros and B. Weber, editors, Business Process
Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR
Workshop Proceedings, pages 1-4. CEUR-WS.org, 2009.
- 557
-
F. Cardi, M. de Leoni, M. Adams, A. ter Hofstede, and W.M.P. van der
Aalst.
Visual Support for Work Assignment in YAWL.
In A.K.A. de Medeiros and B. Weber, editors, Business Process
Management Demonstration Track (BPMDemos 2009), volume 489 of CEUR
Workshop Proceedings, pages 1-5. CEUR-WS.org, 2009.
- 558
-
L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede.
Dimensions of Coupling in Middleware.
Concurrency and Computation: Practice and Experience,
21(18):2233-2269, 2009.
- 559
-
W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova,
H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn.
Soundness of Workflow Nets with Reset Arcs.
In K. Jensen, J. Billington, and M. Koutny, editors,
Transactions on Petri Nets and Other Models of Concurrency III, volume 5800
of Lecture Notes in Computer Science, pages 50-70. Springer-Verlag,
Berlin, 2009.|
- 560
-
R.S. Mans, W.M.P. van der Aalst, N.C. Russell, P.J.M. Bakker, A.J. Moleman,
K.B. Lassen, and J.B. Jørgensen.
From Requirements via Colored Workflow Nets to an Implementation in
Several Workflow Systems.
In K. Jensen, J. Billington, and M. Koutny, editors,
Transactions on Petri Nets and Other Models of Concurrency III, volume 5800
of Lecture Notes in Computer Science, pages 25-49. Springer-Verlag,
Berlin, 2009.
- 561
-
N.C. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Designing a Workflow System using Coloured Petri Nets.
In K. Jensen, J. Billington, and M. Koutny, editors,
Transactions on Petri Nets and Other Models of Concurrency III, volume 5800
of Lecture Notes in Computer Science, pages 1-24. Springer-Verlag,
Berlin, 2009.
- 562
-
M. Zapletal, W.M.P. van der Aalst, N. Russell, P. Liegl, and H. Werthner.
An Analysis of Windows Workflow's Control-Flow Expressiveness.
In R. Eshuis, P. Grefen, and G. Papadopoulos, editors,
Proceedings of the 7th IEEE European Conference on Web Services (ECOWS
2009), pages 200-209. IEEE Computer Society Press, 2009.
- 563
-
M. Pechenizkiy, N. Trcka, E. Vasilyeva, W.M.P. van der Aalst, and P. De
Bra.
Process Mining Online Assessment Data.
In C. Romero, S. Ventura, M. Pechenizkiy, and R. Baker, editors,
Educational Data Mining (EDM 2009), pages 279-288.
www.educationaldatamining.org, 2009.
-
Click here for full list,
recent publications, 2010,
2009,
2008,
2007,
2006, 2005,
2000-2004,
before 2000.
-
|
