FTSCS 2019
Seventh International Workshop on Formal Techniques for Safety-Critical Systems
(An
ICFEM
2019 Satellite Event)
Shenzhen, China, November 9, 2019
Program Chairs
Program Committee
| Musab AlTurki | Runtime Verification Inc., USA |
| É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 |
| Tom van Dijk | University of Twente, The Netherlands |
| Osman Hasan | National University of Sciences and Technology, Pakistan |
| Klaus Havelund | Jet Propulsion Laboratory, USA |
| Ralf Huuck | UNSW, Australia |
| Fuyuki Ishikawa | National Institute of Informatics, Japan |
| Sven Linker | University of Liverpool, UK |
| Robi Malik | University of Waikato, New Zealand |
| Frédéric Mallet | Université Nice Sophia Antipolis, France |
| Stefen Mitsch | CMU, USA |
| Roberto Nardone | Mediterranean University of Reggio Calabria, Italy |
| Thomas Noll | RWTH Aachen University, Germany |
| Peter Csaba Ölveczky | University of Oslo, Norway |
| Lee Pike | Automated Reasoning Group of Amazon Web Services, USA |
| Zhiping Shi | Capital Normal University, China |
| Sofiene Tahar | Concordia University, Canada |
| Carolyn Talcott | SRI International, USA |
| Jean-Pierre Talpin | INRIA, France |
| Nils Timm | University of Pretoria, South Africa |
| Tatsuhiro Tsuchiya | Osaka University, Japan |
| Huibiao Zhu | East China Normal University, China |
|
