 | 1991 |
|---|
| 11 |       | Armen Gabrielian,
R. Iyer:
Verifying Properties of HMS Machine Specifications of Real-Time Systems.
CAV 1991: 421-431 |
| 10 |  | Armen Gabrielian,
Matthew K. Franklin:
Multilevel Specification of Real Time Systems.
Commun. ACM 34(5): 50-60 (1991) |
| 1990 |
|---|
| 9 | | Armen Gabrielian,
Matthew K. Franklin:
Multi-Level Specification and Verification of Real-Time Software.
ICSE 1990: 52-62 |
| 1989 |
|---|
| 8 | | Matthew K. Franklin,
Armen Gabrielian:
A Transformational Method for Verifying Safety Properties in Real-Time Systems.
IEEE Real-Time Systems Symposium 1989: 112-125 |
| 1988 |
|---|
| 7 | | Armen Gabrielian,
Matthew K. Franklin:
State-Based Specification of Complex Real-Time Systems.
IEEE Real-Time Systems Symposium 1988: 2-11 |
| 1985 |
|---|
| 6 | | Armen Gabrielian,
Lawrence McNamee,
David J. Trawick:
The Qualified Function Approach to Analysis of Program Behavior and Performance.
IEEE Trans. Software Eng. 11(8): 758-773 (1985) |
| 1984 |
|---|
| 5 | | Armen Gabrielian,
Douglas B. Tyler:
Optimal Object Allocation in Distributed Computer Systems.
ICDCS 1984: 88-95 |
| 1974 |
|---|
| 4 | | Armen Gabrielian,
Seymour Ginsburg:
Grammar Schemata.
J. ACM 21(2): 213-226 (1974) |
| 1972 |
|---|
| 3 | | Armen Gabrielian,
Seymour Ginsburg:
Structured-Storage AFA (Abstract).
Formal Aspects of Cognitive Processes 1972: 70-71 |
| 1971 |
|---|
| 2 | | Janusz A. Brzozowski,
Karel Culik II,
Armen Gabrielian:
Classification of Noncounting Events.
J. Comput. Syst. Sci. 5(1): 41-53 (1971) |
| 1970 |
|---|
| 1 | | Armen Gabrielian:
The Theory of Interacting Local Automata
Information and Control 16(4): 360-377 (1970) |
