Olga Ormandjieva, Ph.D.
Affiliations: | 2002 | Concordia University (Canada), Montreal, QC, Canada |
Area:
Computer ScienceGoogle:
"Olga Ormandjieva"Parents
Sign in to add mentor| V S. Alagar | grad student | 2002 | Concordia University Montreal | |
| (Deriving new measurements for real -time reactive systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Zhu M, Grogono P, Ormandjieva O, et al. (2016) Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems Procedia Computer Science. 83: 700-704 |
| Ebrahimi M, Suen CY, Ormandjieva O. (2016) Detecting predatory conversations in social media by deep Convolutional Neural Networks Digital Investigation. 18: 33-49 |
| Ormandjieva O, Bentahar J, Huang J, et al. (2015) Modelling multi-agent systems with category theory Procedia Computer Science. 52: 538-545 |
| Zhu M, Grogono P, Ormandjieva O. (2015) Using category theory to verify implementation against design in concurrent systems Procedia Computer Science. 52: 530-537 |
| Alnanih R, Ormandjieva O, Radhakrishnan T. (2013) Context-based and rule-based adaptation of mobile user interfaces in mHealth Procedia Computer Science. 21: 390-397 |
| Ormandjieva O, Barachi ME, Khelifi A. (2012) Guide to ISO 27001: UAE Case Study Issues in Informing Science and Information Technology. 9: 331-349 |
| Kuang H, Bentahar J, Ormandjieva O, et al. (2010) Formal specification of substitutability property for fault-tolerance in reactive autonomic systems Frontiers in Artificial Intelligence and Applications. 217: 357-380 |
| Kuang H, Ormandjieva O, Klasa S, et al. (2010) A formal specification of fault-tolerance in prospecting asteroid mission with reactive autonomic systems framework Proceedings of the International Conference On Application-Specific Systems, Architectures and Processors. 99-106 |
| Khurshid N, Ormandjieva O, Klasa S. (2010) Towards a tool support for specifying complex software systems by categorical modeling language Studies in Computational Intelligence. 296: 133-149 |
| Shaban-Nejad A, Ormandjieva O, Kassab M, et al. (2009) Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications. 2009: 917826 |