 | 2011 |
| 7 |  | Ganna Monakova,
Andreas Schaad:
Visualizing security in business processes.
SACMAT 2011: 147-148 |
| 2010 |
| 6 |  | Gabriela Gheorghe,
Bruno Crispo,
Daniel Schleicher,
Tobias Anstett,
Frank Leymann,
Ralph Mietzner,
Ganna Monakova:
Combining Enforcement Strategies in Service Oriented Architectures.
ICSOC 2010: 288-302 |
| 5 |  | Ganna Monakova,
Frank Leymann:
Workflow ART.
OTM Conferences (1) 2010: 376-393 |
| 4 |  | Ulrich Flegel,
Florian Kerschbaum,
Philip Miseldine,
Ganna Monakova,
Richard Wacker,
Frank Leymann:
Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection.
Insider Threats in Cyber Security 2010: 139-171 |
| 2009 |
| 3 |  | Ganna Monakova,
Oliver Kopp,
Frank Leymann,
Simon Moser,
Klaus Schäfers:
Verifying Business Rules Using an SMT Solver for BPEL Processes.
BPSC 2009: 81-94 |
| 2 |  | Tobias Anstett,
Dimka Karastoyanova,
Frank Leymann,
Ralph Mietzner,
Ganna Monakova,
Daniel Schleicher,
Steve Strauch:
MC-Cube: Mastering Customizable Compliance in the Cloud.
ICSOC/ServiceWave 2009: 592-606 |
| 1 |  | Ganna Monakova,
Oliver Kopp,
Frank Leymann:
Improving control flow verification in a business process using an extended Petri net.
ZEUS 2009: 95-101 |