| 2008 |
|---|
| 10 | EE | Wil M. P. van der Aalst,
Kristian Bisgaard Lassen:
Translating unstructured workflow processes to readable BPEL: Theory and implementation.
Information & Software Technology 50(3): 131-159 (2008) |
| 9 | EE | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
STTT 10(1): 15-28 (2008) |
| 8 | EE | Kristian Bisgaard Lassen,
Boudewijn F. van Dongen:
Translating Message Sequence Charts to other Process Languages Using Process Mining.
T. Petri Nets and Other Models of Concurrency 1: 71-85 (2008) |
| 2007 |
|---|
| 7 | | Lars Bækgaard,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
On Industrial Use of Requirements Engineering Techniques.
EMISA 2007: 177-190 |
| 6 | EE | Ricardo Jorge Machado,
Kristian Bisgaard Lassen,
Sérgio Oliveira,
Marco Couto,
Patrícia Pinto:
Requirements Validation: Execution of UML Models with CPN Tools.
STTT 9(3-4): 353-369 (2007) |
| 2006 |
|---|
| 5 | EE | Jan Mendling,
Kristian Bisgaard Lassen,
Uwe Zdun:
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export.
Business Process Management 2006: 348-357 |
| 4 | EE | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Requirements Engineering for the Adviser Portal Bank System.
ECBS 2006: 259-268 |
| 3 | EE | Michael Westergaard,
Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool.
ICATPN 2006: 431-440 |
| 2 | EE | Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.
OTM Conferences (1) 2006: 127-144 |
| 2005 |
|---|
| 1 | EE | Wil M. P. van der Aalst,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
OTM Conferences (1) 2005: 22-39 |
