Paul Z. Kolano

Publication Activity (10 Years)

Years Active: 1996-2015
Publications (10 Years): 0

Top Topics

Labor Intensive

Top Venues

IPDPS Workshops

Euro-Par Workshops

Publications

Paul Z. Kolano
Time-synchronized visualization of arbitrary data streams. Visualization and Data Analysis (2015)
Paul Z. Kolano
Automatically encapsulating HPC best practices into data transfers. HUST@SC (2015)
Paul Z. Kolano
Time-Synchronized Visualization of Arbitrary Data Streams for Real-Time Monitoring and Historical Analysis. LISA (2014)
Paul Z. Kolano
Transparent Optimization of Parallel File System I/O via Standard System Tool Enhancement. IPDPS Workshops (2013)
Paul Z. Kolano
High Performance Reliable File Transfers Using Automatic Many-to-Many Parallelization. Euro-Par Workshops (2012)
Paul Z. Kolano
Dynamic load balancing of SSH sessions using user-specific selection policies. ISCC (2010)
Paul Z. Kolano, Robert Ciotti
High Performance Multi-Node File Copies and Checksums for Clustered File Systems. LISA (2010)
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
Refinement and Verification of Real-Time Systems CoRR (2010)
Paul Z. Kolano
Mesh: secure, lightweight grid middleware using existing SSH infrastructure. SACMAT (2007)
Paul Z. Kolano
Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control. ESORICS (2007)
Paul Z. Kolano
A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response. ISVC (1) (2007)
Paul Z. Kolano
Surfer: an extensible pull-based framework for resource selection and ranking. CCGRID (2004)
Paul Z. Kolano
A resource manager for optimal resource selection and fault tolerance service in Grids. CCGRID (2004)
Paul Z. Kolano
A Unified Framework for Periodic, On-Demand, and User-Specified Software Information. GRID (2004)
Paul Z. Kolano
Facilitating the Portability of User Applications in Grid Environments. DAIS (2003)
Paul Z. Kolano
Proof assistance for real-time systems using an interactive theorem prover. Theor. Comput. Sci. 282 (1) (2002)
Paul Z. Kolano, Richard A. Kemmerer
Classification schemes to aid in the analysis of real-time systems. ISSTA (2000)
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
Parallel Refinement Mechanisms for Real-Time Systems. FASE (2000)
Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Ann. Softw. Eng. 7 (1999)
Paul Z. Kolano
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. ARTS (1999)
Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano
Exploiting the Capabilities of Communications Co-Processors. IPPS (1996)