BibSonomy :: author  ::

bookmarks

publications

(12)

• Adapting side effects analysis for modular program model checking.
  Oksana Tkachuk and Matthew B. Dwyer ESEC / SIGSOFT FSE 188-197 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• Combining environment generation and slicing for modular software model checking.
  Oksana Tkachuk and Sreeranga P. Rajan ASE 401-404 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Application of automated environment generation to commercial software.
  Oksana Tkachuk and Sreeranga P. Rajan ISSTA 203-214 (2006)
  to dblp by dblp on 2006-12-06 00:00:00
  | URL | BibTeX  
• An Approach to Knowledge-based Data Handling in Complex Process.
  Rustam Gamzayev and Dmytry V. Kuklenko and Mykola V. Tkachuk ISTA 61-72 (2005)
  to dblp by dblp on 2006-07-27 00:00:00
  | URL | BibTeX  
• An Approach to Advanced Data Synchronization in Complex Process Control Systems.
  Dmytry V. Kuklenko and Rustam Gamzayev and V. Goloborodko and Mykola V. Tkachuk ISTA 221-227 (2004)
  to dblp by dblp on 2006-07-27 00:00:00
  | URL | BibTeX  
• Fuzzy-Logic Modeling Approach for System Requirements Management.
  Mykola V. Tkachuk and Michail D. Godlevsky and Andriy Zemlyanoy and Rustam Gamzayev ISTA 185-188 (2006)
  to dblp by dblp on 2006-07-26 00:00:00
  | URL | BibTeX  
• Ontological Modelling of Information Systems from Bunge's Contributions.
  Susana I. Herrera and Diana Pallioto and Gregorio N. Tkachuk and Pedro A. Luna CAiSE Workshops (2) 571-581 (2005)
  to dblp by dblp on 2006-03-01 00:00:00
  | URL | BibTeX  
• Analyzing Interaction Orderings with Model Checking.
  Matthew B. Dwyer and Robby and Oksana Tkachuk and Willem Visser ASE 154-163 (2004)
  to dblp by dblp on 2004-10-08 00:00:00
  | URL | BibTeX  
• Automated Environment Generation for Software Model Checking.
  Oksana Tkachuk and Matthew B. Dwyer and Corina S. Pasareanu ASE 116-129 (2003)
  to dblp by dblp on 2004-03-03 00:00:00
  | URL | BibTeX  
• The Application of Genetic Algorithms in Planning Acitvities at Extreme Situations.
  V. I. Litvinenko and A. A. Fefelov and A. A. Tkachuk and V. E. Hodakov JCIS 639-642 (2002)
  to dblp by dblp on 2003-05-19 00:00:00
  | URL | BibTeX