default search action

combined dblp search
author search
venue search
publication search

ask others

Lihao Liang

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/LiangMKST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/LiangMKST18
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Effective Verification for Low-Level Software with Competing Interrupts. ACM Trans. Embed. Comput. Syst. 17(2): 36:1-36:26 (2018)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LiangMKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LiangMKM18
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham:
Verification of tree-based hierarchical read-copy update in the Linux kernel. DATE 2018: 61-66
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/LiangMKM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiangMKM16
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham:
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel. CoRR abs/1610.03052 (2016)
2015
[c2]
- view
- export record
  dblp key:
  - conf/date/KroeningLMST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KroeningLMST15
Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig:
Effective verification of low-level software with nested interrupts. DATE 2015: 229-234
2013
[c1]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/HornTVLMGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HornTVLMGK13
Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening:
Formal co-validation of low-level hardware/software interfaces. FMCAD 2013: 121-128

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.