 | 1997 |
|---|
| 12 |       | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider,
Li Gong:
Secure Software Architectures.
IEEE Symposium on Security and Privacy 1997: 84-93 |
| 1995 |
|---|
| 11 | | Mark Moriconi,
Xiaolei Qian,
Robert A. Riemenschneider:
Correct Architecture Refinement.
IEEE Trans. Software Eng. 21(4): 356-372 (1995) |
| 1994 |
|---|
| 10 | | Mark Moriconi,
Xiaolei Qian:
Correctness and Composition of Software Architectures.
SIGSOFT FSE 1994: 164-174 |
| 1991 |
|---|
| 9 | | Mark Moriconi,
Timothy C. Winkler:
Correction to ``Approximate Reasoning About the Semantic Effects of Program Changes''.
IEEE Trans. Software Eng. 17(1): 94 (1991) |
| 1990 |
|---|
| 8 | | Mark Moriconi,
Timothy C. Winkler:
Approximate Reasoning About the Semantic Effects of Program Changes.
IEEE Trans. Software Eng. 16(9): 980-992 (1990) |
| 1989 |
|---|
| 7 | | Mark Moriconi:
A Practical Approach to Semantic Configuration Management.
Symposium on Testing, Analysis, and Verification 1989: 103-113 |
| 1986 |
|---|
| 6 |  | Mark Moriconi:
PegaSys and the Role of Logic in programming Environments.
Advanced Programming Environments 1986: 52-58 |
| 5 | | Mark Moriconi,
Dwight F. Hare:
The PegaSys System: Pictures as Formal Documentation of Large Programs.
ACM Trans. Program. Lang. Syst. 8(4): 524-546 (1986) |
| 1985 |
|---|
| 4 | | Mark Moriconi,
Dwight F. Hare:
Visualizing Program Designs Through PegaSys.
IEEE Computer 18(8): 72-85 (1985) |
| 1981 |
|---|
| 3 | | Mark Moriconi,
Richard L. Schwartz:
Automatic Construction of Verification Condition Generators From Hoare Logics.
ICALP 1981: 363-377 |
| 1979 |
|---|
| 2 | | Mark Moriconi:
Interactive Design and Verification: A Message Switching Network Example.
The Use of Formal Specification of Software 1979: 355-388 |
| 1 | | Mark Moriconi:
A Designer/Verifiers's Assistant.
IEEE Trans. Software Eng. 5(4): 387-401 (1979) |
