The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David C. Luckham: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002