Ganna Monakova

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Business Processes

Workflow Systems

Top Venues

OTM Conferences (1)

Future Security

Enterp. Inf. Syst.

Publications

Ganna Monakova, Frank Leymann
Workflow ART: a framework for multidimensional workflow analysis. Enterp. Inf. Syst. 7 (1) (2013)
Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel, Andreas Schaad
Monitoring Security and Safety of Assets in Supply Chains. Future Security (2012)
Ganna Monakova, Achim D. Brucker, Andreas Schaad
Security and safety of assets in business processes. SAC (2012)
Ganna Monakova
Hierarchical Process Verification in a Semi-trusted Environment. OTM Conferences (1) (2012)
Ganna Monakova, Andreas Schaad
Visualizing security in business processes. SACMAT (2011)
Ganna Monakova, Frank Leymann
Workflow ART. OTM Conferences (1) (2010)
Gabriela Gheorghe, Bruno Crispo, Daniel Schleicher, Tobias Anstett, Frank Leymann, Ralph Mietzner, Ganna Monakova
Combining Enforcement Strategies in Service Oriented Architectures. ICSOC (2010)
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)
Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers
Verifying Business Rules Using an SMT Solver for BPEL Processes. BPSC (2009)
Ganna Monakova, Oliver Kopp, Frank Leymann
Improving control flow verification in a business process using an extended Petri net. ZEUS (2009)