David C. Luckham

According to our database, David C. Luckham authored at least 53 papers between 1964 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2008

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems.

David C. Luckham

Proceedings of the Rule Representation, 2008

2005

The power of events - an introduction to complex event processing in distributed enterprise systems.

David C. Luckham

ACM, ISBN: 978-0-201-72789-0, 2005

2000

Complex event processing (CEP).

David C. Luckham

ACM SIGSOFT Softw. Eng. Notes, 2000

1999

Event-Based Execution Architectures for Dynamic Software Systems.

James Vera, Louis Perrochon, David C. Luckham

Proceedings of the Software Architecture, 1999

Event Mining with Event Processing Networks.

Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham

Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999

1998

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

David C. Luckham

Proceedings of the Worldwide Computing and Its Applications, International Conference, 1998

1997

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

Sigurd Meldal, David C. Luckham

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

1996

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

David C. Luckham

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1995

An Event-Based Architecture Definition Language.

David C. Luckham, James Vera

IEEE Trans. Software Eng., 1995

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

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

Specification and Analysis of System Architecture Using Rapide.

David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann

IEEE Trans. Software Eng., 1995

1994

A Type System for Prototyping Languages.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphism and Subtyping in Interfaces.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

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

David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz

J. Syst. Softw., 1993

1992

Object-Oriented Megaprogramming (Panel).

Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

Validating Discrete Event Simulations Using Event Pattern Mappings.

Benoit A. Gennart, David C. Luckham

Proceedings of the 29th Design Automation Conference, 1992

1991

Two-Dimensional Pinpointing: Debugging with Formal Specifications.

David C. Luckham, Sriram Sankar, Shuzo Takahashi

IEEE Softw., 1991

The use of anna specification technology in ada software development.

Sriram Sankar, David C. Luckham, Walter Mann

Proceedings of the Introduction to Ada - Tri-Ada 1991 Tutorial, 1991

Hardware design and simulation in VAL/VHDL.

Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh, Alec G. Stanculescu

The Kluwer international series in engineering and computer science 112, Kluwer, ISBN: 978-0-7923-9087-9, 1991

1990

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

David C. Luckham

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9685-7, 1990

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

Frank C. Belz, David C. Luckham

Proceedings of the conference on TRI-ADA 1990, 1990

1989

Testing the Correctness of Tasking Supervisors with TSL Specifications.

David S. Rosenblum, David C. Luckham

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

Verification of VHDL Designs Using VAL.

Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

Task Sequencing Language for Specifying Distributed Ada Systems.

David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler

Proceedings of the PARLE, 1987

ANNA - A Language for Annotating Ada Programs, Reference Manual

David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe

Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1986

Concurrent Runtime Checking of Annotated Ada Programs.

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

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

Task Sequencing Languages for Specifying Distributed Ada Systems.

David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler

Proceedings of the Software Development and Ada, 1986

1985

An Overview of Anna, a Specification Language for Ada.

David C. Luckham, Friedrich W. von Henke

IEEE Softw., 1985

Debugging Ada Tasking Programs.

David Heimbold, David C. Luckham

IEEE Softw., 1985

Semantic specification of Ada packages.

Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

TSL: task sequencing language.

David P. Helmbold, David C. Luckham

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984

Adam: An Ada-based Language for Multiprocessing.

David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson

Softw. Pract. Exp., 1984

1982

Monitoring for deadlocks in Ada tasking.

Steven M. German, David P. Helmbold, David C. Luckham

Proceedings of the AdaTEC Conference on Ada, 1982

1981

Program verification at Stanford.

David C. Luckham, Friedrich W. von Henke

ACM SIGSOFT Softw. Eng. Notes, 1981

1980

Ada Exception Handling: An Axiomatic Approach.

David C. Luckham, Wolfgang Polak

ACM Trans. Program. Lang. Syst., 1980

A practical method of documenting and verifying Ada programs with packages.

David C. Luckham, Wolfgang Polak

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

ANNA: towards a language for annotating Ada programs.

Bernd Krieg-Brückner, David C. Luckham

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

Verification of Array, Record, and Pointer Operations in Pascal.

David C. Luckham, Norihisa Suzuki

ACM Trans. Program. Lang. Syst., 1979

1978

A Study in the Application of Theorem Proving.

David C. Luckham, Jorge J. Morales, Joachim F. Schreiber

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

Software validation and verification - a state of the art report(Panel Discussion).

Terry A. Straeter, Carlo Broglio, Marilyn Fujii, Leon G. Stucki, Sabina H. Saib, David C. Luckham

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

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

David C. Luckham

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Proof of Termination within a Weak Logic of Programs.

David C. Luckham, Norihisa Suzuki

Acta Informatica, 1977

Program Verification and Verification Oriented Programming.

David C. Luckham

Proceedings of the Information Processing, 1977

1976

Verification of Fairness in an Implementation of Monitors.

Richard Alan Karp, David C. Luckham

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

A methodology for verifying programs.

Friedrich W. von Henke, David C. Luckham

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Automatic Program Verification I: A Logical Basis and its Implementation.

Shigeru Igarashi, Ralph L. London, David C. Luckham

Acta Informatica, 1974

1973

Program Schemes, Recursion Schemes, and Formal Languages.

Stephen J. Garland, David C. Luckham

J. Comput. Syst. Sci., 1973

1972

Compatibility and Complexity of Refinements of the Resolution Principle.

Richard B. Kieburtz, David C. Luckham

SIAM J. Comput., 1972

On the Equivalence of Schemes

Stephen J. Garland, David C. Luckham

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

Translating recursion schemes into program schemes.

Stephen J. Garland, David C. Luckham

Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1971

Extracting Information from Resolution Proof Trees.

David C. Luckham, Nils J. Nilsson

Artif. Intell., 1971

1970

On Formalised Computer Programs.

David C. Luckham, David Michael Ritchie Park, Mike Paterson

J. Comput. Syst. Sci., 1970

1964

Hierarchies Over Recursive Well-Orderings.

Herbert B. Enderton, David C. Luckham

J. Symb. Log., 1964