Armen Gabrielian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1975–1991
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | CAV | Verifying Properties of HMS Machine Specifications of Real-Time Systems. | Armen Gabrielian, R. Iyer |
| 1990 | ICSE | Multi-Level Specification and Verification of Real-Time Software. | Armen Gabrielian, Matthew K. Franklin |
| 1989 | RTSS | A Transformational Method for Verifying Safety Properties in Real-Time Systems. | Matthew K. Franklin, Armen Gabrielian |
| 1988 | RTSS | State-Based Specification of Complex Real-Time Systems. | Armen Gabrielian, Matthew K. Franklin |
| 1984 | ICDCS | Optimal Object Allocation in Distributed Computer Systems. | Armen Gabrielian, Douglas B. Tyler |
| 1983 | WSC | Representation and modeling of distributed computer systems. | Armen Gabrielian |
| 1975 | ARITH | Formal systems of numerals. | Armen Gabrielian |