Author: Paul E. Black

Paul E. Black

Paul E. Black

Publications

Publication period start: 1997
Publication period end: 2008
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Vadim Okun
1
Eric Dalci
1
Phillip J. Windley
2

Productive Colleagues

Most productive colleagues in number of publications
Phillip J. Windley
2
Elizabeth Fong
2
Vadim Okun
2

Publications

Black, Paul E., Windley, Phillip J. (1997): Verifying Resilient Software. In: HICSS 1997 , 1997, . pp. 262-266. http://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050262abs.htm

Black, Paul E., Windley, Phillip J. (1998): Formal Verification of Secure Programs in the Presence of Side Effects. In: HICSS 1998 , 1998, . pp. 327-. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390327abs.htm

Fong, Elizabeth, Gaucher, Romain, Okun, Vadim, Black, Paul E., Dalci, Eric (2008): Building a Test Suite for Web Application Scanners. In: HICSS 2008 - 41st Hawaii International International Conference on Systems Science 7-10 January, 2008, Waikoloa, Big Island, HI, USA. pp. 478. http://doi.ieeecomputersociety.org/10.1109/HICSS.2008.79