Ganna Monakova

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Workflow ART: a framework for multidimensional workflow analysis.
Enterp. Inf. Syst., 2013

2012
Security and safety of assets in business processes.
Proceedings of the ACM Symposium on Applied Computing, 2012

Hierarchical Process Verification in a Semi-trusted Environment.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Monitoring Security and Safety of Assets in Supply Chains.
Proceedings of the Future Security - 7th Security Research Conference, 2012

2011
Visualizing security in business processes.
Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010
Legally Sustainable Solutions for Privacy Issues in Collaborative Fraud Detection.
Proceedings of the Insider Threats in Cyber Security, 2010

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

Combining Enforcement Strategies in Service Oriented Architectures.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009
Improving control flow verification in a business process using an extended Petri net.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

MC-Cube: Mastering Customizable Compliance in the Cloud.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Verifying Business Rules Using an SMT Solver for BPEL Processes.
Proceedings of the Business Process, 2009


  Loading...