We have 3 papers accepted to the International Symposium of Robotics Research (ISRR 2015):

Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim, Computer-Aided Compositional Design and Verification for Modular Robots

Ankur Mehta, Joseph DelPreto, Kai Weng  Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus, Robot Creation from Functional Specifications

Jonathan DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit,  Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems