19th International Symposium on Formal Methods

Doctoral Symposium Program

Chair: Annabelle McIver

Tuesday, 13th May 2014

09:30 - 10:30:Invited talk: Ana Cavalcanti. Can Java ever be safe?
10:30:Coffee break
11:00 - 11:30:Thien Binh Nguyen, Thanh Tho Quan, Minh Hai Nguyen, Huu Vu Nguyen and Cong Dinh Nguyen.HOPE: A Framework for Handling Obfuscated Polymorphic Malware
11:30 - 12:00:Francesco Alberti. A SMT-based verification framework for software systems handling unbounded arrays
12:00 - 12:30:Lin Gui. Reliability Analysis of Non-deterministic Systems
14:00 - 14:30:William Denman. Formal Verification of Nonpolynomial Hybrid systems by Qualitative Abstraction
14:30 - 15:00:Maya Retno Ayu Setyautami. Verification of Refactoring with Delta Representation
15:00 - 15:30:Madiel Conserva Filho. Livelock Analysis for Component-Based Systemstd
15:30:Coffee break
16:00:Closing session