Armen Gabrielian

Publication Activity (10 Years)

Years Active: 1970-1991
Publications (10 Years): 0

Publications

Armen Gabrielian, R. Iyer
Verifying Properties of HMS Machine Specifications of Real-Time Systems. CAV (1991)
Armen Gabrielian, Matthew K. Franklin
Multilevel Specification of Real Time Systems. Commun. ACM 34 (5) (1991)
Armen Gabrielian, Matthew K. Franklin
Multi-Level Specification and Verification of Real-Time Software. ICSE (1990)
Matthew K. Franklin, Armen Gabrielian
A Transformational Method for Verifying Safety Properties in Real-Time Systems. RTSS (1989)
Armen Gabrielian, Matthew K. Franklin
State-Based Specification of Complex Real-Time Systems. RTSS (1988)
Armen Gabrielian, Lawrence McNamee, David J. Trawick
The Qualified Function Approach to Analysis of Program Behavior and Performance. IEEE Trans. Software Eng. 11 (8) (1985)
Armen Gabrielian, Douglas B. Tyler
Optimal Object Allocation in Distributed Computer Systems. ICDCS (1984)
Armen Gabrielian
Representation and modeling of distributed computer systems. WSC (1983)
Armen Gabrielian
Formal systems of numerals. IEEE Symposium on Computer Arithmetic (1975)
Armen Gabrielian, Seymour Ginsburg
Grammar Schemata. J. ACM 21 (2) (1974)
Armen Gabrielian, Seymour Ginsburg
Structured Storage AFA. IEEE Trans. Computers 22 (5) (1973)
Armen Gabrielian, Seymour Ginsburg
Structured-Storage AFA (Abstract). Formal Aspects of Cognitive Processes (1972)
Janusz A. Brzozowski, Karel Culík II, Armen Gabrielian
Classification of Noncounting Events. J. Comput. Syst. Sci. 5 (1) (1971)
Armen Gabrielian
The Theory of Interacting Local Automata Inf. Control. 16 (4) (1970)