Bogdan Munteanu

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Provably Correct

Formal Specification Language

Top Venues

Publications

Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
How Amazon web services uses formal methods. Commun. ACM 58 (4) (2015)
Bogdan Munteanu, Richard Borie
Variations of the Vision-Based Pursuit-Evasion Problem on a Grid. FCS (2010)
Bogdan Munteanu, Richard Borie, Grzegorz Malewicz
The Spinning problem. WiOpt (2008)
Daniel A. Ray, Charles B. Ward, Bogdan Munteanu, Jonathan Blackwell, Xiaoyan Hong, Jun Li
Investigating the Impact of Real-World Factors on Internet Worm Propagation. ICISS (2007)