BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Finland
1 × Germany
1 × Greece
1 × Hungary
1 × India
1 × Latvia
1 × Luxembourg
1 × Norway
1 × Poland
1 × Spain
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × Tunisia
2 × Canada
2 × China
2 × Italy
2 × USA
2 × United Kingdom
3 × France
8 × Portugal
Collaborated with:
J.Mendling A.H.M.t.Hofstede H.A.Reijers B.F.v.Dongen F.M.Maggi N.Russell I.T.P.Vanderfeesten R.P.J.C.Bose N.Sidorova N.Trcka E.Verbeek M.d.Leoni M.Pesic M.Dumas M.L.Rosa H.Schonenberg M.Montali M.Leemans L.Aldred M.Netjes S.L.Mansar J.Recker M.Rosemann M.Weske M.Pechenizkiy J.Cardoso A.Pika M.T.Wynn C.J.Fidge F.Gottschalk A.Adriansyah M.Song H.M.W.Verbeek A.Kumar A.Hirnschall M.L.v.Eck X.Lu S.J.J.Leemans R.Conforti E.R.Taghiabadi D.Fahland A.Burattin A.Sperduti I.Zliobaite J.Jian A.J.Mooij C.Stahl K.Wolf D.Edmond A.A.Kalenkova I.A.Lomazova V.A.Rubin L.T.Ly S.Rinderle-Ma R.Engel M.Zapletal C.Pichler H.Werthner T.A.C.Wagemakers M.H.Jansen-Vullers E.Vasilyeva P.D.Bra P.Wohed B.Andersson C.Bussler A.P.Sheth K.Sandkuhl T.Basten P.A.C.Verkoulen M.Voorhoeve M.Leyer
Talks about:
process (40) busi (18) mine (15) workflow (14) model (11) analysi (10) system (9) verif (8) support (7) pattern (6)

Person: Wil M. P. van der Aalst

DBLP DBLP: Aalst:Wil_M=_P=_van_der

Facilitated 1 volumes:

FASE 2019Ed

Contributed to:

CAiSE 20152015
MoDELS 20152015
CAiSE 20142014
EDOC 20142014
KEOD 20142014
CAiSE 20132013
EDOC 20132013
SAC 20132013
CAiSE 20122012
EDOC 20122012
FASE 20122012
CAiSE 20112011
EDOC 20112011
CAiSE 20102010
CASE 20092009
CAiSE 20092009
EDM 20092009
SFM 20092009
CAiSE 20082008
FASE 20082008
ICGT 20082008
CAiSE 20072007
EDOC 20072007
ICEIS AIDSS 20072007
ICEIS DISI 20072007
ICEIS EIS 20072007
ICEIS HCI 20072007
Post-ICEIS 20072007
ICEIS SAIC 20072007
CAiSE 20062006
EDOC 20062006
SAC 20062006
CAiSE 20052005
CAiSE 20042004
SAC 20032003
CAiSE 20022002
CAiSE 20012001
ICEIS 19991999
MoDELS 20162016

Wrote 59 papers:

