George W. Ernst

28 papers A* 4Journal 18Unranked 6
YearRankTypeTitle / Venue / Authors
1994 J jnl
Modular Verification of Data Abstractions with Shared Realizations.
IEEE Trans. Software Eng.
George W. Ernst, Raymond J. Hookway, William F. Ogden
1991 J jnl
Modular Verification of Ada Generics.
Comput. Lang.
George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden
1990 J jnl
Learning Problem Solving Strategies Using Refinement and Macro Generation.
Artif. Intell.
H. Altay Güvenir, George W. Ernst
1989 — conf
An Expert System which Intelligently Accesses an External Database.
NACLP
Xiaoping He, George W. Ernst, Fred Discenzo
1989 — conf
Knowledge based system to diagnose faults in discrete event systems.
IEA/AIE (1)
Muralidhar Sitaram, George W. Ernst, John Marcuse
1986 J jnl
CaseDE Design Environment Centers on Specifications.
IEEE Softw.
Prabhaker Mateti, Frances Hunt, George W. Ernst, Gerald M. Radack
1983 J jnl
On the Relationship Between Strong and Weak Problem Solvers.
AI Mag.
George W. Ernst, Ranan B. Banerji
1982 J jnl
Formal Program Verification Using Symbolic Execution.
IEEE Trans. Software Eng.
Roger B. Dannenberg, George W. Ernst
1982 J jnl
Mechanical Discovery of Classes of Problem-Solving Strategies.
J. ACM
George W. Ernst, Michael M. Goldstein
1982 J jnl
Use of data abstraction in process specification.
ACM SIGSOFT Softw. Eng. Notes
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway
1982 J jnl
Verification of Programs with Procedure-Type Parameter.
Acta Informatica
George W. Ernst, Jainendra K. Navlakha, William F. Ogden
1980 J jnl
Procedure semantics and language definition.
ACM SIGPLAN Notices
Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden
1980 J jnl
Specification of Abstract Data Types in Modula.
ACM Trans. Program. Lang. Syst.
George W. Ernst, William F. Ogden
1977 A* conf
A Comparsion of Three Problem-Solving Methods.
IJCAI
Ranan B. Banerji, George W. Ernst
1977 A* conf
A Theory for the Complete Mechanization of a GPS-Type Problem Solver.
IJCAI
Ranan B. Banerji, George W. Ernst
1977 J jnl
Rules of Inference for Procedure Calls.
Acta Informatica
George W. Ernst
1976 J jnl
A Definition-Driven Theorem Prover.
IEEE Trans. Computers
George W. Ernst
1976 — conf
A program verification system.
ACM Annual Conference
Raymond J. Hookway, George W. Ernst
1976 — conf
SICSOFT (Paper Session).
ACM Annual Conference
Burt M. Leavenworth, Raymond J. Hookway, George W. Ernst, Thomas A. Standish, Dennis F. Kibler, James M. Neighbors, J. C. Huang
1976 J jnl
The Use of Higher Order Logic in Program Verification.
IEEE Trans. Computers
George W. Ernst, Raymond J. Hookway
1973 A* conf
A Definition-Driven Theorem Prover.
IJCAI
George W. Ernst
1972 — conf
Limitations in pattern recognition and problem solving.
ACM Annual Conference (1)
Ranan B. Banerji, George W. Ernst
1972 J jnl
Strategy Construction Using Homomorphisms Between Games.
Artif. Intell.
Ranan B. Banerji, George W. Ernst
1971 A* conf
Changes in Representation which Preserve Strategies in Games.
IJCAI
Ranan B. Banerji, George W. Ernst
1971 J jnl
The Utility of Independent Subgoals in Theorem Proving
Inf. Control.
George W. Ernst
1969 J jnl
Learning patterns in terms of other patterns.
Pattern Recognit.
R. Sherman, George W. Ernst
1969 J jnl
Sufficient Conditions for the Success of GPS.
J. ACM
George W. Ernst
1967 — conf
Some issues of representation in a general problem solver.
AFIPS Spring Joint Computing Conference
George W. Ernst, Allen Newell