JC
James C. Corbett
Lawrence Livermore National Laboratory53
Publications
6,771
Citations
22
h-index
36
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (46)
- Book Chapter (4)
- Preprint (1)
- Review (1)
Filter by Open Access Type
- Open Access (16)
- Closed Access (36)
Filter by Authors
- James C. Corbett (52)
- George S. Avrunin (19)
- Matthew B. Dwyer (13)
- John Hatcliff (5)
- Laura K. Dillon (5)
Filter by Topics
- Formal Methods in Verification (36)
- Software Testing and Debugging Techniques (17)
- Software Reliability and Analysis Research (14)
- Real-Time Systems Scheduling (13)
- Embedded Systems Design Techniques (10)