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) |