Paul Z. Kolano

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