FTSCS 2015
Fourth International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2015 Satellite Event)
Paris, France, November 6 and 7, 2015
Workshop Chair
Program Chairs
Program Committee
Musab AlTurki | King Fahd University of Petroleum & Minerals, Saudi Arabia |
Étienne André | University Paris 13, France |
Toshiaki Aoki | JAIST, Japan |
Cyrille Artho | AIST, Japan |
Kyungmin Bae | SRI International, USA |
David Broman | KTH, Sweden and UC Berkeley, USA |
Bernd Fischer | Stellenbosch University, South Africa |
Osman Hasan | National University of Sciences & Technology, Pakistan |
Klaus Havelund | NASA JPL, USA |
Fuyuki Ishikawa | National Institute of Infomatics, Japan |
Takashi Kitamura | AIST, Japan |
Alexander Knapp | Augsburg University, Germany |
Brian Larson | Kansas State University, USA |
Wenchao Li | SRI International, USA |
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 |
Charles Pecheur | Université catholique de Louvain, Belgium |
Paul Pettersson | Mälardalen University, Sweden |
Camilo Rocha | Escuela Colombiana de Ingeniería, Colombia |
Markus Roggenbach | Swansea University, UK |
Ralf Sasse | ETH Zürich, Switzerland |
Oleg Sokolsky | University of Pennsylvania, USA |
Sofiène Tahar | Concordia University, Canada |
Jean-Pierre Talpin | INRIA Rennes, France |
Chen-Wei Wang | McMaster University, Canada |
Alan Wassyng | McMaster University, Canada |
Michael Whalen | University of Minnesota, USA |
Huibiao Zhu | East China Normal University, China |
|