David C. Luckham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
1972–1999
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | PAKDD | Event Mining with Event Processing Networks. | Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham |
| 1994 | POPL | A Type System for Prototyping Languages. | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
| 1992 | DAC | Validating Discrete Event Simulations Using Event Pattern Mappings. | Benoit A. Gennart, David C. Luckham |
| 1992 | OOPSLA | Object-Oriented Megaprogramming (Panel). | Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson |
| 1989 | ISSTA | Testing the Correctness of Tasking Supervisors with TSL Specifications. | David S. Rosenblum, David C. Luckham |
| 1988 | DAC | Verification of VHDL Designs Using VAL. | Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu |
| 1978 | ECAI | A Study in the Application of Theorem Proving. | David C. Luckham, Jorge J. Morales, Joachim F. Schreiber |
| 1976 | ICSE | Verification of Fairness in an Implementation of Monitors. | Richard Alan Karp, David C. Luckham |
| 1972 | STOC | On the Equivalence of Schemes | Stephen J. Garland, David C. Luckham |