Douglas R. Smith

Orcid: 0000-0003-3065-7882

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deductive Model Refinement.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2019
Transformations for Generating Type Refinements.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2012
Theory and Techniques for Synthesizing a Family of Graph Algorithms
Proceedings of the Proceedings First Workshop on Synthesis, 2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.
Proceedings of the FM 2012: Formal Methods, 2012

2010
Derivational software engineering.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Synthesis of Greedy Algorithms Using Dominance Relations.
Proceedings of the Second NASA Formal Methods Symposium, 2010

Formal Derivation of Concurrent Garbage Collectors.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

A Class of Greedy Algorithms and Its Relation to Greedoids.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
Tactical Synthesis of Efficient Global Search Algorithms.
Proceedings of the First NASA Formal Methods Symposium, 2009

09501 Abstracts Collection - Software Synthesis.
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.
IEEE Trans. Control. Syst. Technol., 2008

Assembly reconciliation.
Bioinform., 2008

Evolving Specification Engineering.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Toward automated software development.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Requirement enforcement by transformation automata.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intell. Syst., 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

Composition by Colimit and Formal Software Development.
Proceedings of the Algebra, Meaning, and Computation, 2006

Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack.
Proceedings of the American Control Conference, 2006

2005
Generating Programs Plus Proofs by Refinement.
Proceedings of the Verified Software: Theories, 2005

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

An adaptive inverse control scheme for a synthetic jet actuator model.
Proceedings of the American Control Conference, 2005

2004
A Generative Approach to Aspect-Oriented Programming.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003
Genome Visualization Made Fast and Simple.
Bioinform., 2003

Derivation of Glue Code for Agent Interoperation.
Auton. Agents Multi Agent Syst., 2003

Colimits for Concurrent Collectors.
Proceedings of the Verification: Theory and Practice, 2003

2002
Software Development by Refinement.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Guarded Transitions in Evolving Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Synthesis of efficient constraint-satisfaction programs.
Knowl. Eng. Rev., 2001

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents.
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.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Software synthesis and applications (abstract only).
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

Derivation of glue code for agent interoperation.
Proceedings of the Fourth International Conference on Autonomous Agents, 2000

1999
Designware: Software Development by Refinement.
Proceedings of the Conference on Category Theory and Computer Science, 1999

1998
Planware - Domain-Specific Synthesis of High-Performance Schedulers.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).
Sci. Comput. Program., 1997

A Transformational Approach Applied to Outage Management of Nuclear Power Plants.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
Synthesis of schedulers for planned shutdowns of power plants.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Machine Support for Software Development (Abstract).
Proceedings of the 18th International Conference on Software Engineering, 1996

Scheduling an Asynchronously Shared Resource.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Toward a Classification Approach to Design.
Proceedings of the Algebraic Methodology and Software Technology, 1996

ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1993
Constructing Specification Morphisms.
J. Symb. Comput., 1993

Synthesis of Constraint Algorithms.
Proceedings of the Principles and Practice of Constraint Programming, 1993

Towards the Synthesis of Constraint Propagation Algorithms.
Proceedings of the Logic Program Synthesis and Transformation, 1993

Transformational approach to transportation scheduling.
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Automating the Design of Algorithm.
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.
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992

1990
KIDS: A Semiautomatic Program Development System.
IEEE Trans. Software Eng., 1990

Algorithm Theories and Design Tactics.
Sci. Comput. Program., 1990

1987
Applications of a Strategy for Designing Divide-and-Conquer Algorithms.
Sci. Comput. Program., 1987

Integrity Constraint Reformulation for Efficient Validation.
Proceedings of the VLDB'87, 1987

1985
Research on Knowledge-Based Software Environments at Kestrel Institute.
IEEE Trans. Software Eng., 1985

The Design of Divide and Conquer Algorithms.
Sci. Comput. Program., 1985

Top-Down Synthesis of Divide-and-Conquer Algorithms.
Artif. Intell., 1985

Reasoning by Cases and the Formation of Conditional Programs.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Random Trees and the Analysis of Branch and Bound Procedures.
J. ACM, 1984

1983
A Problem Reduction Approach to Program Synthesis.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Derived Preconditions and Their Use in Program Synthesis.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
A Design for an Automatic Programming System.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979
A Production Rule Mechanism for Generating LISP Code.
IEEE Trans. Syst. Man Cybern., 1979

1977
The Hierarchical Synthesis of Lisp Scanning Programs.
Proceedings of the Information Processing, 1977


  Loading...