1998 Technical Reports

Department of Computing and Information Sciences
Kansas State University

Note: not all reports are available in electronic form. (Sorry!)

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

Dave Schmidt (schmidt@cis.ksu.edu)