| Year |
Citation |
Score |
| 1998 |
Luckham DC. 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. DOI: 10.1007/3-540-64216-1_42 |
0.416 |
|
| 1995 |
Luckham DC, Vera J. An Event-Based Architecture Definition Language Ieee Transactions On Software Engineering. 21: 717-734. DOI: 10.1109/32.464548 |
0.422 |
|
| 1995 |
Luckham DC, Kenney JJ, Augustin LM, Vera J, Bryan D, Mann W. Specification and Analysis of System Architecture Using Rapide Ieee Transactions On Software Engineering. 21: 336-354. DOI: 10.1109/32.385971 |
0.418 |
|
| 1994 |
Katiyar D, Luckham D, Mitchell J. Polymorphism and subtyping in interface Sigplan Notices. 29: 22-34. DOI: 10.1145/185087.185098 |
0.541 |
|
| 1993 |
Luckham DC, Vera J, Bryan D, Augustin L, Belz F. Partial orderings of event sets and their application to prototyping concurrent, timed systems The Journal of Systems and Software. 21: 253-265. DOI: 10.1016/0164-1212(93)90027-U |
0.397 |
|
| 1991 |
Luckham D, Sankar S, Takahashi S. Two-dimensional pinpointing: debugging with formal specifications Ieee Software. 8: 74-84. DOI: 10.1109/52.62935 |
0.565 |
|
| 1989 |
Rosenblum D, Luckham D. Testing the correctness of tasking supervisors with TSL specifications Acm Sigsoft Software Engineering Notes. 14: 187-196. DOI: 10.1145/75309.75330 |
0.512 |
|
| 1987 |
Luckham DC, Neff R, Rosenblum DS. An environment for Ada software development based on formal specification Acm Sigada Ada Letters. 94-106. DOI: 10.1145/24645.24651 |
0.504 |
|
| 1985 |
Helmbold D, Luckham DC. Runtime detection and description of deadness errors in Ada tasking Acm Sigada Ada Letters. 60-72. DOI: 10.1145/998421.998427 |
0.329 |
|
| 1985 |
Helmbold D, Luckham D. TSL: task sequencing language Acm Sigada Ada Letters. 255-274. DOI: 10.1145/324422.324398 |
0.531 |
|
| 1985 |
Henke FWv, Luckham D, Krieg-Brueckner B, Owe O. Semantic specification of Ada packages Acm Sigada Ada Letters. 185-196. DOI: 10.1145/324422.324392 |
0.406 |
|
| 1985 |
Helmbold D, Luckham D. Debugging Ada Tasking Programs Ieee Software. 2: 47-57. DOI: 10.1109/Ms.1985.230351 |
0.455 |
|
| 1985 |
Luckham DC, von Henke FW. An Overview of Anna, a Specification Language for Ada Ieee Software. 2: 9-22. DOI: 10.1109/Ms.1985.230345 |
0.43 |
|
| 1984 |
Luckham DC, Von Henke FW, Larsen HJ, Stevenson DR. ADAM: AN ADA-BASED LANGUAGE FOR MULTIPROCESSING Software - Practice and Experience. 14: 605-642. |
0.452 |
|
| 1981 |
Luckham DC, Henke FWv. Program verification at Stanford Acm Sigsoft Software Engineering Notes. 6: 25-27. DOI: 10.1145/1010832.1010842 |
0.478 |
|
| 1981 |
Luckham DC, Henke FWv, Larsen HJ, Stevenson DR. ADAM - an Ada based language for multi-processing Software - Practice and Experience. 14: 605-642. DOI: 10.1002/Spe.4380140702 |
0.471 |
|
| 1980 |
Krieg-Brückner B, Luckham DC. ANNA: Towards a Language for Annotating Ada Programs Acm Sigplan Notices. 15: 128-138. DOI: 10.1145/800004.807943 |
0.58 |
|
| 1980 |
Luckham DC, Polak W. A practical method of documenting and verifying Ada programs with packages Acm Sigplan Notices. 15: 113-122. DOI: 10.1145/800004.807941 |
0.529 |
|
| 1980 |
Luckham DC, Polak W. Ada exception handling: An axiomatic approach Acm Transactions On Programming Languages and Systems (Toplas). 2: 225-233. DOI: 10.1145/357094.357100 |
0.52 |
|
| 1979 |
Luckham DC, Suzuki N. Verification of Array, Record, and Pointer Operations in Pascal Acm Transactions On Programming Languages and Systems (Toplas). 1: 226-244. DOI: 10.1145/357073.357078 |
0.488 |
|
| 1977 |
Luckham DC, Suzuki N. Proof of termination within a weak logic of programs Acta Informatica. 8: 21-36. DOI: 10.1007/Bf00276182 |
0.489 |
|
| 1975 |
von Henke FW, Luckham DC. A methodology for verifying programs Acm Sigplan Notices. 10: 156-164. DOI: 10.1145/390016.808435 |
0.493 |
|
| 1975 |
Igarashi S, London RL, Luckham DC. Automatic program verification I: A logical basis and its implementation Acta Informatica. 4: 145-182. DOI: 10.1007/Bf00288746 |
0.557 |
|
| 1975 |
von Henke FW, Luckham DC. METHODOLOGY FOR VERIFYING PROGRAMS . 156-164. |
0.434 |
|
| 1973 |
Garland SJ, Luckham DC. Program schemes, recursion schemes, and formal languages Journal of Computer and System Sciences. 7: 119-160. DOI: 10.1016/S0022-0000(73)80040-6 |
0.306 |
|
| 1971 |
Luckham D, Nilsson NJ. Extracting information from resolution proof trees Artificial Intelligence. 2: 27-54. DOI: 10.1016/0004-3702(71)90003-8 |
0.37 |
|
| 1970 |
Luckham DC, Park DMR, Paterson MS. On formalised computer programs Journal of Computer and System Sciences. 4: 220-249. DOI: 10.1016/S0022-0000(70)80022-8 |
0.484 |
|
| Show low-probability matches. |