Papers

Dissertation

• P.Z. Kolano. Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems. Ph.D. Thesis, University of California, Santa Barbara, Dec. 1999.

Journal Papers

• P.Z. Kolano. Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. Theoretical Computer Science, volume 282, issue 1, 2002, pp. 53-99.
• P.Z. Kolano, Z. Dang, and R.A. Kemmerer. The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Annals of Software Engineering, volume 7, 1999, pp. 177-210.

Conference Papers

• P.Z. Kolano. A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response. 3rd Intl. Symp. on Visual Computing, Lake Tahoe, CA, Nov. 2007, pp. 564-575.
• P.Z. Kolano. Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control. 12th European Symp. on Research in Computer Security, Dresden, Germany, Sept. 2007, pp. 38-54.
• P.Z. Kolano. Mesh: Secure, Lightweight Grid Middleware Using Existing SSH Infrastructure. 12th ACM Symp. on Access Control Models and Technologies, Sophia Antipolis, France, Jun. 2007, pp. 111-120.
• P.Z. Kolano. A Unified Framework for Periodic, On-Demand, and User-Specified Software Information. 5th IEEE/ACM Intl. Wkshp. on Grid Computing, Pittsburgh, PA, Nov. 2004, pp. 273-280.
• P.Z. Kolano. Surfer: An Extensible Pull-Based Framework for Resource Selection and Ranking. 4th IEEE/ACM Intl. Symp. on Cluster Computing and the Grid, Chicago, IL, Apr. 2004, pp. 563-571.
• P.Z. Kolano. Facilitating the Portability of User Applications in Grid Environments. 4th IFIP Intl. Conf. on Distributed Applications and Interoperable Systems, Paris, France, Nov. 2003, pp.73-85.
• P.Z. Kolano and R.A. Kemmerer. Classification Schemes to Aid in the Analysis of Real-Time Systems. ACM SIGSOFT Intl. Symp. on Software Testing and Analysis, Portland, OR, Aug. 2000, pp. 86-95.
• P.Z. Kolano, R.A. Kemmerer, and D. Mandrioli. Parallel Refinement Mechanisms for Real-Time Systems. 3rd Intl. Conf. on Fundamental Approaches to Software Engineering, Berlin, Germany, Mar. 2000, pp. 35-50.
• P.Z. Kolano. Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. 5th Intl. AMAST Wkshp. on Formal Methods for Real-Time and Probabilistic Systems, Bamberg, Germany, May 1999, pp. 315-333.
• R.A. Kemmerer and P.Z. Kolano. Formally Specifying and Verifying Real-Time Systems. 1st IEEE Intl. Conf. on Formal Engineering Methods, Hiroshima, Japan, Nov. 1997, pp. 112-120.
• K.E. Schauser, C.J. Scheiman, J.M. Ferguson, and P.Z. Kolano. Exploiting the Capabilities of Communications Co-Processors. 10th IEEE Intl. Parallel Processing Symp., Honolulu, HI, Apr. 1996, pp. 109-115.