Travelled to:1 × Italy
7 × USA
Collaborated with:B.A.Gennart D.S.Rosenblum R.A.Karp S.J.Garland J.Vera L.Perrochon D.Katiyar J.C.Mitchell L.M.Augustin Y.Huh A.G.Stanculescu D.P.Helmbold S.Meldal D.L.Bryan M.A.Haberler
Talks about:system (3) event (3) languag (2) verif (2) task (2) use (2) architectur (1) supervisor (1) implement (1) distribut (1)
Person: David C. Luckham
DBLP: Luckham:David_C=
Contributed to:
1999
1994
1992
19891988
1986
1976
1972Wrote 8 papers:
- WICSA-1999-VeraPL #architecture #execution
- Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
- POPL-1994-KatiyarLM #prototype #type system
- A Type System for Prototyping Languages (DK, DCL, JCM), pp. 138–150.
- DAC-1992-GennartL #simulation #using #validation
- Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
- TAV-1989-RosenblumL #correctness #specification #testing
- Testing the Correctness of Tasking Supervisors with TSL Specifications (DSR, DCL), pp. 187–196.
- DAC-1988-AugustinGHLS #design #using #verification
- Verification of VHDL Designs Using VAL (LMA, BAG, YH, DCL, AGS), pp. 48–53.
- CRAI-1986-LuckhamHMBH #ada #distributed #specification
- Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
- ICSE-1976-KarpL #implementation #monitoring #verification
- Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.
- STOC-1972-GarlandL #equivalence #on the
- On the Equivalence of Schemes (SJG, DCL), pp. 65–72.