Verifying Business Rules Using an SMT Solver for BPEL Processes. - Ganna Monakova; Oliver Kopp; Frank Leymann; Simon Moser; Klaus Schäfers (BPSC, 2009)

MC-Cube: Mastering Customizable Compliance in the Cloud. - Tobias Anstett; Dimka Karastoyanova; Frank Leymann; Ralph Mietzner; Ganna Monakova; Daniel Schleicher; Steve Strauch (ICSOC/ServiceWave, 2009)

Improving control flow verification in a business process using an extended Petri net. - Ganna Monakova; Oliver Kopp; Frank Leymann (ZEUS, 2009)

Combining Enforcement Strategies in Service Oriented Architectures. - Gabriela Gheorghe; Bruno Crispo; Daniel Schleicher; Tobias Anstett; Frank Leymann; Ralph Mietzner; Ganna Monakova (ICSOC, 2010)

Workflow ART. - Ganna Monakova; Frank Leymann (OTM Conferences (1), 2010)

Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection. - Ulrich Flegel; Florian Kerschbaum; Philip Miseldine; Ganna Monakova; Richard Wacker; Frank Leymann (Insider Threats in Cyber Security, 2010)

Visualizing security in business processes. - Ganna Monakova; Andreas Schaad (SACMAT, 2011)

Monitoring Security and Safety of Assets in Supply Chains. - Ganna Monakova; Cristina Severin; Achim D. Brucker; Ulrich Flegel; Andreas Schaad (Future Security, 2012)

Hierarchical Process Verification in a Semi-trusted Environment. - Ganna Monakova (OTM Conferences (1), 2012)

Security and safety of assets in business processes. - Ganna Monakova; Achim D. Brucker; Andreas Schaad (SAC, 2012)

Workflow ART: a framework for multidimensional workflow analysis. - Ganna Monakova; Frank Leymann (Enterp. Inf. Syst., 2013)