Armen Gabrielian

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