453 pubs · 2,325 cites · h-index 27
University of South Florida
1987 - 2025
Brock University
2019 - 2019
California University of Pennsylvania
2009 - 2018
AdaCore (France)
2005 - 2015
Rutgers, The State University of New Jersey
2011 - 2011