| |
| 1996 | ||
|---|---|---|
| 4 | EE | C. Donald Wilcox, Gruia-Catalin Roman: Reasoning About Places, Times, and Actions in the Presence of Mobility. IEEE Trans. Software Eng. 22(4): 225-247 (1996) |
| 1994 | ||
| 3 | EE | Gruia-Catalin Roman, C. Donald Wilcox: Architecture-Directed Refinement. IEEE Trans. Software Eng. 20(4): 239-258 (1994) |
| 1993 | ||
| 2 | EE | Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox: Dynamic Synchrony Among Atomic Actions. IEEE Trans. Parallel Distrib. Syst. 4(6): 677-685 (1993) |
| 1992 | ||
| 1 | Gruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun: On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. ICDCS 1992: 494-501 | |
| 1 | Jerome Y. Plun | [1] [2] |
| 2 | Gruia-Catalin Roman | [1] [2] [3] [4] |