Year |
Citation |
Score |
2016 |
Zhu M, Grogono P, Ormandjieva O, Kuang H. Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems Procedia Computer Science. 83: 700-704. DOI: 10.1016/J.Procs.2016.04.155 |
0.356 |
|
2016 |
Ebrahimi M, Suen CY, Ormandjieva O. Detecting predatory conversations in social media by deep Convolutional Neural Networks Digital Investigation. 18: 33-49. DOI: 10.1016/J.Diin.2016.07.001 |
0.312 |
|
2015 |
Ormandjieva O, Bentahar J, Huang J, Kuang H. Modelling multi-agent systems with category theory Procedia Computer Science. 52: 538-545. DOI: 10.1016/J.Procs.2015.05.031 |
0.383 |
|
2015 |
Zhu M, Grogono P, Ormandjieva O. Using category theory to verify implementation against design in concurrent systems Procedia Computer Science. 52: 530-537. DOI: 10.1016/J.Procs.2015.05.030 |
0.395 |
|
2013 |
Alnanih R, Ormandjieva O, Radhakrishnan T. Context-based and rule-based adaptation of mobile user interfaces in mHealth Procedia Computer Science. 21: 390-397. DOI: 10.1016/J.Procs.2013.09.051 |
0.31 |
|
2012 |
Ormandjieva O, Barachi ME, Khelifi A. Guide to ISO 27001: UAE Case Study Issues in Informing Science and Information Technology. 9: 331-349. DOI: 10.28945/1625 |
0.317 |
|
2010 |
Kuang H, Bentahar J, Ormandjieva O, Shafieidizaji N, Klasa S. Formal specification of substitutability property for fault-tolerance in reactive autonomic systems Frontiers in Artificial Intelligence and Applications. 217: 357-380. DOI: 10.3233/978-1-60750-629-4-357 |
0.343 |
|
2010 |
Kuang H, Ormandjieva O, Klasa S, Bentahar J. 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. DOI: 10.1109/ASAP.2010.5540769 |
0.311 |
|
2010 |
Khurshid N, Ormandjieva O, Klasa S. Towards a tool support for specifying complex software systems by categorical modeling language Studies in Computational Intelligence. 296: 133-149. DOI: 10.1007/978-3-642-13273-5_9 |
0.382 |
|
2009 |
Shaban-Nejad A, Ormandjieva O, Kassab M, Haarslev V. Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications. 2009: 917826. PMID 19343191 DOI: 10.1155/2009/917826 |
0.447 |
|
2009 |
Zheng M, Ormandjieva O. Reliability analysis in the early development of real-time reactive systems 2009 Wri World Congress On Computer Science and Information Engineering, Csie 2009. 7: 807-812. DOI: 10.1109/CSIE.2009.297 |
0.493 |
|
2009 |
Kuang H, Ormandjieva O, Klasa S, Khurshid N, Benthar J. Towards specifying reactive autonomic systems with a categorical approach: A case study Studies in Computational Intelligence. 253: 119-134. DOI: 10.1007/978-3-642-05441-9_11 |
0.389 |
|
2009 |
Kassab M, Daneva M, Ormandjieva O. Towards an early software effort estimation based on functional and non-functional requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5891: 182-196. DOI: 10.1007/978-3-642-05415-0_14 |
0.356 |
|
2008 |
Ormandjieva O, Abu Talib M, Abran A. Reliability model for component-based systems in cosmic (a case study) International Journal of Software Engineering and Knowledge Engineering. 18: 515-539. DOI: 10.1142/S0218194008003763 |
0.439 |
|
2008 |
Kuang H, Ormandjieva O. Self-monitoring of non-functional requirements in reactive autonomic systems framework: A multi-agent systems approach Proc. - the 3rd Int. Multi-Conf. Computing in the Global Information Technology, Iccgi 2008 in Conjunction With Comp2p 2008: the 1st Int. Workshop On Computational P2p Networks: Theory and Practice. 186-192. DOI: 10.1109/ICCGI.2008.43 |
0.443 |
|
2008 |
Ormandjieva O, Alagar VS, Zheng M. Early quality monitoring in the development of real-time reactive systems Journal of Systems and Software. 81: 1738-1753. DOI: 10.1016/J.Jss.2007.12.808 |
0.733 |
|
2008 |
Zheng M, Alagar V, Ormandjieva O. Automated generation of test suites from formal specifications of real-time reactive systems Journal of Systems and Software. 81: 286-304. DOI: 10.1016/J.Jss.2007.05.009 |
0.758 |
|
2008 |
Abu Talib M, Khelifi A, Abran A, Ormandjieva O. Assessment of real-time software specifications quality using COSMIC-FFP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4895: 183-194. DOI: 10.1007/978-3-540-85553-8_15 |
0.379 |
|
2008 |
Ormandjieva O, Vassev E. Towards ASSL specification of self-scheduling design and monitoring in team-robotics modeled with AS-TRM Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics. 68-76. DOI: 10.1007/978-1-4020-8737-0_13 |
0.308 |
|
2008 |
Moradi S, Ormandjieva O. Towards automatic diagnostic of conceptual problems in requirements text International Conference On Software Engineering Theory and Practice 2008, Setp 2008. 105-114. |
0.313 |
|
2007 |
Vassev E, Ormandjieva O, Paquet J. ASSL specification of reliability self-assessment in the AS-TRM Icsoft 2007 - 2nd International Conference On Software and Data Technologies, Proceedings. 198-206. |
0.334 |
|
2006 |
Talib MA, Abran A, Ormandjieva O. Markov model and functional size with COSMIC-FFP Ieee International Symposium On Industrial Electronics. 4: 3240-3245. DOI: 10.1109/ISIE.2006.296136 |
0.35 |
|
2006 |
Vassev E, Kuang H, Ormandjieva O, Paquet J. Reactive, distributed and autonomic computing aspects of AS-TRM Icsoft 2006 - 1st International Conference On Software and Data Technologies, Proceedings. 1: 196-202. |
0.346 |
|
2005 |
Kassab M, Constantinides C, Ormandjieva O. Specifying and separating concerns from requirements to design: A case study Proceedings of the Second Iasted International Multi-Conference On Automation, Control, and Information Technology, Acit 2005. 18-27. |
0.307 |
|
2005 |
Sami MM, Ormandjieva O, Alagar VS. A visualization tool for reactive systems simulation Proceedings of the 2005 International Conference On Modeling, Simulation and Visualization Methods, Msv'05. 156-162. |
0.639 |
|
2003 |
Alagar VS, Ormandjieva O, Zheng M. Incremental testing for self-evolving timed systems Proceedings - International Conference On Quality Software. 2003: 12-19. DOI: 10.1109/QSIC.2003.1319080 |
0.719 |
|
2003 |
Alagar VS, Chen M, Ormandjieva O, Zheng M. Automated test generation from object-oriented specifications of real-time reactive systems Proceedings - Asia-Pacific Software Engineering Conference, Apsec. 2003: 406-414. DOI: 10.1109/APSEC.2003.01254396 |
0.731 |
|
2003 |
Alagar VS, Achuthan R, Haydar M, Muthiayen D, Ormandjieva O, Zheng M. A rigorous approach for constructing self-evolving real-time reactive systems Information and Software Technology. 45: 743-761. DOI: 10.1016/S0950-5849(03)00070-3 |
0.627 |
|
2003 |
Alagar VS, Liu SH, Ormandjieva O, Shen J. Performance Assessment in Real-Time Reactive Systems Proceedings of the Iasted International Conference On Software Engineering and Applications. 7: 714-722. |
0.687 |
|
2002 |
Alagar VS, Ormandjieva O. Reliability assessment of WEB applications Proceedings - Ieee Computer Society's International Computer Software and Applications Conference. 405-412. DOI: 10.1109/CMPSAC.2002.1045036 |
0.664 |
|
2001 |
Alagar VS, Li Q, Ormandjieva OS. Assessment of maintainability in object-oriented software "Technology of Object-Oriented Languages and Systems. 194-206. |
0.659 |
|
2000 |
Alagar VS, Ormandjieva O, Zheng M. Specification-based testing for real-time reactive systems "Technology of Object-Oriented Languages and Systems. 25-36. DOI: 10.1109/TOOLS.2000.868956 |
0.695 |
|
2000 |
Alagar VS, Ormandjieva O, Zheng M. Managing complexity in real-time reactive systems Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 12-24. |
0.715 |
|
Show low-probability matches. |