Edward B. Gamble

According to our database, Edward B. Gamble authored at least 10 papers between 1989 and 2014.

Collaborative distances:

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

2014

Spot: a programming language for verified flight software.

Robert L. Bocchino, Edward B. Gamble, Kim P. Gostelow, Raphael R. Some

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2012

Logic Model Checking of Time-Periodic Real-Time Systems.

Mihai Florian, Edward B. Gamble, Gerard J. Holzmann

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

2000

Remote Agent: An Autonomous Control System for the New Millennium.

Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung

Proceedings of the ECAI 2000, 2000

1999

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.

Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, Christian Plaunt, Brian C. Williams

Auton. Agents Multi Agent Syst., 1999

1998

The Impact of Autonomy Technology on Spacecraft Software Architecture: A Case Study.

Edward B. Gamble, Reid G. Simmons

IEEE Intell. Syst., 1998

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft.

Barney Pell, Edward B. Gamble, Erann Gat, Ron Keesing, James Kurien, William Millar, P. Pandurang Nayak, Christian Plaunt, Brian C. Williams

Proceedings of the Second International Conference on Autonomous Agents, 1998

1992

Displacement errors in surface property data.

Edward B. Gamble Jr.

Proceedings of the 11th IAPR International Conference on Pattern Recognition, 1992

1991

A discontinuity detector based on the pervasive noise in surface property data.

Edward B. Gamble Jr.

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1991

1989

Integration of vision modules and labeling of surface discontinuities.

Edward B. Gamble, Davi Geiger, Tomaso A. Poggio, Daphna Weinshall

IEEE Trans. Syst. Man Cybern., 1989