FTSCS 2018
Sixth International Workshop on Formal Techniques for Safety-Critical Systems
(An
ICFEM 2018 Satellite Event)
Gold Coast, Australia, November 16, 2018
Program Chairs
Program Committee
| Étienne André | University Paris 13, France |
| Toshiaki Aoki | JAIST, Japan |
| Cyrille Artho | KTH Royal Institute of Technology, Sweden |
| Kyungmin Bae | Pohang University of Science and Technology, Korea |
| Daniel Fava | University of Oslo, Norway |
| Sabine Glesner | Technical University of Berlin, Germany |
| 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 |
| 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 |
| Thomas Noll | RWTH Aachen University, Germany |
| Peter Csaba Ölveczky | University of Oslo, Norway |
| David Pearce | Victoria University of Wellington, New Zealand |
| Markus Roggenbach | Swansea University, UK |
| Ralf Sasse | ETH Zürich, Switzerland |
| Martina Seidl | Johannes Kepler University, Austria |
| Graeme Smith | The University of Queensland , Australia |
| Sofiène Tahar | Concordia University, Canada |
| Carolyn Talcott | SRI International, USA |
| Tatsuhiro Tsuchiya | Osaka University, Japan |
| Mark Utting | University of the Sunshine Coast, Australia |
| András Vörös | Budapest University of Technology and Economics, Hungary |
| Michael Whalen | University of Minnesota, USA |
| Huibiao Zhu | East China Normal University, China |
| É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 |
|
