Armen Gabrielian

According to our database, Armen Gabrielian authored at least 14 papers between 1970 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1991

Multilevel Specification of Real Time Systems.

Armen Gabrielian, Matthew K. Franklin

Commun. ACM, 1991

Verifying Properties of HMS Machine Specifications of Real-Time Systems.

Armen Gabrielian, R. Iyer

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Multi-Level Specification and Verification of Real-Time Software.

Armen Gabrielian, Matthew K. Franklin

Proceedings of the 12th International Conference on Software Engineering, 1990

1989

A Transformational Method for Verifying Safety Properties in Real-Time Systems.

Matthew K. Franklin, Armen Gabrielian

Proceedings of the Real-Time Systems Symposium, 1989

1988

State-Based Specification of Complex Real-Time Systems.

Armen Gabrielian, Matthew K. Franklin

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), 1988

1985

The Qualified Function Approach to Analysis of Program Behavior and Performance.

Armen Gabrielian, Lawrence McNamee, David J. Trawick

IEEE Trans. Software Eng., 1985

1984

Optimal Object Allocation in Distributed Computer Systems.

Armen Gabrielian, Douglas B. Tyler

Proceedings of the 4th International Conference on Distributed Computing Systems, 1984

1983

Representation and modeling of distributed computer systems.

Armen Gabrielian

Proceedings of the 15th conference on Winter simulation, 1983

1975

Formal systems of numerals.

Armen Gabrielian

Proceedings of the 3rd IEEE Symposium on Computer Arithmetic, 1975

1974

Grammar Schemata.

Armen Gabrielian, Seymour Ginsburg

J. ACM, 1974

1973

Structured Storage AFA.

Armen Gabrielian, Seymour Ginsburg

IEEE Trans. Computers, 1973

1972

Structured-Storage AFA (Abstract).

Armen Gabrielian, Seymour Ginsburg

Proceedings of the Formal Aspects of Cognitive Processes, 1972

1971

Classification of Noncounting Events.

Janusz A. Brzozowski, Karel Culík II, Armen Gabrielian

J. Comput. Syst. Sci., 1971

1970

The Theory of Interacting Local Automata

Armen Gabrielian

Inf. Control., June, 1970