Follow
Susan Owicki
Susan Owicki
Unknown affiliation
Verified email at owicki.com
Title
Cited by
Cited by
Year
An axiomatic proof technique for parallel programs I
S Owicki, D Gries
Acta informatica 6 (4), 319-340, 1976
16301976
High-speed switch scheduling for local-area networks
TE Anderson, SS Owicki, JB Saxe, CP Thacker
ACM Transactions on Computer Systems (TOCS) 11 (4), 319-352, 1993
13201993
Proving liveness properties of concurrent programs
S Owicki, L Lamport
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 455-495, 1982
8581982
Verifying properties of parallel programs: An axiomatic approach
S Owicki, D Gries
Communications of the ACM 19 (5), 279-285, 1976
7961976
Competitive randomized algorithms for nonuniform problems
AR Karlin, MS Manasse, LA McGeoch, S Owicki
Algorithmica 11 (6), 542-571, 1994
5231994
Network objects
A Birrell, G Nelson, S Owicki, E Wobber
ACM SIGOPS Operating Systems Review 27 (5), 217-230, 1993
4121993
Maintaining the time in a distributed system
K Marzullo, S Owicki
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
2761983
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,823,135, 2010
2722010
Empirical studies of competitve spinning for a shared-memory multiprocessor
AR Karlin, K Li, MS Manasse, S Owicki
ACM SIGOPS Operating Systems Review 25 (5), 41-55, 1991
2281991
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,430,670, 2008
2102008
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
1731983
Software self-defense systems and methods
J Horning, W Sibert, R Tarjan, U Maheshwari, W Horne, A Wright, ...
US Patent App. 11/506,321, 2007
1642007
Software self-defense systems and methods
JJ Homing, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ...
US Patent 7,779,394, 2010
1462010
Fault tolerant distributed garbage collection system and method for collecting network objects
SS Owicki, AD Birrell, CG Nelson, EP Wobber
US Patent 5,446,901, 1995
1261995
A model and temporal proof system for networks of processes
V Nguyen, D Gries, S Owicki
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985
1241985
Distributed garbage collection for network objects
A Birrell, D Evers, G Nelson, S Owicki, E Wobber
Digital Equipment Corporation Systems Research Center, 1993
1101993
Systems and methods for watermarking software and other media
WG Horne, U Maheshwari, RE Tarjan, JJ Horning, WO Sibert, ...
US Patent 7,770,016, 2010
1072010
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
1041980
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.
S Ceri, SS Owicki
Berkeley Workshop, 117-129, 1982
1001982
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ...
US Patent 8,387,022, 2013
902013
The system can't perform the operation now. Try again later.
Articles 1–20