Lubomir Ivanov

Lubomir Ivanov

Iona University - New Rochelle / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4598804
person_outline Lubomir Ivanov's MOST POPULAR ARTICLES
1-) Modeling and verification of cache coherence protocolsL Ivanov, R NunnaISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems …, 2001362001
2-) Modeling and analysis of noniterated systems: an approach based upon series-parallel posetsL Ivanov, R Nunna, S Bloom1999 IEEE International Symposium on Circuits and Systems (ISCAS) 1, 404-406, 1999171999
3-) Formal Verification: A New Partial Order ApproachL Ivanov, R NunnaTwelfth Annual IEEE International ASIC/SOC Conference (Cat. No. 99TH8454), 32-36, 1999131999
4-) Specification and formal verification of interconnect bus protocolsL Ivanov, R NunnaProceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat …, 2000122000
5-) Formal Verification with Series-Parallel Posets of Globally-Iterated Locally-Non-Iterated SystemsL Ivanov, R NunnaProceedings. of MWSCAS 99, 1999121999