Dr. Ivanov's Publications
L. Ivanov, “Automatic Generation of Chu Space Model Expressions for Verification”, IEEE Midwest Symposium on Circuits and Systems (MWSCAS’08), Knoxville, TN, 8/08 [pdf]
L. Ivanov, “Modeling Non-Iterated System Behavior with Chu Spaces”, International Conference on Computer Design (CDES’08), Las Vegas, NV, 7/08 [pdf]
L. Ivanov, H. Hadimioglu, M. Hoffman, “Parallel Computing in the Computer Science Curriculum”, Journal of Computing Sciences in Colleges, v.23 issue 5, 5/08 [pdf]
L. Ivanov, “The N-Body Problem throughout the Computer Science Curriculum”, presented at the CCSC North-Eastern Conference, Rochester, NY 4/07, and published in the Journal of Computing in Small Colleges, Volume 22/Issue 6, 6/07 [pdf]
L. Ivanov, “A Modern Course on Parallel and Distributed Processing”, presented at the CCSC North-Eastern Conference, Worcestor, MA, 4/06, and published in the Journal of Computing in Small Colleges, Volume 21/Issue 6, 6/06 [pdf]
L. Ivanov, M. Hoffman, A. Kershenbaum, R. Schiaffino, H. Hadimioglu, “Is Computer Science Still Relevant?”, presented at the CCSC North-Eastern Conference, Worcestor, MA, 4/06, and published in the Journal of Computing in Small Colleges, Volume 21/Issue 6, 6/06 [pdf]
M. Hoffman, L. Ivanov, , R. Connelly, D. Herscovici, “Course Continuity in the Computer Science Curriculum”, presented at the CCSC Eastern Conference, New Rochelle, NY, 10/05, and published in the Journal of Computing in Small Colleges, Volume 21/Issue 2, 12/05 [pdf]
L.Ivanov, “Modeling and Verification of a Distributed Transmission Protocol”, presented at the IEEE/ACM CDES'05 Conference, Las Vegas, NV, 6/05 [pdf]
L.Ivanov, “Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications”, presented at the IEEE/ACM International Conference on VLSI’04, Las Vegas, NV, 6/04 [pdf]
J. Mallozzi, L. Ivanov, “A Hardware/Software Simulator to Unify Courses in the Computer Science Curriculum”, presented at the CCSC North-Eastern Conference, Schenectady, NY, 4/04, and published in the Journal of Computing in Small Colleges, Volume19/Number 3, 2/04 [pdf]
L. Ivanov, “A Hardware Lab for the Computer Organization Course at Small Colleges”, to appear in the Journal of Computing for Small Colleges in 2004, and presented at CCSC Eastern Conference’03, Montclair, NJ, 10/03 [pdf]
L. Ivanov, “Hardware Courses and the Undergraduate Computer Science Curriculum at Small Colleges”, published in the Journal of Computing for Small Colleges, Volume18/Number 3, 2/03 and presented at CCSC Eastern Conference’02, Bloomsburgh, PA, 10/02 [pdf]
L. Ivanov, “SPPV: A New Formal Verification Environment”, Proceedings of IEEE MWSCAS'02, Tulsa, OK, 8/02 [pdf]
L. Ivanov, “Modeling and Verification of a Pipelined CPU”, Proceedings of IEEE MWSCAS'02, Tulsa, OK, 8/02 [pdf]
L. Ivanov, “Integrating Formal Verification into Computer Organization and Architecture Courses”, published in the Journal of Computing for Small Colleges, Volume17/Number 3, 2/02, and presented at CCSC ESCCC'01, Shepherdstown, WV, 10/01 [pdf]
L. Ivanov, "Formal Verification of Microinstruction Sequencing", Proceedings of IEEE/ACM ICCIT'01, Montclair, NJ, 10/01 [pdf]
L. Ivanov, "Formal Verification of a Microprocessor Control", Proceedings of IEEE MWSCAS'01, Dayton, OH, 5/01 [pdf]
L. Ivanov, R. Nunna, "Modeling and Verification of Iterated Systems and Protocols", Proceedings of IEEE MWSCAS'01, Dayton, OH, 8/01 [pdf]
L. Ivanov, R. Nunna, "Modeling and Verification of Cache Coherence Protocols", Proceedings of IEEE ISCAS'01, Sydney, Australia, 5/01 [pdf]
L. Ivanov, R. Nunna, “Modeling and Verification of an Interconnect Bus Protocol”, Proceedings of IEEE MWSCAS’00, 8/00 [pdf]
L. Ivanov, R. Nunna, “Formal Verification: A New Partial Order Approach”, Proceedings of IEEE ASIC/SOC’99, 9/99 [pdf]
L. Ivanov, R. Nunna, “Formal Verification with Series-Parallel Posets of Globally-Iterated Locally-Non-Iterated Systems”, Proceedings of IEEE MWSCAS’99, 8/99 [pdf]
L. Ivanov, R. Nunna, S. Bloom, "Modeling and Analysis of Non-Iterated Systems: An Approach Based on Series-Parallel Posets", Proceedings of IEEE ISCAS'99, 5/99 [pdf]