| 1996 |
|---|
| 9 | EE | Ellen A. White,
H. Theodore Stump,
Linda A. Ness,
Derek W. Schultz:
Project Aurora: Dawn of a New Way.
ICRE 1996: 165-172 |
| 1995 |
|---|
| 8 | | Edmund M. Clarke,
Orna Grumberg,
Hiromi Hiraishi,
Somesh Jha,
David E. Long,
Kenneth L. McMillan,
Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol.
Formal Methods in System Design 6(2): 217-232 (1995) |
| 1993 |
|---|
| 7 | | Edmund M. Clarke,
Orna Grumberg,
Hiromi Hiraishi,
Somesh Jha,
David E. Long,
Kenneth L. McMillan,
Linda A. Ness:
Verification of the Futurebus+ Cache Coherence Protocol.
CHDL 1993: 15-30 |
| 1991 |
|---|
| 6 | | E. Jane Cameron,
David M. Cohen,
Timothy M. Guinther,
William M. Keese II,
Linda A. Ness,
Cynthia Norman,
Hassan N. Srinidhi:
The L.0 Language and Environment for Protocol Simulation and Prototyping.
IEEE Trans. Computers 40(4): 562-571 (1991) |
| 1990 |
|---|
| 5 | | Linda A. Ness:
Issues Arising in the Analysis of L.0.
CAV 1990: 106-115 |
| 4 | | E. Jane Cameron,
David M. Cohen,
Timothy M. Guinther,
William M. Keese II,
Linda A. Ness,
Cynthia Norman,
Hassan N. Srinidhi:
L.0: A Language for Modeling and Prototyping Communications Software.
FORTE 1990: 223-238 |
| 3 | | David M. Cohen,
Timothy M. Guinther,
Linda A. Ness:
Rapid Prototyping of Communications Protocol Using a New Parallel Language.
ICSI 1990: 196-204 |
| 1988 |
|---|
| 2 | EE | E. Jane Cameron,
David M. Cohen,
B. Gopinath,
William M. Keese II,
Linda A. Ness,
Prem Uppaluru,
John R. Vollaro:
The IC* Model of Parallel Computation and Programming Environment.
IEEE Trans. Software Eng. 14(3): 317-326 (1988) |
| 1986 |
|---|
| 1 | | Linda A. Ness:
Reducing Linear Recursive Relations to Transitive Closure.
XP7.52 Workshop on Database Theory 1986 |
