dblp.uni-trier.dewww.uni-trier.de

David C. Luckham Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
34EELouis 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
30EEDavid 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)
29EEDavid 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)
28EEDavid 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
25EEDavid 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
24EEBenoit 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
21EEDavid S. Rosenblum, David C. Luckham: Testing the Correctness of Tasking Supervisors with TSL Specifications. Symposium on Testing, Analysis, and Verification 1989: 187-196
1988
20EELarry 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
18EEDavid 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
17EEDavid 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
14EEDavid C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233 (1980)
1979
13EEDavid C. Luckham, Norihisa Suzuki: Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1(2): 226-244 (1979)
1978
12EEDavid 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)