jStar−eclipse: an IDE for automated verification of Java programs by Naudziuniene, D, Botincan, M, Distefano, D, Dodds, M, Grigore, R, Parkinson, M

coreStar: the Core of jStar by Botinčan, M, Distefano, D, Dodds, M, Grigore, R, ̄unieṅNaudžie, D, Parkinson, M

A tool for evaluating heterogeneity in avidity of polyclonal antibodies by Li, K, Dodds, M, Spreng, RL, Abraha, M, Huntwork, RHC, Dahora, LC, Nyanhete, T, Dutta, S, Wille-Reece, U, Jongert, E, Ewer, KJ, Hill, AVS, Jin, C, Hill, J, Pollard, AJ, Munir Alam, S, Tomaras, GD, Dennison, SM