Important: The links on this page connect to the department's ftp directory. For whatever strange reason, some WWW browsers cannot access the directory. If you try one of the links on this page and receive an error message in response, please use ordinary ftp to obtain the reports: (i) ftp ftp.cis.ksu.edu (anonymous login) (ii) cd pub/CIS (iii) get README
Here is a listing of the abstracts for the reports.
Report 98-1. Finite-State Self-Stabilizing Protocols by Rodney R. Howell, Mikhail Nesterenko, and Masaaki Mizuno
Report 98-2. Adapting big-step semantics to small-step style: coinductive interpretations and ``higher-order'' derivations. by Husain Ibraheem and David Schmidt.
Report 98-3. Filter-based Model Checking of Partial Systems by Matthew B. Dwyer and Corina S. Pasareanu
Report 98-4. Automatically Specializing Software for Finite-state Verification by John Hatcliff, Matthew B. Dwyer, Shawn Laubach, Jason Mayans and Nanda Muhammad
Report 98-5. Staging Static Analysis Using Abstraction-based Program Specialization by John Hatcliff, Matthew Dwyer, Shawn Laubach, David Schmidt
Report 98-6. A Framework for Model Checking Active Database Management Systems by Tarek S. Ghazi and Michael Huth
Report 98-7. A Structured Approach for Developing Concurrent Programs in Java by Masaaki Mizuno
Report 98-8. Data-flow analysis as model checking of abstract interpretations. by David Schmidt and Bernhard Steffen
Report 98-9. Patterns in Property Specifications for Finite-state Verification by Matthew B. Dwyer, George S. Avrunin and James C. Corbett
Report 98-10. Model Checking Generic Container Implementations by Matthew B. Dwyer and Corina S. Pasareanu
Report 98-11 . A Taxonomy of Continuation-passing and Direct-style Translations by Gilles Barthe, John Hatcliff, and Morten Heine Soerensen
Report 98-12. Translating Ada Programs for Model Checking : A Tutorial by Matthew B. Dwyer, James C. Corbett and Corina S. Pasareanu
Report 98-13. Approximating Decision Problems by Michael Huth
Report 98-14. Slicing Software for Model Construction by Matthew B. Dwyer and John Hatcliff
Report 98-15. Modular Verification of Software Units by Corina Pasareanu, Matthew B. Dwyer, Michael Huth