2
Publications
117
Citations
2
H-Index
2003
Active since
Affiliations
D. Lee is an author at University of Maryland, College Park specializing in computer engineering, formal methods, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceNetwork AnalysisProgram AnalysisSoftware TestingNetwork ProtocolsFormal VerificationSystems Engineering
Publications per year
2003–2006
2
2
A formal approach for passive testing of protocol data portions
D. Lee, Dongluo Chen, Ruibing Hao et al. · 2003 · 65 citations
Network protocol system monitoring-a formal approach with passive testing
D. Lee, Dongluo Chen, Ruibing Hao et al. · IEEE/ACM Transactions on Networking · 2006 · 52 citations
Rows per page
1–2 of 2