FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2016 Satellite Event)

Tokyo, Japan, November 14, 2016


Program Chairs


Cyrille ArthoAIST, Japan and KTH, Sweden
Peter Csaba ÖlveczkyUniversity of Oslo, Norway

Program Committee


Étienne AndréUniversity Paris 13, France
Toshiaki AokiJAIST, Japan
Cyrille ArthoAIST, Japan and KTH, Sweden
Kyungmin BaePohang University of Science and Technology, Korea
Eun-Hye ChoiAIST, Japan
Alessandro FantechiUniversity of Florence and ISTI-CNR, Pisa, Italy
Bernd FischerStellenbosch University, South Africa
Osman HasanNational University of Sciences & Technology, Pakistan
Klaus HavelundNASA JPL, USA
Jérôme HuguesInstitute for Space and Aeronautics Engineering, France
Marieke HuismanUniversity of Twente, The Netherlands
Ralf HuuckSynopsys, Australia
Fuyuki IshikawaNational Institute of Infomatics, Japan
Takashi KitamuraAIST, Japan
Alexander KnappAugsburg University, Germany
Thierry LecomteClearSy System Engineering, France
Yang LiuNanyang Technological University, Singapore
Robi MalikUniversity of Waikato, New Zealand
Frédéric MalletUniversité Nice Sophia Antipolis, France
Roberto NardoneUniversity of Napoli "Federico II", Italy
Vivek NigamFederal University of Paraíba, Brazil
Thomas NollRWTH Aachen University, Germany
Kazuhiro OgataJAIST, Japan
Peter Csaba ÖlveczkyUniversity of Oslo, Norway
Charles PecheurUniversité catholique de Louvain, Belgium
Markus RoggenbachSwansea University, UK
Ralf SasseETH Zürich, Switzerland
Martina SeidlJohannes Kepler University, Austria
Oleg SokolskyUniversity of Pennsylvania, USA
Sofiène TaharConcordia University, Canada
Carolyn TalcottSRI International, USA
Tatsuhiro TsuchiyaOsaka University, Japan
András VörösBudapest University of Technology and Economics, Hungary
Chen-Wei WangState University of New York (SUNY), Korea
Alan WassyngMcMaster University, Canada
Michael WhalenUniversity of Minnesota, USA
Huibiao ZhuEast China Normal University, China