David C. Luckham

发表

Towards an Abstraction Hierarchy for CAETI Architectures, and Possible Applications

David C. Luckham, James Vera, Frank C. Belz, 1997 .

Partial orderings of event sets and their application to prototyping concurrent, timed systems

David C. Luckham, Frank C. Belz, James Vera, 1993, J. Syst. Softw..

8. Visibility rules in annotations

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

Complex Event Processing in Distributed Systems

David C. Luckham, Brian Frasca, 1998 .

Foundations of Technology for Constructing Highly Reliable Distributed Realtime Systems.

David C. Luckham, 1994 .

ANNA A Language for Annotating Ada Programs

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987, Lecture Notes in Computer Science.

Verification of Array, Record, Operations in Pascal

David C. Luckham, Norihisa Suzuki, 1979 .

Designing with Annotations

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

Verification of VHDL designs using VAL

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

Automatic program verification III: a methodology for verifying programs.

David C. Luckham, Friedrich W. von Henke, 1974 .

Adam: An Ada‐based language for multiprocessing

David C. Luckham, Friedrich W. von Henke, Duncan Stevenson, 1981, Softw. Pract. Exp..

13. Annotation of emplementation-dependent features

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

10. Program structure

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

Research into Development of Executable Reference Architectures for Avionics Systems

David C. Luckham, 2000 .

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

David C. Luckham, 1990 .

Key concepts in architecture definition languages

David C. Luckham, James Vera, Sigurd Meldal, 2000 .

6. Annotation of subprograms

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

The use of anna specification technology in ada software development

Sriram Sankar, David C. Luckham, Walter R. Mann, 1991, TRI-Ada '91.

Monitoring for deadlocks in Ada tasking

Steven M. German, David C. Luckham, David P. Helmbold, 1982, AdaTEC '82.

Validating discrete event simulations using event pattern mappings

David C. Luckham, Benoit A. Gennart, D. Luckham, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

A practical method of documenting and verifying Ada programs with packages

David C. Luckham, Wolfgang Polak, 1980, SIGPLAN '80.

Automatic generation of programs containing conditional statements

David C. Luckham, Jack Buchanan, D. Luckham, 1974 .

Annotation of Generic Units

David C. Luckham, 1990 .

Designing reliable programs with RAPIDE

David C. Luckham, Neel Madhav, D. Luckham, 1997 .

Processes for Consistent Implementation of Packages

David C. Luckham, 1990 .

Verification of fairness in an implementation of monitors

David C. Luckham, Richard Alan Karp, 1976, ICSE '76.

Polymorphism and Subtyping in Interfaces

John C. Mitchell, David C. Luckham, Dinesh Katiyar, 1994, Workshop on Interface Definition Languages.

Stanford Pascal Verifier user manual

Steven M. German, David C. Luckham, William L. Scherlis, 1979 .

Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures

David C. Luckham, D. Luckham, 1998, WWCA.

Correction to "Specification and Analysis of System Architecture Using Rapide"

Walter Mann, David C. Luckham, James Vera, 1995, IEEE Trans. Software Eng..

On Formalised Computer Programs

David C. Luckham, Mike Paterson, David Michael Ritchie Park, 1970, J. Comput. Syst. Sci..

Session details: Formalism

David C. Luckham, 1982, AdaTEC '82.

5. Statement annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

9. Task annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

Design and verification of distributed tasking supervisors for concurrent programming languages

David S. Rosenblum, David C. Luckham, D. Luckham, 1988 .

Program Schemes, Recursion Schemes, and Formal Languages

Stephen J. Garland, David C. Luckham, 1973, J. Comput. Syst. Sci..

EJAVA - Causal Extensions for Java

Walter Mann, David C. Luckham, Neel Madhav, 1998 .

Runtime and description of deadness errors in ADA tasking

David C. Luckham, David P. Helmbold, 1983 .

Translating recursion schemes into program schemes

Stephen J. Garland, David C. Luckham, 1972 .

An Event-Based Architecture Definition Language

David C. Luckham, James Vera, D. Luckham, 1995, IEEE Trans. Software Eng..

VAL to VHDL transformer: an implementation guide

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1989 .

Task Sequencing Language for Specifying Distributed Ada Systems

David C. Luckham, David P. Helmbold, D. L. Bryan, 1987, PARLE.

Object-Oriented Megaprogramming (Panel)

Ralph E. Johnson, James M. Purtilo, Peter Wegner, 1992, OOPSLA.

On the design of ANNA, a specification language for ADA

David C. Luckham, 1984 .

A new approach to prototyping Ada-based hardware/software systems

David C. Luckham, Frank C. Belz, 1990, TRI-Ada '90.

Training in Research and Construction of Secure Distributed Real-Time Systems.

David C. Luckham, 1996 .

Rapide: A language and toolset for simulation of distributed systems by partial orderings of events

David C. Luckham, D. Luckham, 1997, Partial Order Methods in Verification.

An Overview of Anna, a Specification Language for Ada

David C. Luckham, Friedrich W. von Henke, D. Luckham, 1985, IEEE Software.

TSL: task sequencing language

David C. Luckham, David P. Helmbold, 1985 .

What Anna Is

David C. Luckham, 1990 .

Verification of Array, Record, and Pointer Operations in Pascal

David C. Luckham, Norihisa Suzuki, D. Luckham, 1979, TOPL.

Automatic program verification V: verification-oriented proof rules for arrays, records and pointers

David C. Luckham, Norihisa Suzuki, 1976 .

Invited paper Key Concepts in Architecture Definition Languages

David C. Luckham, James Vera, Sigurd Meldal, 2000 .

The Process of Specifying Packages

