Investigating the Impact of Real-World Factors on Internet Worm Propagation. - Daniel A. Ray; Charles B. Ward; Bogdan Munteanu; Jonathan Blackwell; Xiaoyan Hong; Jun Li 001 (ICISS, 2007)

The Spinning problem. - Bogdan Munteanu; Richard Borie; Grzegorz Malewicz (WiOpt, 2008)

Variations of the Vision-Based Pursuit-Evasion Problem on a Grid. - Bogdan Munteanu; Richard Borie (FCS, 2010)

How Amazon web services uses formal methods. - Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff (Commun. ACM, 2015)