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
15101976
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
12851993
Proving liveness properties of concurrent programs
S Owicki, L Lamport
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 455-495, 1982
8321982
Verifying properties of parallel programs: An axiomatic approach
S Owicki, D Gries
Communications of the ACM 19 (5), 279-285, 1976
7231976
Network objects
A Birrell, G Nelson, S Owicki, E Wobber
ACM SIGOPS Operating Systems Review 27 (5), 217-230, 1993
3931993
Competitive randomized algorithms for nonuniform problems
AR Karlin, MS Manasse, LA McGeoch, S Owicki
Algorithmica 11 (6), 542-571, 1994
3091994
Maintaining the time in a distributed system
K Marzullo, S Owicki
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
2681983
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,823,135, 2010
2442010
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
2151991
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,430,670, 2008
2022008
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
1671983
Competitive randomized algorithms for non-uniform problems
AR Karlin, MS Manasse, LA McGeoch, S Owicki
Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms …, 1990
1531990
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
1422007
Software self-defense systems and methods
JJ Homing, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ...
US Patent 7,779,394, 2010
1372010
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
1251995
A model and temporal proof system for networks of processes
V Nguyen, A Demers, D Gries, S Owicki
Distributed Computing 1 (1), 7-25, 1986
1191986
Distributed garbage collection for network objects
A Birrell, D Evers, G Nelson, S Owicki, E Wobber
Digital Equipment Corporation Systems Research Center, 1993
1041993
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
1001980
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
952010
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.
S Ceri, SS Owicki
Berkeley Workshop, 117-129, 1982
951982
The system can't perform the operation now. Try again later.
Articles 1–20