 | 2009 |
|---|
| 6 |       | Ahmed Awad,
Matthias Weidlich,
Mathias Weske:
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules.
ICSOC/ServiceWave 2009: 500-515 |
| 5 | | Ahmed Awad,
Sergey Smirnov,
Mathias Weske:
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach.
OTM Conferences (1) 2009: 6-23 |
| 2008 |
|---|
| 4 | | Ahmed Awad,
Frank Puhlmann:
Structural Detection of Deadlocks in Business Process Models.
BIS 2008: 239-250 |
| 3 | | Ahmed Awad,
Gero Decker,
Mathias Weske:
Efficient Compliance Checking Using BPMN-Q and Temporal Logic.
BPM 2008: 326-341 |
| 2 | | Ahmed Awad,
Artem Polyvyanyy,
Mathias Weske:
Semantic Querying of Business Process Models.
EDOC 2008: 85-94 |
| 2007 |
|---|
| 1 |  | Ahmed Awad:
BPMN-Q: A Language to Query Business Processes.
EMISA 2007: 115-128 |
