49 citations · 53 across the 3 of their papers we have counts for
1 paper · 1 filter
Chungha Sung, Brandon Paulsen, Chao Wang
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual rese…