Scholar
Tianhai Liu
Google Scholar ID: a62VlXQAAAAJ
Institute for Theoretical Informatics, Karlsruhe Institute of Technology
Software Verification
Software Testing
Software Security
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
105
H-index
5
i10-index
4
Publications
20
Co-authors
0
Publications
3 items
Can Formal Specifications Be Synthesized from Tests Alone?
2026
Cited
0
FPGA Lifecycle Management for RISC-V Systems
2026
Cited
0
Keeping Models and Code in Sync: Roundtrip Engineering for Tactical Domain-Driven Design
2026
Cited
0
