Paul Z. Kolano

	2010
15		Paul Z. Kolano: Dynamic load balancing of SSH sessions using user-specific selection policies. ISCC 2010: 272-278
14		Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli: Refinement and Verification of Real-Time Systems CoRR abs/1002.1796: (2010)
	2007
13		Paul Z. Kolano: Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control. ESORICS 2007: 38-54
12		Paul Z. Kolano: A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response. ISVC (1) 2007: 564-575
11		Paul Z. Kolano: Mesh: secure, lightweight grid middleware using existing SSH infrastructure. SACMAT 2007: 111-120
	2004
10		Paul Z. Kolano: Surfer: an extensible pull-based framework for resource selection and ranking. CCGRID 2004: 563-571
9		Paul Z. Kolano: A resource manager for optimal resource selection and fault tolerance service in Grids. CCGRID 2004: 572-579
8		Paul Z. Kolano: A Unified Framework for Periodic, On-Demand, and User-Specified Software Information. GRID 2004: 273-280
	2003
7		Paul Z. Kolano: Facilitating the Portability of User Applications in Grid Environments. DAIS 2003: 73-85
	2002
6		Paul Z. Kolano: Proof assistance for real-time systems using an interactive theorem prover. Theor. Comput. Sci. 282(1): 53-99 (2002)
	2000
5		Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli: Parallel Refinement Mechanisms for Real-Time Systems. FASE 2000: 35-50
4		Paul Z. Kolano, Richard A. Kemmerer: Classification schemes to aid in the analysis of real-time systems. ISSTA 2000: 86-95
	1999
3		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		Klaus E. Schauser, Chris J. Scheiman, J. Mitchell Ferguson, Paul Z. Kolano: Exploiting the Capabilities of Communications Co-Processors. IPPS 1996: 109-115

Coauthor Index

1	Zhe Dang	[2]
2	J. Mitchell Ferguson	[1]
3	Carlo A. Furia	[14]
4	Richard A. Kemmerer	[2] [4] [5] [14]
5	Dino Mandrioli	[5] [14]
6	Klaus E. Schauser	[1]
7	Chris J. Scheiman	[1]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page