David C. Luckham
Affiliations: | Stanford University, Palo Alto, CA |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"David Luckham"Parents
Sign in to add mentor| Hartley Rogers, Jr. | grad student | (MathTree) | ||
| Hilary Whitehall Putnam | grad student | 1963 | MIT (Philosophy Tree) | |
| (Dissertation: "Topics in the theory of constructive hierarchies") | ||||
Children
Sign in to add trainee| Jorge V Phillips | grad student | Stanford Univresity | |
| David Samuel Rosenblum | grad student | 1988 | Stanford |
| Alexandre J. Santoro | grad student | 2000 | Stanford |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Luckham DC. (1998) Rapide: A language and toolset for causal event modelling of distributed system architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1368: 88-96 |
| Luckham DC, Vera J. (1995) An Event-Based Architecture Definition Language Ieee Transactions On Software Engineering. 21: 717-734 |
| Luckham DC, Kenney JJ, Augustin LM, et al. (1995) Specification and Analysis of System Architecture Using Rapide Ieee Transactions On Software Engineering. 21: 336-354 |
| Katiyar D, Luckham D, Mitchell J. (1994) Polymorphism and subtyping in interface Sigplan Notices. 29: 22-34 |
| Luckham DC, Vera J, Bryan D, et al. (1993) Partial orderings of event sets and their application to prototyping concurrent, timed systems The Journal of Systems and Software. 21: 253-265 |
| Luckham D, Sankar S, Takahashi S. (1991) Two-dimensional pinpointing: debugging with formal specifications Ieee Software. 8: 74-84 |
| Rosenblum D, Luckham D. (1989) Testing the correctness of tasking supervisors with TSL specifications Acm Sigsoft Software Engineering Notes. 14: 187-196 |
| Luckham DC, Neff R, Rosenblum DS. (1987) An environment for Ada software development based on formal specification Acm Sigada Ada Letters. 94-106 |
| Helmbold D, Luckham DC. (1985) Runtime detection and description of deadness errors in Ada tasking Acm Sigada Ada Letters. 60-72 |
| Helmbold D, Luckham D. (1985) TSL: task sequencing language Acm Sigada Ada Letters. 255-274 |