Dinos Moundanos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEJawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu: Analysis of composition complexity and how to obtain smaller canonical graphs. DAC 2000: 681-686
8EEDinos Moundanos, Jacob A. Abraham: Formal Checking of Properties in Complex Systems Using Abstractions. Great Lakes Symposium on VLSI 1999: 280-283
7EEDinos Moundanos, Jacob A. Abraham: On Design Validation Using Verification Technology. J. Electronic Testing 15(1-2): 173-189 (1999)
6EEDinos Moundanos, Jacob A. Abraham: Using Verification Technology for Validation Coverage Analysis and Test Generation. VTS 1998: 254-259
5 Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: Abstraction Techniques for Validation Coverage Analysis and Test Generation. IEEE Trans. Computers 47(1): 2-14 (1998)
4EEPrakash Arunachalam, Craig M. Chase, Dinos Moundanos: Distributed Binary Decision Diagrams for Verification of Large Circuit. ICCD 1996: 365-370
3 Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: A Unified Framework for Design Validation and Manufacturing Test. ITC 1996: 875-884
2EEYatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham: Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. ICCD 1995: 532-537
1EEJawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross: Efficient variable ordering and partial representation algorithm. VLSI Design 1995: 81-86

Coauthor Index

1Jacob A. Abraham [1] [2] [3] [5] [6] [7] [8]
2Prakash Arunachalam [4]
3James R. Bitner [1]
4Craig M. Chase [4]
5Donald S. Fussell [1]
6Yatin Vasant Hoskote [2] [3] [5]
7Jawahar Jain [1] [9]
8Yuan Lu [9]
9K. Mohanram [9]
10Don E. Ross [1]
11Ingo Wegener [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)