- IEEE Trans. Automat. Contr. 56(8):1777-1790 (2011)
- Information & Software Technology 42(12):859-872 (2000)
- Information & Software Technology 42(12):851-857 (2000)
- Information & Software Technology 42(12):825-833 (2000)
- Introduction to the special issue on: model-based statistical testing of software intensive systems.Information & Software Technology 42(12):797-799 (2000)
- Information & Software Technology 42(12):845-850 (2000)
- IEEE Trans. Software Eng. 29(5):417-429 (2003)
- IEEE Software 10(1):88-99 (1993)
- CICC, page 629-632. IEEE, (2009)
- Information & Software Technology 53(11):1250-1251 (2011)
- Commun. ACM 18(4):193-199 (1975)
- Math. Program. (1990)
- Mathematical and Computer Modelling 43(9-10):1074-1091 (2006)
- Information Security Journal: A Global Perspective 20(2):91-99 (2011)
- BCB, page 390-393. ACM, (2010)
- Pacific Symposium on Biocomputing, page 314-325. World Scientific Publishing, (2011)
- Cartographica 44(1):5-16 (2009)
- Cartographica 45(2):113-120 (2010)
- Information Security Journal: A Global Perspective 19(2):51-52 (2010)
- Theor. Comput. Sci. 411(2):360-376 (2010)


author