- Modeling Non-Iterated System Behavior with Chu Spaces Lubomir Ivanov
- ICCIT01_final.docsubmitted to World Scientific: 8/25/2004 : 12:04 PM FORMAL VERIFICATION OF MICROINSTRUCTION SEQUENING
- A HARDWARE/SOFTWARE SIMULATOR TO UNIFY COURSES IN THE COMPUTER SCIENCE CURRICULUM
- Formal Verification: A New Partial Order Approach Lubomir Ivanov
- Modeling and Verification of a Distributed Transmission Protocol Lubomir Ivanov
- MODELING AND VERIFICATION OF A PIPELINED CPU Lubomir Ivanov
- A HARDWARE LAB FOR THE COMPUTER ORGANIZATION COURSE AT SMALL COLLEGES
- IS COMPUTER SCIENCE STILL RELEVANT? Aaron Kershenbaum, IBM T.J. Watson Research Center, Hawthorne, NY
- Automatic Generation of Chu Space Model Expressions for Verification Lubomir Ivanov
- A New Look at Parallel Computing in the Computer Science Lubomir Ivanov (moderator), Iona College, New Rochelle, NY, livanov@iona.edu
- THE N-BODY PROBLEM THROUGHOUT THE COMPUTER SCIENCE Lubomir Ivanov
- COURSE CONTINUITY IN THE COMPUTER SCIENCE Richard Connelly, Providence College, Providence, RI, rconnell@providence.edu
- Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications Lubomir Ivanov
- HARDWARE COURSES AND THE UNDERGRADUATE COMPUTER SCIENCE CURRICULUM AT SMALL COLLEGES
- Formal Verification of a Microprocessor Control Lubomir Ivanov
- Formal Verification of Globally-Iterated/Locally-Non-Iterated Systems
- Modeling and Analysis of Non-Iterated Systems: An Approach based upon Series-Parallel Posets
- Specification and Formal Verification of Interconnect Bus Protocols Lubomir Ivanov
- Integrating Formal Verification into Computer Organization and Architecture Courses
- SPPV: A NEW FORMAL VERIFICATION ENVIRONMENT Lubomir Ivanov Michael Shute
- A MODERN COURSE ON PARALLEL AND DISTRIBUTED Lubomir Ivanov
- Modeling and Verification of Iterated Systems and Protocols Lubomir Ivanov
