Limin Jia
2 papers · 2018–2020 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
Venues
Top co-authors
Research topics
Keywords
stateful network
(2)
first-order logic
(1)
network verification
(1)
network policy
(1)
test scheduling
(1)
correctness criterion
(1)
conflict detection
(1)
scheduling algorithm
(1)
black-box testing
(1)
policy verification
(1)
read-write conflict
(1)
formal verification
(1)
symbolic model checking
(1)