Author: Rance Cleaveland

Publications

Co-authors

Peter Lee

1

Harvey Rubin

1

Lui Sha

1

Productive Colleagues

Peter Lee

3

Lui Sha

6

Insup Lee

8

Publications

Lee, Insup, Pappas, George J., Cleaveland, Rance, Hatcliff, John, Krogh, Bruce H., Lee, Peter, Rubin, Harvey, Sha, Lui (2006): High-Confidence Medical Device Software and Systems. In IEEE Computer, 39 (4) pp. 33-38. https://doi.ieeecomputersociety.org/10.1109/MC.2006.127

Sengupta, Bikram, Cleaveland, Rance (2003): Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 95-104. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800095abs.htm