Technical Reports

Permanent URI for this collection

https://dl.comp.nus.edu.sg/handle/1900.100/12

Browse

Browsing Technical Reports by Author "ALBERTI, Francesco"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    FM2014: Formal Methods, Doctor Symposium
    (2014-05-30T08:57:49Z) CAVALCANTI, Ana; ALBERTI, Francesco; DENMAN, William; FILHO, M.S. Conserva; GUI, Lin; NGUYEN, Thien Binh; QUAN, Thanh Tho; NGUYEN, Minh Hai; NGUYEN, Huu Vu; NGUYEN, Cong Dinh; SETYAUTAMI, Maya Retno Ayu
    Preface This volume contains the papers presented at the Doctoral Symposium which was held in Singapore on 13 May 2014 as part of the International Symposium on Formal Methods (FM2014). The Doctoral Symposium is an important event where students have the opportunity to present their ideas at an international forum. The papers selected for this year’s symposium were reviewed carefully by the Programme Committee members: · Franck Cassez (NICTA, Sydney Australia) · Wei-Ngan Chin (National Univ of Singapore) · Christine Choppy (Laboratoire d’Informatique de l’Universit´e Paris Nord) · Yuan Feng (University of Technology, Sydney, Australia) · Shang-Wei Lin (Temasek Laboratories, National University of Singapore) · Graeme Smith (University of Queensland, Australia) · Elena Troubitsyna (˚Abo Akademi, Finland) · Huibiao Zhu (Software Engineering Institute, East China Normal University) The symposium invited Prof. Ana Cavalcanti as distinguished speaker, whose abstract of her talk Can Java ever be safe? is included in this proceedings. I would like to thank the authors of the submitted papers, Prof. Cavalcanti and the members of the Programme Committee for their contributions, and finally I thank all symposium participants for making this event fruitful and worthwhile. Annabelle McIver FM Doctoral Symposium Chair.