David C. Luckham

Publication Activity (10 Years)

Years Active: 1964-1999
Publications (10 Years): 0

Publications

James Vera, Louis Perrochon, David C. Luckham
Event-Based Execution Architectures for Dynamic Software Systems. WICSA (1999)
Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham
Event Mining with Event Processing Networks. PAKDD (1999)
David C. Luckham
Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. WWCA (1998)
Sigurd Meldal, David C. Luckham
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Requirements Targeting Software and Systems Engineering (1997)
David C. Luckham
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Partial Order Methods in Verification (1996)
David C. Luckham, James Vera
An Event-Based Architecture Definition Language. IEEE Trans. Software Eng. 21 (9) (1995)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Correction to "Specification and Analysis of System Architecture Using Rapide". IEEE Trans. Software Eng. 21 (6) (1995)
David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. 21 (4) (1995)
Dinesh Katiyar, David C. Luckham, John C. Mitchell
Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages (1994)
Dinesh Katiyar, David C. Luckham, John C. Mitchell
A Type System for Prototyping Languages. POPL (1994)
David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz
Partial orderings of event sets and their application to prototyping concurrent, timed systems. J. Syst. Softw. 21 (3) (1993)
Benoit A. Gennart, David C. Luckham
Validating Discrete Event Simulations Using Event Pattern Mappings. DAC (1992)
Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson
Object-Oriented Megaprogramming (Panel). OOPSLA (1992)
David C. Luckham, Sriram Sankar, Shuzo Takahashi
Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Softw. 8 (1) (1991)
Sriram Sankar, David C. Luckham, Walter Mann
The use of anna specification technology in ada software development. TRI-Ada Tutorial (1991)
Frank C. Belz, David C. Luckham
A new approach to prototyping Ada-based hardware/software systems. TRI-Ada (1990)
David S. Rosenblum, David C. Luckham
Testing the Correctness of Tasking Supervisors with TSL Specifications. Symposium on Testing, Analysis, and Verification (1989)
Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu
Verification of VHDL Designs Using VAL. DAC (1988)
David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler
Task Sequencing Language for Specifying Distributed Ada Systems. PARLE (2) (1987)
David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
Task Sequencing Languages for Specifying Distributed Ada Systems. System Development and Ada (1986)
David S. Rosenblum, Sriram Sankar, David C. Luckham
Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS (1986)
David P. Helmbold, David C. Luckham
TSL: task sequencing language. SIGAda (1985)
Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
Semantic specification of Ada packages. SIGAda (1985)
David C. Luckham, Friedrich W. von Henke
An Overview of Anna, a Specification Language for Ada. IEEE Softw. 2 (2) (1985)
David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson
Adam: An Ada-based Language for Multiprocessing. Softw. Pract. Exp. 14 (7) (1984)
Steven M. German, David P. Helmbold, David C. Luckham
Monitoring for deadlocks in Ada tasking. AdaTEC Conference on Ada (1982)
David C. Luckham, Friedrich W. von Henke
Program verification at Stanford. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Bernd Krieg-Brückner, David C. Luckham
ANNA: towards a language for annotating Ada programs. SIGPLAN (1980)
David C. Luckham, Wolfgang Polak
A practical method of documenting and verifying Ada programs with packages. SIGPLAN (1980)
David C. Luckham, Wolfgang Polak
Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2 (2) (1980)
David C. Luckham, Norihisa Suzuki
Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1 (2) (1979)
David C. Luckham
A brief account: Implementation and applications of a Pascal program verifier (Position Statement). ACM Annual Conference (2) (1978)
David C. Luckham, Jorge J. Morales, Joachim F. Schreiber
A Study in the Application of Theorem Proving. AISB/GI (ECAI) (1978)
David C. Luckham
Program Verification and Verification Oriented Programming. IFIP Congress (1977)
David C. Luckham, Norihisa Suzuki
Proof of Termination within a Weak Logic of Programs. Acta Informatica 8 (1977)
Richard Alan Karp, David C. Luckham
Verification of Fairness in an Implementation of Monitors. ICSE (1976)
Friedrich W. von Henke, David C. Luckham
A methodology for verifying programs. Reliable Software (1975)
Shigeru Igarashi, Ralph L. London, David C. Luckham
Automatic Program Verification I: A Logical Basis and its Implementation. Acta Informatica 4 (1974)
Stephen J. Garland, David C. Luckham
Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. 7 (2) (1973)
Stephen J. Garland, David C. Luckham
On the Equivalence of Schemes STOC (1972)
Stephen J. Garland, David C. Luckham
Translating recursion schemes into program schemes. Proving Assertions About Programs (1972)
Richard B. Kieburtz, David C. Luckham
Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1 (4) (1972)
David C. Luckham, Nils J. Nilsson
Extracting Information from Resolution Proof Trees. Artif. Intell. 2 (1) (1971)
David C. Luckham, David Michael Ritchie Park, Mike Paterson
On Formalised Computer Programs. J. Comput. Syst. Sci. 4 (3) (1970)
Herbert B. Enderton, David C. Luckham
Hierarchies Over Recursive Well-Orderings. J. Symb. Log. 29 (4) (1964)