Douglas R. Smith

According to our database, Douglas R. Smith authored at least 62 papers between 1977 and 2024.

Collaborative distances:

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

2024

Deductive Model Refinement.

Douglas R. Smith, Srinivas Nedunuri

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2019

Transformations for Generating Type Refinements.

Douglas R. Smith, Stephen J. Westfold

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2012

Theory and Techniques for Synthesizing a Family of Graph Algorithms

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the Proceedings First Workshop on Synthesis, 2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the FM 2012: Formal Methods, 2012

2010

Derivational software engineering.

Douglas R. Smith, Louis Hoebel

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Synthesis of Greedy Algorithms Using Dominance Relations.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Second NASA Formal Methods Symposium, 2010

Formal Derivation of Concurrent Garbage Collectors.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

A Class of Greedy Algorithms and Its Relation to Greedoids.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Tactical Synthesis of Efficient Global Search Algorithms.

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the First NASA Formal Methods Symposium, 2009

09501 Abstracts Collection - Software Synthesis.

Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav

Proceedings of the Software Synthesis, 06.12. - 11.12.2009, 2009

2008

Adaptive Synthetic Jet Actuator Compensation for A Nonlinear Aircraft Model at Low Angles of Attack.

Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith

IEEE Trans. Control. Syst. Technol., 2008

Assembly reconciliation.

Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke

Bioinform., 2008

Evolving Specification Engineering.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Toward automated software development.

Douglas R. Smith

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Requirement enforcement by transformation automata.

Douglas R. Smith

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006

Intelligent Systems and Formal Methods in Software Engineering.

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani

IEEE Intell. Syst., 2006

Roadmap for enhanced languages and methods to aid verification.

Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump

Proceedings of the Generative Programming and Component Engineering, 2006

Composition by Colimit and Formal Software Development.

Douglas R. Smith

Proceedings of the Algebra, Meaning, and Computation, 2006

Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack.

Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith

Proceedings of the American Control Conference, 2006

2005

Generating Programs Plus Proofs by Refinement.

Douglas R. Smith

Proceedings of the Verified Software: Theories, 2005

Comprehension by Derivation.

Douglas R. Smith

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

An adaptive inverse control scheme for a synthetic jet actuator model.

Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith

Proceedings of the American Control Conference, 2005

2004

A Generative Approach to Aspect-Oriented Programming.

Douglas R. Smith

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003

Genome Visualization Made Fast and Simple.

René Gibson, Douglas R. Smith

Bioinform., 2003

Derivation of Glue Code for Agent Interoperation.

Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold

Auton. Agents Multi Agent Syst., 2003

Colimits for Concurrent Collectors.

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Proceedings of the Verification: Theory and Practice, 2003

2002

Software Development by Refinement.

Dusko Pavlovic, Douglas R. Smith

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Guarded Transitions in Evolving Specifications.

Dusko Pavlovic, Douglas R. Smith

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Synthesis of efficient constraint-satisfaction programs.

Stephen J. Westfold, Douglas R. Smith

Knowl. Eng. Rev., 2001

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.

Drew V. McDermott, Mark H. Burstein, Douglas R. Smith

Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

Composition and Refinement of Behavioral Specifications.

Dusko Pavlovic, Douglas R. Smith

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Software synthesis and applications (abstract only).

Douglas R. Smith

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Derivation of glue code for agent interoperation.

Mark H. Burstein, Drew V. McDermott, Douglas R. Smith

Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999

Designware: Software Development by Refinement.

Douglas R. Smith

Proceedings of the Conference on Category Theory and Computer Science, 1999

1998

Planware - Domain-Specific Synthesis of High-Performance Schedulers.

Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).

Peter Pepper, Douglas R. Smith

Sci. Comput. Program., 1997

A Transformational Approach Applied to Outage Management of Nuclear Power Plants.

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Synthesis of schedulers for planned shutdowns of power plants.

Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Machine Support for Software Development (Abstract).

Douglas R. Smith

Proceedings of the 18th International Conference on Software Engineering, 1996

Scheduling an Asynchronously Shared Resource.

Douglas R. Smith, Stephen J. Westfold

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Toward a Classification Approach to Design.

Douglas R. Smith

Proceedings of the Algebraic Methodology and Software Technology, 1996

ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.

Mark H. Burstein, Douglas R. Smith

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1993

Constructing Specification Morphisms.

Douglas R. Smith

J. Symb. Comput., 1993

Synthesis of Constraint Algorithms.

Douglas R. Smith

Proceedings of the Principles and Practice of Constraint Programming, 1993

Towards the Synthesis of Constraint Propagation Algorithms.

Douglas R. Smith

Proceedings of the Logic Program Synthesis and Transformation, 1993

Transformational approach to transportation scheduling.

Douglas R. Smith, Eduardo A. Parra

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Automating the Design of Algorithm.

Douglas R. Smith

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

Track assignment in an air traffic control system: a rational reconstruction of system design.

Douglas R. Smith

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1990

KIDS: A Semiautomatic Program Development System.

Douglas R. Smith

IEEE Trans. Software Eng., 1990

Algorithm Theories and Design Tactics.

Douglas R. Smith, Michael R. Lowry

Sci. Comput. Program., 1990

1987

Applications of a Strategy for Designing Divide-and-Conquer Algorithms.

Douglas R. Smith

Sci. Comput. Program., 1987

Integrity Constraint Reformulation for Efficient Validation.

Xiaolei Qian, Douglas R. Smith

Proceedings of the VLDB'87, 1987

1985

Research on Knowledge-Based Software Environments at Kestrel Institute.

Douglas R. Smith, Gordon Kotik, Stephen J. Westfold

IEEE Trans. Software Eng., 1985

The Design of Divide and Conquer Algorithms.

Douglas R. Smith

Sci. Comput. Program., 1985

Top-Down Synthesis of Divide-and-Conquer Algorithms.

Douglas R. Smith

Artif. Intell., 1985

Reasoning by Cases and the Formation of Conditional Programs.

Douglas R. Smith

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Random Trees and the Analysis of Branch and Bound Procedures.

Douglas R. Smith

J. ACM, 1984

1983

A Problem Reduction Approach to Program Synthesis.

Douglas R. Smith

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Derived Preconditions and Their Use in Program Synthesis.

Douglas R. Smith

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

A Design for an Automatic Programming System.

Douglas R. Smith

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979

A Production Rule Mechanism for Generating LISP Code.

Alan W. Biermann, Douglas R. Smith

IEEE Trans. Syst. Man Cybern., 1979

1977

The Hierarchical Synthesis of Lisp Scanning Programs.

Alan W. Biermann, Douglas R. Smith

Proceedings of the Information Processing, 1977