Dinos Moundanos

Formal checking of properties in complex systems using abstractions

Jacob A. Abraham, Dinos Moundanos, J. Abraham, 1999, Proceedings Ninth Great Lakes Symposium on VLSI.

Analysis of composition complexity and how to obtain smaller canonical graphs

Yuan Lu, Ingo Wegener, Jawahar Jain, 2000, Proceedings 37th Design Automation Conference.

Abstraction Techniques for Validation Coverage Analysis and Test Generation

Jacob A. Abraham, Yatin Vasant Hoskote, Dinos Moundanos, 1998, IEEE Trans. Computers.