David C. Luckham, 1990 .

A methodology for verifying programs

David C. Luckham, F. W von Henke, 1975 .

Research on Wide Spectrum Languages and Research Environments for System Design and Specification.

David C. Luckham, 1995 .

A Study in the Application of Theorem Proving

David C. Luckham, Joachim F. Schreiber, Jorge J. Morales, 1978, AISB/GI.

Crazy AND Gate

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

Event-Based Execution Architectures for Dynamic Software Systems

David C. Luckham, Louis Perrochon, James Vera, 1999, WICSA.

Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems

David C. Luckham, 1998 .

7. Package annotations

Olaf Owe, David C. Luckham, Bernd Krieg-Brückner, 1987 .

Defining a Security Reference Architecture

David C. Luckham, Sigurd Meldal, 1997 .

Annotation of Operations on Composite Types

David C. Luckham, 1990 .

Concurrent Runtime Checking of Annotated Ada Programs

Sriram Sankar, David S. Rosenblum, David C. Luckham, 1986, FSTTCS.

Using Simple Annotations

David C. Luckham, 1990 .

Final Report under AFOSR Grant-87-0150C Techniques for the Design and Implementation of Highly Reliable Multi-Processing Systems

David C. Luckham, Principal Investigator, 1991 .

Testing the correctness of tasking supervisors with TSL specifications

David S. Rosenblum, David C. Luckham, 1989 .

ADA exceptions: specification and proof techniques

David C. Luckham, Wolfgang Polak, 1980 .

Formal Development of Ada Programs Using Z and Ana: A Case Study

Sriram Sankar, David C. Luckham, William G. Wood, 1991 .

Proof of termination within a weak logic of programs

David C. Luckham, Norihisa Suzuki, 2004, Acta Informatica.

Semantic specification of Ada packages

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1985 .

A brief account: Implementation and applications of a Pascal program verifier (Position Statement)

David C. Luckham, D. Luckham, 1978, ACM '78.

Interpretation of Package Specifications

David C. Luckham, 1990 .

A type system for prototyping languages

John C. Mitchell, David C. Luckham, Dinesh Katiyar, 1994, POPL '94.

Automatic program verification I: A logical basis and its implementation

David C. Luckham, Shigeru Igarashi, Ralph L. London, 1975, Acta Informatica.

Automatic runtime consistency checking and debugging of formally specified programs

Sriram Sankar, David C. Luckham, 1989 .

D- Type Flip-flop

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

Testing the Correctness of Tasking Supervisors with TSL Specifications

David S. Rosenblum, David C. Luckham, 1989, Symposium on Testing, Analysis, and Verification.

2. Lexical elements

Olaf Owe, David C. Luckham, Friedrich W. von Henke, 1987 .

Three Concepts of System Architecture

David C. Luckham, James Vera, Sigurd Meldal, 1995 .

Object-oriented megaprogramming (panel)

Ralph Johnson, David C. Luckham, William L. Scherlis, 1992, OOPSLA '92.

Enlisting event patterns for cyber battlefield awareness

David C. Luckham, Louis Perrochon, Eunhei Jang, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

Hierarchies Over Recursive Well-Orderings

David C. Luckham, Herbert B. Enderton, 1964, J. Symb. Log..

Ada exception handling: an axiomatic approach

David C. Luckham, Wolfgang Polak, 1980, TOPL.

Extracting Information from Resolution Proof Trees

David C. Luckham, Nils J. Nilsson, 1971, Artif. Intell..

NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification

David C. Luckham, Sigurd Meldal, 1997, Requirements Targeting Software and Systems Engineering.

ANNA: Towards a language for annotating Ada programs

David C. Luckham, Bernd Krieg Brückner, D. Luckham, 1980, SIGPLAN '80.

Compatibility and Complexity of Refinements of the Resolution Principle

David C. Luckham, Richard B. Kieburtz, 1972, SIAM J. Comput..

Program Verification and Verification Oriented Programming

David C. Luckham, D. Luckham, 1977, IFIP Congress.

Event Mining with Event Processing Networks

Walter Mann, David C. Luckham, Louis Perrochon, 1999, PAKDD.

The VAL Transformer

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

On automating the construction of programs.

David C. Luckham, Jack Buchanan, D. Luckham, 1974 .

Hardware design and simulation in VAL/VHDL

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991, The Kluwer international series in engineering and computer science.

Traffic Light Controller

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

Polymorphism and Subtyping in Interfaces

David C. Luckham, John C. Mitchell, Dinesh Katiyar, 1994, Workshop on Interface Definition Languages.

An overview of VAL

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1988 .

Two-dimensional pinpointing: debugging with formal specifications

Sriram Sankar, David C. Luckham, Shuzo Takahashi, 1991, IEEE Software.

Annotation of the Hidden Parts of Packages

David C. Luckham, 1990 .

Translating recursion schemes into program schemes

Stephen J. Garland, David C. Luckham, 1972 .

On the equivalence of schemes

Stephen J. Garland, David C. Luckham, 1972, STOC '72.

Water Heater Controller

Alec G. Stanculescu, David C. Luckham, Larry M. Augustin, 1991 .

Advanced Development Environments, Continuation

David C. Luckham, 1989 .

Event-Based Concepts and Language for System

David C. Luckham, James Vera, 1993 .

A practical method of documenting and verifying Ada programs with packages

David C. Luckham, Wolfgang Polak, D. Luckham, 1980 .

An Activity Language for the ADL Toolkit

David Garlan, David C. Luckham, Bradley Schmerl, 2000 .

Managing event processing networks

David C. Luckham, Louis Perrochon, Stephane Kasriel, 2001 .