CAiSE-2015-EckLLA #mining #named #process
PM²: A Process Mining Project Methodology (MLvE, XL, SJJL, WMPvdA), pp. 297–313.
MoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
CAiSE-2014-PikaWFHLA #behaviour #framework #using
An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
EDOC-2014-Aalst #enterprise #mining #process
Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
KEOD-2014-Aalst #mining #people #process #what
No Knowledge Without Processes — Process Mining as a Tool to Find Out What People and Organizations Really Do (WMPvdA), pp. 1–11.
CAiSE-2013-ConfortiLRA #execution #process
Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
CAiSE-2013-MaggiBA #approach #knowledge-based
A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps (FMM, RPJCB, WMPvdA), pp. 433–448.
CAiSE-2013-PikaAFHW #process #profiling
Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
CAiSE-2013-TaghiabadiFDA #requirements
Diagnostic Information for Compliance Checking of Temporal Compliance Requirements (ERT, DF, BFvD, WMPvdA), pp. 304–320.
EDOC-2013-LyMMRA #comparison #evaluation #framework #monitoring
A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.
SAC-2013-LeoniA #mining #process #using
Data-aware process mining: discovering decisions in processes using alignments (MdL, WMPvdA), pp. 1454–1461.
CAiSE-2012-EngelAZPW #case study #mining #modelling #process
Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector (RE, WMPvdA, MZ, CP, HW), pp. 222–237.
CAiSE-2012-MaggiBA #declarative #modelling #performance #process
Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
EDOC-2012-BurattinMAS #analysis #declarative #process
Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.
FASE-2012-Aalst #consistency #distributed #process
Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FASE-2012-MaggiMA #constraints #framework #monitoring
An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
CAiSE-2011-BoseAZP #concept #mining #process
Handling Concept Drift in Process Mining (RPJCB, WMPvdA, IZ, MP), pp. 391–405.
EDOC-2011-AdriansyahDA #consistency #cost analysis #using
Conformance Checking Using Cost-Based Fitness Analysis (AA, BFvD, WMPvdA), pp. 55–64.
CAiSE-2010-AalstPS #mining #process
Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
CAiSE-2010-SchonenbergJSA #analysis #simulation
Business Trend Analysis by Simulation (HS, JJ, NS, WMPvdA), pp. 515–529.
CASE-2009-TrckaAS #workflow
Workflow completion patterns (NT, WMPvdA, NS), pp. 7–12.
CAiSE-2009-Aalst #process
TomTom for Business Process Management (TomTom4BPM) (WMPvdA), pp. 2–5.
CAiSE-2009-GottschalkWJAR #case study #configuration management #experience #modelling #process
Configurable Process Models: Experiences from a Municipality Case Study (FG, TACW, MHJV, WMPvdA, MLR), pp. 486–500.
CAiSE-2009-TrckaAS #anti #data flow #fault #workflow
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.
EDM-2009-PechenizkiyTVAB #assessment #mining #online #process
Process Mining Online Assessment Data (MP, NT, EV, WMPvdA, PDB), pp. 279–288.
SFM-2009-AalstMSW #analysis #formal method #interactive
Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.
CAiSE-2008-RussellA #people #resource management
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities (NR, WMPvdA), pp. 94–108.
CAiSE-2008-VanderfeestenRA #execution #workflow
Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.
CAiSE-2008-VanderfeestenRMAC #metric #modelling #on the #process
On a Quest for Good Process Models: The Cross-Connectivity Metric (ITPV, HAR, JM, WMPvdA, JC), pp. 480–494.
CAiSE-2008-WohedRHAA #open source #question #workflow
Open Source Workflow: A Viable Direction for BPM? (PW, NR, AHMtH, BA, WMPvdA), pp. 583–586.
FASE-2008-AalstDGHRM #modelling #process
Correctness-Preserving Configuration of Business Process Models (WMPvdA, MD, FG, AHMtH, MLR, JM), pp. 46–61.
ICGT-2008-Aalst #consistency #verification #workflow
Discovery, Verification and Conformance of Workflows with Cancellation (WMPvdA), pp. 18–37.
CAiSE-2007-AldredADH #abstraction #communication #distributed #process
Communication Abstractions for Distributed Business Processes (LA, WMPvdA, MD, AHMtH), pp. 409–423.
CAiSE-2007-MendlingA #formal method #verification
Formalization and Verification of EPCs with OR-Joins Based on State and Context (JM, WMPvdA), pp. 439–453.
EDOC-2007-MendlingDA #modelling #process
Getting Rid of the OR-Join in Business Process Models (JM, BFvD, WMPvdA), pp. 3–14.
EDOC-2007-PesicSA #named #process
DECLARE: Full Support for Loosely-Structured Processes (MP, HS, WMPvdA), pp. 287–300.
ICEIS-AIDSS-2007-Aalst #analysis #mining #process #roadmap #verification
Trends in business process analysis — from verification to process mining (WMPvdA), pp. 5–9.
ICEIS-DISI-2007-Aalst #analysis #mining #process #roadmap #verification
Trends in business process analysis — from verification to process mining (WMPvdA), pp. 5–9.
ICEIS-EIS-2007-Aalst #analysis #mining #process #roadmap #verification
Trends in business process analysis — from verification to process mining (WMPvdA), pp. 5–9.
ICEIS-EIS-2007-NetjesMRA #approach #process #towards
An Evolutionary Approach for Business Process Redesign — Towards an Intelligent System (MN, SLM, HAR, WMPvdA), pp. 47–54.
ICEIS-EIS-2007-VanderfeestenRA #design #evaluation #workflow
An Evaluation of Case Handling Systems for Product Based Workflow Design (ITPV, HAR, WMPvdA), pp. 39–46.
ICEIS-HCI-2007-Aalst #analysis #mining #process #roadmap #verification
Trends in business process analysis — from verification to process mining (WMPvdA), pp. 5–9.
ICEIS-J-2007-Aalst07a #analysis #challenge #process
Challenges in Business Process Analysis (WMPvdA), pp. 27–42.
ICEIS-J-2007-CardosoABSS #integration
Inter-enterprise System and Application Integration: A Reality Check (JC, WMPvdA, CB, APS, KS), pp. 3–15.
ICEIS-J-2007-NetjesMRA07a #approach #process
Performing Business Process Redesign with Best Practices: An Evolutionary Approach (MN, SLM, HAR, WMPvdA), pp. 199–211.
ICEIS-J-2007-VanderfeestenRA07a #design #workflow
Case Handling Systems as Product Based Workflow Design Support (ITPV, HAR, WMPvdA), pp. 187–198.
ICEIS-SAIC-2007-Aalst #analysis #mining #process #roadmap #verification
Trends in business process analysis — from verification to process mining (WMPvdA), pp. 5–9.
CAiSE-2006-ReckerMAR #enterprise #modelling
Model-Driven Enterprise Systems Configuration (JR, JM, WMPvdA, MR), pp. 369–383.
CAiSE-2006-RussellAH #exception #workflow
Workflow Exception Patterns (NR, WMPvdA, AHMtH), pp. 288–302.
EDOC-2006-DongenMA #modelling #process
Structural Patterns for Soundness of Business Process Models (BFvD, JM, WMPvdA), pp. 116–128.
SAC-2006-MendlingRRA #generative
Generating correct EPCs from configured C-EPCs (JM, JR, MR, WMPvdA), pp. 1505–1510.
CAiSE-2005-DongenAV #petri net #reduction #using #verification
Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
CAiSE-2005-RussellAHE #identification #representation #tool support #workflow
Workflow Resource Patterns: Identification, Representation and Tool Support (NR, WMPvdA, AHMtH, DE), pp. 216–232.
CAiSE-2004-AalstADH #design #implementation
Design and Implementation of the YAWL System (WMPvdA, LA, MD, AHMtH), pp. 142–159.
SAC-2003-AalstKV #modelling #uml #workflow #xml
Organizational Modeling in UML and XML in the Context of Workflow Systems (WMPvdA, AK, EV), pp. 603–608.
CAiSE-2002-AalstHV #graph #workflow
An Alternative Way to Analyze Workflow Graphs (WMPvdA, AH, EV), pp. 535–552.
CAiSE-2001-AalstW #approach #workflow
The P2P Approach to Interorganizational Workflows (WMPvdA, MW), pp. 140–156.
ICEIS-1999-AalstBVVV #adaptation #flexibility #workflow
Adaptive Workflow-On the Interplay between Flexibility and Support (WMPvdA, TB, EV, PACV, MV), pp. 353–360.
MoDELS-2016-KalenkovaALR #mining #modelling #process #using
Process mining using BPMN: relating event logs and process models (AAK, WMPvdA, IAL, VAR), p. 123.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.