dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Olga Ormandjieva (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMao Zheng, Olga Ormandjieva: Reliability Analysis in the Early Development of Real-Time Reactive Systems. CSIE (7) 2009: 807-812
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Ormandjieva, Vangalur S. Alagar, Mao Zheng: Early quality monitoring in the development of real-time reactive systems. Journal of Systems and Software 81(10): 1738-1753 (2008)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMao 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)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC 2003: 406-414
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur 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)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36

Selection of 8 from 61 records - Olga Ormandjieva has 42 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page