| 2008 |
| 22 | EE | Mao Zheng,
Vasu S. Alagar,
Olga Ormandjieva:
Automated generation of test suites from formal specifications of real-time reactive systems.
Journal of Systems and Software 81(2): 286-304 (2008) |
| 2007 |
| 21 | EE | Mohamad Kassab,
M. Daneva,
Olga Ormandjieva:
Scope Management of Non-Functional Requirements.
EUROMICRO-SEAA 2007: 409-417 |
| 20 | EE | Ishrar Hussain,
Olga Ormandjieva,
Leila Kosseim:
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier.
QSIC 2007: 209-218 |
| 2006 |
| 19 | | Emil Vassev,
Heng Kuang,
Olga Ormandjieva,
Joey Paquet:
Reactive, distributed and autonomic computing aspects of AS-TRM.
ICSOFT (1) 2006: 196-202 |
| 18 | | Olga Ormandjieva,
Ishrar Hussain:
Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL.
PDPTA 2006: 991-999 |
| 17 | EE | M. G. Ilieva,
Olga Ormandjieva:
Models Derived from Automatically Analyzed Textual User Requirements.
SERA 2006: 13-21 |
| 16 | | Olga Ormandjieva,
Magda Ilieva:
Automatic Comprehension of Textual User Requirements and their Static and Dynamic Modeling.
Software Engineering Research and Practice 2006: 266-273 |
| 15 | | Olga Ormandjieva,
Heng Kuang,
Emil Vassev:
Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach.
ITSSA 2(1): 99-104 (2006) |
| 2005 |
| 14 | EE | Mohamad Kassab,
Olga Ormandjieva,
Constantinos Constantinides:
Providing Quality Measurement for Aspect-Oriented Software Development.
APSEC 2005: 769-775 |
| 13 | | Mohamad Kassab,
Constantinos Constantinides,
Olga Ormandjieva:
Specifying and Separating Concerns from Requirements to Design: A Case Study.
Automation, Control, and Information Technology 2005: 18-27 |
| 12 | | Mubarak Sami,
Olga Ormandjieva,
Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation.
Automation, Control, and Information Technology 2005: 65-70 |
| 11 | | Mubarak Sami,
Olga Ormandjieva,
Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation.
MSV 2005: 156-164 |
| 10 | EE | M. G. Ilieva,
Olga Ormandjieva:
Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation.
NLDB 2005: 392-397 |
| 2004 |
| 9 | | Vangalur S. Alagar,
Olga Ormandjieva:
Reliability Assessment of E-Commerce Applications.
ICETE (2) 2004: 30-37 |
| 8 | EE | Juergen Rilling,
Wen Jun Meng,
Olga Ormandjieva:
Context Driven Slicing Based Coupling Measure.
ICSM 2004: 532 |
| 2003 |
| 7 | EE | Vangalur S. Alagar,
M. Chen,
Olga Ormandjieva,
Mao Zheng:
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.
APSEC 2003: 406-414 |
| 6 | EE | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Incremental Testing for Self-Evolving Timed Systems.
QSIC 2003: 12-19 |
| 5 | EE | Vangalur S. Alagar,
Ramesh Achuthan,
M. Haydar,
D. Muthiayen,
Olga Ormandjieva,
Mao Zheng:
A rigorous approach for constructing self-evolving real-time reactive systems.
Information & Software Technology 45(11): 743-761 (2003) |
| 2002 |
| 4 | EE | Vangalur S. Alagar,
Olga Ormandjieva:
Reliability Assessment of WEB Applications.
COMPSAC 2002: 405-414 |
| 2001 |
| 3 | EE | Vangalur S. Alagar,
Qiaoyun Li,
Olga Ormandjieva:
Assessment of Maintainability in Object-Oriented Software.
TOOLS (39) 2001: 194-206 |
| 2000 |
| 2 | EE | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Managing Complexity in Real-Time Reactive Systems.
ICECCS 2000: 12-24 |
| 1 | EE | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Specification-Based Testing for Real-Time Reactive Systems.
TOOLS (34) 2000: 25-36 |