On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. - Gruia-Catalin Roman; C. Donald Wilcox; Jerome Y. Plun (ICDCS, 1992)

Pavane: a system for declarative visualization of concurrent computations. - Gruia-Catalin Roman; Kenneth C. Cox; C. Donald Wilcox; Jerome Y. Plun (J. Vis. Lang. Comput., 1992)

Dynamic Synchrony Among Atomic Actions. - Gruia-Catalin Roman; Jerome Y. Plun; C. Donald Wilcox (IEEE Trans. Parallel Distributed Syst., 1993)

Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. - Gruia-Catalin Roman; Peter J. McCann; Jerome Y. Plun (ICSE, 1996)

Mobile UNITY: Reasoning and Specification in Mobile Computing. - Gruia-Catalin Roman; Peter J. McCann; Jerome Y. Plun (ACM Trans. Softw. Eng. Methodol., 1997)