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 | EE | 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) |