Dr. Ivanov’s Publications

[1] L. Ivanov, “Modeling Non-Iterated System Behavior with Chu Spaces”, International Conference on Computer Design (CDES’08), Las Vegas, NV, 7/08

PDF: http://www.iona.edu/faculty/livanov/Papers/CDES_2008.pdf

[2] 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: http://www.iona.edu/faculty/livanov/Papers/mwscas2008.pdf

[3] 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: http://www.iona.edu/faculty/livanov/Papers/CCSCNE_2008.pdf

[4] L. Ivanov, “The N-body Problem Throughout the Computer Science Curriculum”, Journal of Computing Sciences in Colleges, v.22, issue 6, pp.43-52, 6/07

PDF: http://www.iona.edu/faculty/livanov/Papers/ccscne2007.pdf

[5] L. Ivanov, “A Modern Course on Parallel and Distributed Processing”, Journal of Computing Sciences in Colleges, v.21, issue 6, 6/06

PDF: http://www.iona.edu/faculty/livanov/Papers/ccscne_2006.pdf

[6] M. Hoffman, L. Ivanov, A. Kershenbaum, R .Schiaffino, H. Hadimioglu, “Is Computer Science Still Relevant?”, Journal of Computing Sciences in Colleges, v.21, issue 6, 6/06

PDF: http://www.iona.edu/faculty/livanov/Papers/CCSCNE_Panel_2006.pdf

[7] L. Ivanov, M. Hoffman, H. Hadimioglu, R. Connelly, D. Herscovici, “Course Continuity in the Computer Science Curriculum”, Journal of Computing Sciences in Colleges, 10/05

PDF: http://www.iona.edu/faculty/livanov/Papers/CCSCEast2005.pdf

[8] L. Ivanov, “Modeling and Verification of a Distributed Transmission Protocol”, Proceedings of IEEE/ACM CDES’05, Las Vegas, NV, 6/05

PDF: http://www.iona.edu/faculty/livanov/Papers/CDES-2005.pdf

[9] L. Ivanov, “Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications”, Proceedings of IEEE/ACM International Conference on VLSI’04, Las Vegas, NV, 6/04

PDF: http://www.iona.edu/faculty/livanov/Papers/vlsi-2004.pdf

[10] J. Mallozzi, L. Ivanov, “A Hardware/Software Simulator to Unify Courses in the Computer Science Curriculum”, Journal of Computing Sciences in Colleges, Volume19/Number 3, 2/04

PDF: http://www.iona.edu/faculty/livanov/Papers/ccscne_2004.pdf

[11] L. Ivanov, “A Hardware Lab for the Computer Organization Course at Small Colleges”, Journal of Computing Sciences in Colleges, 2/04

PDF: http://www.iona.edu/faculty/livanov/Papers/ccsce_2003.pdf

[12] L. Ivanov, “Hardware Courses and the Undergraduate Computer Science Curriculum at Small Colleges”, Journal of Computing Sciences in Colleges, Volume18/Number 3, 2/03[13] L. Ivanov, “SPPV: A New Formal Verification Environment”, Proceedings of IEEE MWSCAS'02, Tulsa, OK, 8/02

PDF: http://www.iona.edu/faculty/livanov/Papers/ccsce_2002.pdf

[14] L. Ivanov, “Modeling and Verification of a Pipelined CPU”, Proceedings of IEEE MWSCAS'02, Tulsa, OK, 8/02

PDF: http://www.iona.edu/faculty/livanov/Papers/mwscas2002_1.pdf

[15] L. Ivanov, M. Shute, “SPPV: A New Formal Verification Environment”, Proceedings of IEEE MWSCAS'02, Tulsa, OK, 8/02

PDF: http://www.iona.edu/faculty/livanov/Papers/mwscas2002_2.pdf

[16] L. Ivanov, “Integrating Formal Verification into Computer Organization and Architecture Courses”, Journal of Computing Sciences in Colleges, Volume17/Number 3, 2/02

PDF: http://www.iona.edu/faculty/livanov/Papers/ccsce_2001.pdf

[17] L. Ivanov, "Formal Verification of Microinstruction Sequencing", Proceedings of IEEE/ACM ICCIT'01, Montclair, NJ, 10/01

PDF: http://www.iona.edu/faculty/livanov/Papers/ICCIT_2001.pdf

[18] L. Ivanov, "Formal Verification of a Microprocessor Control", Proceedings of IEEE MWSCAS'01, Dayton, OH, 5/01

PDF: http://www.iona.edu/faculty/livanov/Papers/MWSCAS2001_1.pdf

[19] L. Ivanov, R. Nunna, "Modeling and Verification of Iterated Systems and Protocols", Proceedings of IEEE MWSCAS'01, Dayton, OH, 8/01

PDF: http://www.iona.edu/faculty/livanov/Papers/mwscas2001_2.pdf

[20] L. Ivanov, R. Nunna, "Modeling and Verification of Cache Coherence Protocols", Proceedings of IEEE ISCAS'01, Sydney, Australia, 5/01

PDF: http://www.iona.edu/faculty/livanov/Papers/ISCAS2001FINAL.PDF

[21] L. Ivanov, R. Nunna, “Modeling and Verification of an Interconnect Bus Protocol”, Proceedings of IEEE MWSCAS’00, 8/00

PDF: http://www.iona.edu/faculty/livanov/Papers/mwscas2000.pdf

[22] L. Ivanov, R. Nunna, “Formal Verification: A New Partial Order Approach”, Proceedings of IEEE ASIC/SOC’99, 9/99

PDF: http://www.iona.edu/faculty/livanov/Papers/asic99.pdf

[23] 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: http://www.iona.edu/faculty/livanov/Papers/mwscas1999.pdf

[24] 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: http://www.iona.edu/faculty/livanov/Papers/ISCAS_1999.pdf