FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2012 Satellite Event)
Kyoto, Japan, November 12, 2012
Program Chairs
Program Committee
Erika Ábrahám | RWTH Aachen University, Germany |
Musab AlTurki | King Fahd University of Petroleum and Minerals, Saudi Arabia |
Farhad Arbab | Leiden University and CWI, The Netherlands |
Cyrille Artho | AIST, Japan |
Armin Biere | Johannes Kepler University, Austria |
Saddek Bensalem | Verimag, France |
Péter Bokor | Technical University Darmstadt, Germany |
Santiago Escobar | Universidad Politécnica de Valencia, Spain |
Bernd Fischer | University of Southampton, UK |
Klaus Havelund | NASA JPL, USA |
Marieke Huisman | University of Twente, The Netherlands |
Ralf Huuck | NICTA/UNSW, Sydney, Australia |
Fuyuki Ishikawa | National Institute of Informatics, Tokyo, Japan |
Takashi Kitamura | AIST, Japan |
Alexander Knapp | Augsburg University, Germany |
Yang Liu | NUS, Singapore |
Steven P. Miller | Rockwell Collins, USA |
Tang Nguyen | AIST, Japan |
Thomas Noll | RWTH Aachen University, Germany |
Peter Ölveczky | University of Oslo, Norway |
Grigore Rosu | University of Illinois at Urbana-Champaign, USA |
Neha Rungta | NASA Ames, USA |
Carolyn Talcott | SRI International, USA |
Tatsuhiro Tsuchiya | Osaka University, Japan |
Organizing Committee
|