David C. Luckham

According to our database1, David C. Luckham
  • authored at least 37 papers between 1964 and 2005.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
The power of events - an introduction to complex event processing in distributed enterprise systems.
ACM, ISBN: 978-0-201-72789-0, 2005

1999
Event-Based Execution Architectures for Dynamic Software Systems.
Proceedings of the Software Architecture, 1999

Event Mining with Event Processing Networks.
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.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1998

1997
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification.
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.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

1995
An Event-Based Architecture Definition Language.
IEEE Trans. Software Eng., 1995

Correction to "Specification and Analysis of System Architecture Using Rapide".
IEEE Trans. Software Eng., 1995

Specification and Analysis of System Architecture Using Rapide.
IEEE Trans. Software Eng., 1995

1994
A Type System for Prototyping Languages.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphism and Subtyping in Interfaces.
Proceedings of the Workshop on Interface Definition Languages, 1994

1993
Partial orderings of event sets and their application to prototyping concurrent, timed systems.
Journal of Systems and Software, 1993

1992
Object-Oriented Megaprogramming (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1992

Validating Discrete Event Simulations Using Event Pattern Mappings.
Proceedings of the 29th Design Automation Conference, 1992

1991
Two-Dimensional Pinpointing: Debugging with Formal Specifications.
IEEE Software, 1991

1989
Testing the Correctness of Tasking Supervisors with TSL Specifications.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988
Verification of VHDL Designs Using VAL.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987
Task Sequencing Language for Specifying Distributed Ada Systems.
Proceedings of the PARLE, 1987

ANNA - A Language for Annotating Ada Programs, Reference Manual
Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1986
Concurrent Runtime Checking of Annotated Ada Programs.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

Task Sequencing Languages for Specifying Distributed Ada Systems.
Proceedings of the Software Development and Ada, 1986

1985
An Overview of Anna, a Specification Language for Ada.
IEEE Software, 1985

1984
Adam: An Ada-based Language for Multiprocessing.
Softw., Pract. Exper., 1984

1980
Ada Exception Handling: An Axiomatic Approach.
ACM Trans. Program. Lang. Syst., 1980

1979
Verification of Array, Record, and Pointer Operations in Pascal.
ACM Trans. Program. Lang. Syst., 1979

1978
A Study in the Application of Theorem Proving.
AISB/GI (ECAI), 1978

A brief account: Implementation and applications of a Pascal program verifier (Position Statement).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Proof of Termination within a Weak Logic of Programs.
Acta Inf., 1977

Program Verification and Verification Oriented Programming.
IFIP Congress, 1977

1976
Verification of Fairness in an Implementation of Monitors.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1974
Automatic Program Verification I: A Logical Basis and its Implementation.
Acta Inf., 1974

1973
Program Schemes, Recursion Schemes, and Formal Languages.
J. Comput. Syst. Sci., 1973

1972
Compatibility and Complexity of Refinements of the Resolution Principle.
SIAM J. Comput., 1972

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

1971
Extracting Information from Resolution Proof Trees.
Artif. Intell., 1971

1970
On Formalised Computer Programs.
J. Comput. Syst. Sci., 1970

1964
Hierarchies Over Recursive Well-Orderings.
J. Symb. Log., 1964


  Loading...