Ganna Monakova

According to our database, Ganna Monakova authored at least 11 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Workflow ART: a framework for multidimensional workflow analysis.

Ganna Monakova, Frank Leymann

Enterp. Inf. Syst., 2013

2012

Security and safety of assets in business processes.

Ganna Monakova, Achim D. Brucker, Andreas Schaad

Proceedings of the ACM Symposium on Applied Computing, 2012

Hierarchical Process Verification in a Semi-trusted Environment.

Ganna Monakova

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Monitoring Security and Safety of Assets in Supply Chains.

Ganna Monakova, Cristina Severin, Achim D. Brucker, Ulrich Flegel, Andreas Schaad

Proceedings of the Future Security - 7th Security Research Conference, 2012

2011

Visualizing security in business processes.

Ganna Monakova, Andreas Schaad

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010

Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection.

Ulrich Flegel, Florian Kerschbaum, Philip Miseldine, Ganna Monakova, Richard Wacker, Frank Leymann

Proceedings of the Insider Threats in Cyber Security, 2010

Workflow ART.

Ganna Monakova, Frank Leymann

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Combining Enforcement Strategies in Service Oriented Architectures.

Gabriela Gheorghe, Bruno Crispo, Daniel Schleicher, Tobias Anstett, Frank Leymann, Ralph Mietzner, Ganna Monakova

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Improving control flow verification in a business process using an extended Petri net.

Ganna Monakova, Oliver Kopp, Frank Leymann

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

MC-Cube: Mastering Customizable Compliance in the Cloud.

Tobias Anstett, Dimka Karastoyanova, Frank Leymann, Ralph Mietzner, Ganna Monakova, Daniel Schleicher, Steve Strauch

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Verifying Business Rules Using an SMT Solver for BPEL Processes.

Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers

Proceedings of the Business Process, 2009