| 2007 |
|---|
| 13 | EE | Paul Z. Kolano:
Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control.
ESORICS 2007: 38-54 |
| 12 | EE | Paul Z. Kolano:
A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response.
ISVC (1) 2007: 564-575 |
| 11 | EE | Paul Z. Kolano:
Mesh: secure, lightweight grid middleware using existing SSH infrastructure.
SACMAT 2007: 111-120 |
| 2004 |
|---|
| 10 | EE | Paul Z. Kolano:
Surfer: an extensible pull-based framework for resource selection and ranking.
CCGRID 2004: 563-571 |
| 9 | EE | Paul Z. Kolano:
A resource manager for optimal resource selection and fault tolerance service in Grids.
CCGRID 2004: 572-579 |
| 8 | EE | Paul Z. Kolano:
A Unified Framework for Periodic, On-Demand, and User-Specified Software Information.
GRID 2004: 273-280 |
| 2003 |
|---|
| 7 | EE | Paul Z. Kolano:
Facilitating the Portability of User Applications in Grid Environments.
DAIS 2003: 73-85 |
| 2002 |
|---|
| 6 | EE | Paul Z. Kolano:
Proof assistance for real-time systems using an interactive theorem prover.
Theor. Comput. Sci. 282(1): 53-99 (2002) |
| 2000 |
|---|
| 5 | EE | Paul Z. Kolano,
Richard A. Kemmerer,
Dino Mandrioli:
Parallel Refinement Mechanisms for Real-Time Systems.
FASE 2000: 35-50 |
| 4 | EE | Paul Z. Kolano,
Richard A. Kemmerer:
Classification schemes to aid in the analysis of real-time systems.
ISSTA 2000: 86-95 |
| 1999 |
|---|
| 3 | EE | Paul Z. Kolano:
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.
ARTS 1999: 315-333 |
| 2 | | Paul Z. Kolano,
Zhe Dang,
Richard A. Kemmerer:
The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment.
Ann. Software Eng. 7: 177-210 (1999) |
| 1996 |
|---|
| 1 | EE | Klaus E. Schauser,
Chris J. Scheiman,
J. Mitchell Ferguson,
Paul Z. Kolano:
Exploiting the Capabilities of Communications Co-Processors.
IPPS 1996: 109-115 |
