FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2016 Satellite Event)
Tokyo, Japan, November 14, 2016
Program Chairs
Program Committee
Étienne André | University Paris 13, France |
Toshiaki Aoki | JAIST, Japan |
Cyrille Artho | AIST, Japan and KTH, Sweden |
Kyungmin Bae | Pohang University of Science and Technology, Korea |
Eun-Hye Choi | AIST, Japan |
Alessandro Fantechi | University of Florence and ISTI-CNR, Pisa, Italy |
Bernd Fischer | Stellenbosch University, South Africa |
Osman Hasan | National University of Sciences & Technology, Pakistan |
Klaus Havelund | NASA JPL, USA |
Jérôme Hugues | Institute for Space and Aeronautics Engineering, France |
Marieke Huisman | University of Twente, The Netherlands |
Ralf Huuck | Synopsys, Australia |
Fuyuki Ishikawa | National Institute of Infomatics, Japan |
Takashi Kitamura | AIST, Japan |
Alexander Knapp | Augsburg University, Germany |
Thierry Lecomte | ClearSy System Engineering, France |
Yang Liu | Nanyang Technological University, Singapore |
Robi Malik | University of Waikato, New Zealand |
Frédéric Mallet | Université Nice Sophia Antipolis, France |
Roberto Nardone | University of Napoli "Federico II", Italy |
Vivek Nigam | Federal University of Paraíba, Brazil |
Thomas Noll | RWTH Aachen University, Germany |
Kazuhiro Ogata | JAIST, Japan |
Peter Csaba Ölveczky | University of Oslo, Norway |
Charles Pecheur | Université catholique de Louvain, Belgium |
Markus Roggenbach | Swansea University, UK |
Ralf Sasse | ETH Zürich, Switzerland |
Martina Seidl | Johannes Kepler University, Austria |
Oleg Sokolsky | University of Pennsylvania, USA |
Sofiène Tahar | Concordia University, Canada |
Carolyn Talcott | SRI International, USA |
Tatsuhiro Tsuchiya | Osaka University, Japan |
András Vörös | Budapest University of Technology and Economics, Hungary |
Chen-Wei Wang | State University of New York (SUNY), Korea |
Alan Wassyng | McMaster University, Canada |
Michael Whalen | University of Minnesota, USA |
Huibiao Zhu | East China Normal University, China |
|