Professor of Software Verification
You can find the list of my publication at DBLP.
You can also find my articles on my Google Scholar profile.
