Mark Moriconi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1979–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | SP | Secure Software Architectures. | Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong |
| 1989 | ISSTA | A Practical Approach to Semantic Configuration Management. | Mark Moriconi |
| 1981 | ICALP | Automatic Construction of Verification Condition Generators From Hoare Logics. | Mark Moriconi, Richard L. Schwartz |
| 1979 | FM | Interactive Design and Verification: A Message Switching Network Example. | Mark Moriconi |