David C. Luckham

1999
34	EE	Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham: Event Mining with Event Processing Networks. PAKDD 1999: 474-478
33		James Vera, Louis Perrochon, David C. Luckham: Event-Based Execution Architectures for Dynamic Software Systems. WICSA 1999: 303-318
1998
32		David C. Luckham: Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. WWCA 1998: 88-96
1997
31		Sigurd Meldal, David C. Luckham: NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Requirements Targeting Software and Systems Engineering 1997: 293-329
1995
30	EE	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): 336-355 (1995)
29	EE	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(6): 576 (1995)
28	EE	David C. Luckham, James Vera: An Event-Based Architecture Definition Language. IEEE Trans. Software Eng. 21(9): 717-734 (1995)
1994
27		Dinesh Katiyar, David C. Luckham, John C. Mitchell: A Type System for Prototyping Languages. POPL 1994: 138-150
26		Dinesh Katiyar, David C. Luckham, John C. Mitchell: Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages 1994: 22-34
1993
25	EE	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. Journal of Systems and Software 21(3): 253-265 (1993)
1992
24	EE	Benoit A. Gennart, David C. Luckham: Validating Discrete Event Simulations Using Event Pattern Mappings. DAC 1992: 414-419
23		Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson: Object-Oriented Megaprogramming (Panel). OOPSLA 1992: 392-396
1991
22		David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)
1989
21	EE	David S. Rosenblum, David C. Luckham: Testing the Correctness of Tasking Supervisors with TSL Specifications. Symposium on Testing, Analysis, and Verification 1989: 187-196
1988
20	EE	Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu: Verification of VHDL Designs Using VAL. DAC 1988: 48-53
1987
19		David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual Springer 1987
18		David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler: Task Sequencing Language for Specifying Distributed Ada Systems. PARLE (2) 1987: 444-463
1986
17		David S. Rosenblum, Sriram Sankar, David C. Luckham: Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS 1986: 10-35
16		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: 249-305
1984
15		David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson: Adam: An Ada-based Language for Multiprocessing. Softw., Pract. Exper. 14(7): 605-642 (1984)
1980
14	EE	David C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233 (1980)
1979
13	EE	David C. Luckham, Norihisa Suzuki: Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1(2): 226-244 (1979)
1978
12	EE	David C. Luckham: A brief account: Implementation and applications of a Pascal program verifier (Position Statement). ACM Annual Conference (2) 1978: 786-792
11		David C. Luckham, Jorge J. Morales, Joachim F. Schreiber: A Study in the Application of Theorem Proving. AISB/GI (ECAI) 1978: 176-188
1977
10		David C. Luckham: Program Verification and Verification Oriented Programming. IFIP Congress 1977: 783-793
9		David C. Luckham, Norihisa Suzuki: Proof of Termination within a Weak Logic of Programs Acta Inf. 8: 21-36 (1977)
1976
8		Richard Alan Karp, David C. Luckham: Verification of Fairness in an Implementation of Monitors. ICSE 1976: 40-46
1974
7		Shigeru Igarashi, Ralph L. London, David C. Luckham: Automatic Program Verification I: A Logical Basis and its Implementation Acta Inf. 4: 145-182 (1974)
1973
6		Stephen J. Garland, David C. Luckham: Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. 7(2): 119-160 (1973)
1972
5		Stephen J. Garland, David C. Luckham: On the Equivalence of Schemes STOC 1972: 65-72
4		Richard B. Kieburtz, David C. Luckham: Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. 1(4): 313-332 (1972)
1971
3		David C. Luckham, Nils J. Nilsson: Extracting Information from Resolution Proof Trees. Artif. Intell. 2(1): 27-54 (1971)
1970
2		David C. Luckham, David Michael Ritchie Park, Mike Paterson: On Formalised Computer Programs. J. Comput. Syst. Sci. 4(3): 220-249 (1970)
1964
1		Herbert B. Enderton, David C. Luckham: Hierarchies Over Recursive Well-Orderings. J. Symb. Log. 29(4): 183-190 (1964)

Coauthor Index

1	Larry M. Augustin	[20] [25] [29] [30]
2	Frank C. Belz	[25]
3	D. L. Bryan	[16] [18]
4	Doug Bryan	[25] [29] [30]
5	Herbert B. Enderton	[1]
6	Stephen J. Garland	[5] [6]
7	Benoit A. Gennart	[20] [24]
8	M. A. Haberler	[16] [18]
9	David P. Helmbold	[16] [18]
10	Friedrich W. von Henke	[15] [19]
11	Youm Huh	[20]
12	Shigeru Igarashi	[7]
13	Ralph E. Johnson	[23]
14	Richard Alan Karp	[8]
15	Stephane Kasriel	[34]
16	Dinesh Katiyar	[26] [27]
17	John J. Kenney	[29] [30]
18	Richard B. Kieburtz (Dick Kieburtz)	[4]
19	Bernd Krieg-Brückner	[19]
20	H. J. Larsen	[15]
21	Ralph L. London	[7]
22	Walter Mann	[29] [30] [34]
23	Sigurd Meldal	[16] [31]
24	John C. Mitchell	[26] [27]
25	Jorge J. Morales	[11]
26	Nils J. Nilsson	[3]
27	Olaf Owe	[19]
28	David Michael Ritchie Park	[2]
29	Mike Paterson	[2]
30	Louis Perrochon	[33] [34]
31	Wolfgang Polak	[14]
32	James M. Purtilo	[23]
33	David S. Rosenblum	[17] [21]
34	Sriram Sankar	[17] [22]
35	William L. Scherlis (Bill Scherlis)	[23]
36	Joachim F. Schreiber	[11]
37	Alec G. Stanculescu	[20]
38	Duncan Stevenson	[15]
39	Norihisa Suzuki	[9] [13]
40	Shuzo Takahashi	[22]
41	James Vera	[25] [28] [29] [30] [33]
42	Peter Wegner	[23]

Colors in the list of coauthors