Douglas R. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 60 from 60

2019

Transformations for Generating Type RefinementsDouglas R. Smith, Stephen J. Westfold. FM 2020: 371-387 [doi]

2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search AlgorithmsSrinivas Nedunuri, Douglas R. Smith, William R. Cook. FM 2012: 308-325 [doi]

2010

2009

09501 Abstracts Collection - Software SynthesisRastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav. Dagstuhl 2009: [doi]

Tactical Synthesis of Efficient Global Search AlgorithmsSrinivas Nedunuri, William R. Cook, Douglas R. Smith. NFM 2009: 171-175

2008

2007

Requirement enforcement by transformation automataDouglas R. Smith. foal 2007: 5-14 [doi]

2006

Intelligent Systems and Formal Methods in Software EngineeringBernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani. expert, 21(6):71-81, 2006. [doi]

Adaptive synthetic jet actuator compensation for a nonlinear tailless aircraft model at low angles of attackDipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith. amcc 2006: [doi]

Roadmap for enhanced languages and methods to aid verificationGary 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. GPCE 2006: 221-236 [doi]

Composition by Colimit and Formal Software DevelopmentDouglas R. Smith. BIRTHDAY 2006: 317-332 [doi]

2005

An adaptive inverse control scheme for a synthetic jet actuator modelDipankar Deb, Gang Tao, Jason O. Burkholder, Douglas R. Smith. amcc 2005: 2646-2651 [doi]

Generating Programs Plus Proofs by RefinementDouglas R. Smith. vstte 2008: 182-188 [doi]

Comprehension by DerivationDouglas R. Smith. IWPC 2005: 3-9 [doi]

2004

A Generative Approach to Aspect-Oriented ProgrammingDouglas R. Smith. GPCE 2004: 39-54 [doi]

2003

Derivation of Glue Code for Agent InteroperationMark H. Burstein, Drew V. McDermott, Douglas R. Smith, Stephen J. Westfold. AAMAS, 6(3):265-286, 2003. [doi]

Genome Visualization Made Fast and SimpleRené Gibson, Douglas R. Smith. bioinformatics, 19(11):1449-1450, 2003.

Colimits for Concurrent CollectorsDusko Pavlovic, Peter Pepper, Douglas R. Smith. BIRTHDAY 2003: 568-597 [doi]

2002

Software Development by RefinementDusko Pavlovic, Douglas R. Smith. unu 2003: 267-286 [doi]

Guarded Transitions in Evolving SpecificationsDusko Pavlovic, Douglas R. Smith. amast 2002: 411-425 [doi]

2001

2000

Derivation of glue code for agent interoperationMark H. Burstein, Drew V. McDermott, Douglas R. Smith. agents 2000: 277-284 [doi]

Software synthesis and applications (abstract only)Douglas R. Smith. fmsp 2000: 73 [doi]

1998

Planware - Domain-Specific Synthesis of High-Performance SchedulersLee Blaine, Limei Gilham, Junbo Liu, Douglas R. Smith, Stephen J. Westfold. ASE 1998: 270 [doi]

1997

A Transformational Approach Applied to Outage Management of Nuclear Power PlantsCarla P. Gomes, Douglas R. Smith, Stephen J. Westfold. hicss 1997: 658-667 [doi]

A High-Level Derivation of Global Search Algorithms (with Constraint Propagation)Peter Pepper, Douglas R. Smith. SCP, 28(2-3):247-271, 1997.

1996

1993

Synthesis of Constraint AlgorithmsDouglas R. Smith. ppcp 1993: 278-283

Automating the Design of AlgorithmDouglas R. Smith. ifip2-1 1993: 324-354

Towards the Synthesis of Constraint Propagation AlgorithmsDouglas R. Smith. LOPSTR 1993: 1-9

Constructing Specification MorphismsDouglas R. Smith. JSC, 15(5/6):571-606, 1993.

Transformational approach to transportation schedulingDouglas R. Smith, Eduardo A. Parra. ASE 1993: 60-68 [doi]

1992

Track assignment in an air traffic control system: a rational reconstruction of system designDouglas R. Smith. ASE 1992: 60-68 [doi]

1990

Algorithm Theories and Design TacticsDouglas R. Smith, Michael R. Lowry. SCP, 14(2-3):305-321, 1990.

KIDS: A Semiautomatic Program Development SystemDouglas R. Smith. TSE, 16(9):1024-1043, 1990. [doi]

1989

Algorithm Theories and Design TacticsDouglas R. Smith, Michael R. Lowry. mpc 1989: 379-398

1987

Integrity Constraint Reformulation for Efficient ValidationXiaolei Qian, Douglas R. Smith. VLDB 1987: 417-425 [doi]

Applications of a Strategy for Designing Divide-and-Conquer AlgorithmsDouglas R. Smith. SCP, 8(3):213-229, 1987.

1985

The Design of Divide and Conquer AlgorithmsDouglas R. Smith. SCP, 5(1):37-58, 1985.

Top-Down Synthesis of Divide-and-Conquer AlgorithmsDouglas R. Smith. ai, 27(1):43-96, 1985.

Reasoning by Cases and the Formation of Conditional ProgramsDouglas R. Smith. IJCAI 1985: 215-218

Research on Knowledge-Based Software Environments at Kestrel InstituteDouglas R. Smith, Gordon Kotik, Stephen J. Westfold. TSE, 11(11):1278-1295, 1985.

1984

Random Trees and the Analysis of Branch and Bound ProceduresDouglas R. Smith. JACM, 31(1):163-188, 1984. [doi]

1983

A Problem Reduction Approach to Program SynthesisDouglas R. Smith. IJCAI 1983: 32-36

1982

Derived Preconditions and Their Use in Program SynthesisDouglas R. Smith. cade 1982: 172-193

1981

A Design for an Automatic Programming SystemDouglas R. Smith. IJCAI 1981: 1027-1029

1979

A Production Rule Mechanism for Generating LISP CodeAlan W. Biermann, Douglas R. Smith. tsmc, 9(5):260-276, 1979. [doi]

1977

The Hierarchical Synthesis of Lisp Scanning ProgramsAlan W. Biermann, Douglas R. Smith. ifip11-9 1977: 41-45

Sign in or sign up to see more results.

runs on WebDSL