Douglas R. Smith

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 2

Top Topics

Statistical Model

Bayesian Framework

Top Venues

FM Workshops (2)

Publications

Douglas R. Smith, Srinivas Nedunuri
Deductive Model Refinement. NFM (2024)
Douglas R. Smith, Stephen J. Westfold
Transformations for Generating Type Refinements. FM Workshops (2) (2019)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Theory and Techniques for Synthesizing a Family of Graph Algorithms SYNT (2012)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. FM (2012)
Douglas R. Smith, Louis Hoebel
Derivational software engineering. FoSER (2010)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
Synthesis of Greedy Algorithms Using Dominance Relations. NASA Formal Methods (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors CoRR (2010)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Formal Derivation of Concurrent Garbage Collectors. MPC (2010)
Srinivas Nedunuri, Douglas R. Smith, William R. Cook
A Class of Greedy Algorithms and Its Relation to Greedoids. ICTAC (2010)
Srinivas Nedunuri, William R. Cook, Douglas R. Smith
Tactical Synthesis of Efficient Global Search Algorithms. NASA Formal Methods (2009)
Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav
09501 Abstracts Collection - Software Synthesis. Software Synthesis (2009)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Evolving Specification Engineering. AMAST (2008)
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
Adaptive Synthetic Jet Actuator Compensation for A Nonlinear Aircraft Model at Low Angles of Attack. IEEE Trans. Control. Syst. Technol. 16 (5) (2008)
Aleksey V. Zimin, Douglas R. Smith, Granger G. Sutton, James A. Yorke
Assembly reconciliation. Bioinform. 24 (1) (2008)
Douglas R. Smith
Requirement enforcement by transformation automata. FOAL (2007)
Douglas R. Smith
Toward automated software development. ASE (2007)
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
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21 (6) (2006)
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attack. ACC (2006)
Douglas R. Smith
Composition by Colimit and Formal Software Development. Essays Dedicated to Joseph A. Goguen (2006)
Dipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith
An adaptive inverse control scheme for a synthetic jet actuator model. ACC (2005)
Douglas R. Smith
Comprehension by Derivation. IWPC (2005)
Douglas R. Smith
Generating Programs Plus Proofs by Refinement. VSTTE (2005)
Douglas R. Smith
A Generative Approach to Aspect-Oriented Programming. GPCE (2004)
René Gibson, Douglas R. Smith
Genome Visualization Made Fast and Simple. Bioinform. 19 (11) (2003)
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Colimits for Concurrent Collectors. Verification: Theory and Practice (2003)
Mark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold
Derivation of Glue Code for Agent Interoperation. Auton. Agents Multi Agent Syst. 6 (3) (2003)
Dusko Pavlovic, Douglas R. Smith
Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST (2002)
Dusko Pavlovic, Douglas R. Smith
Guarded Transitions in Evolving Specifications. AMAST (2002)
Dusko Pavlovic, Douglas R. Smith
Composition and Refinement of Behavioral Specifications. ASE (2001)
Stephen J. Westfold, Douglas R. Smith
Synthesis of efficient constraint-satisfaction programs. Knowl. Eng. Rev. 16 (1) (2001)
Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. SWWS (2001)
Drew V. McDermott, Mark H. Burstein, Douglas R. Smith
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents. The Emerging Semantic Web (2001)
Mark H. Burstein, Drew V. McDermott, Douglas R. Smith
Derivation of glue code for agent interoperation. Agents (2000)
Douglas R. Smith
Software synthesis and applications (abstract only). FMSP (2000)
Douglas R. Smith
Designware: Software Development by Refinement. CTCS (1999)
Lee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold
Planware - Domain-Specific Synthesis of High-Performance Schedulers. ASE (1998)
Peter Pepper, Douglas R. Smith
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Sci. Comput. Program. 28 (2-3) (1997)
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
A Transformational Approach Applied to Outage Management of Nuclear Power Plants. HICSS (5) (1997)
Douglas R. Smith
Machine Support for Software Development (Abstract). ICSE (1996)
Mark H. Burstein, Douglas R. Smith
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications. AIPS (1996)
Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold
Synthesis of schedulers for planned shutdowns of power plants. KBSE (1996)
Douglas R. Smith
Toward a Classification Approach to Design. AMAST (1996)
Douglas R. Smith, Stephen J. Westfold
Scheduling an Asynchronously Shared Resource. CP (1996)
Douglas R. Smith
Synthesis of Constraint Algorithms. PPCP (1993)
Douglas R. Smith
Automating the Design of Algorithm. Formal Program Development (1993)
Douglas R. Smith
Constructing Specification Morphisms. J. Symb. Comput. 15 (5/6) (1993)
Douglas R. Smith
Towards the Synthesis of Constraint Propagation Algorithms. LOPSTR (1993)
Douglas R. Smith, Eduardo A. Parra
Transformational approach to transportation scheduling. KBSE (1993)
Douglas R. Smith
Track assignment in an air traffic control system: a rational reconstruction of system design. KBSE (1992)
Douglas R. Smith
KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng. 16 (9) (1990)
Douglas R. Smith, Michael R. Lowry
Algorithm Theories and Design Tactics. Sci. Comput. Program. 14 (2-3) (1990)
Douglas R. Smith, Michael R. Lowry
Algorithm Theories and Design Tactics. MPC (1989)
Xiaolei Qian, Douglas R. Smith
Integrity Constraint Reformulation for Efficient Validation. VLDB (1987)
Douglas R. Smith
Applications of a Strategy for Designing Divide-and-Conquer Algorithms. Sci. Comput. Program. 8 (3) (1987)
Douglas R. Smith
The Design of Divide and Conquer Algorithms. Sci. Comput. Program. 5 (1) (1985)
Douglas R. Smith, Gordon Kotik, Stephen J. Westfold
Research on Knowledge-Based Software Environments at Kestrel Institute. IEEE Trans. Software Eng. 11 (11) (1985)
Douglas R. Smith
Reasoning by Cases and the Formation of Conditional Programs. IJCAI (1985)
Douglas R. Smith
Top-Down Synthesis of Divide-and-Conquer Algorithms. Artif. Intell. 27 (1) (1985)
Douglas R. Smith
Random Trees and the Analysis of Branch and Bound Procedures. J. ACM 31 (1) (1984)
Douglas R. Smith
A Problem Reduction Approach to Program Synthesis. IJCAI (1983)
Douglas R. Smith
Derived Preconditions and Their Use in Program Synthesis. CADE (1982)
Douglas R. Smith
A Design for an Automatic Programming System. IJCAI (1981)
Alan W. Biermann, Douglas R. Smith
A Production Rule Mechanism for Generating LISP Code. IEEE Trans. Syst. Man Cybern. 9 (5) (1979)
Alan W. Biermann, Douglas R. Smith
The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress (1977)