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


Cyrille ArthoKTH Royal Institute of Technology, Sweden
Peter Csaba ÖlveczkyUniversity of Oslo, Norway

Program Committee (incomplete ATM)


Étienne AndréUniversity Paris 13, France
Toshiaki AokiJAIST, Japan
Cyrille ArthoKTH Royal Institute of Technology, Sweden
Kyungmin BaePohang University of Science and Technology, Korea
Daniel FavaUniversity of Oslo, Norway
Sabine GlesnerTechnical University of Berlin, Germany
Osman HasanNational University of Sciences & Technology, Pakistan
Klaus HavelundNASA JPL, USA
Marieke HuismanUniversity of Twente, The Netherlands
Ralf HuuckSynopsys, Australia
Fuyuki IshikawaNational Institute of Infomatics, Japan
Takashi KitamuraAIST, Japan
Thierry LecomteClearSy System Engineering, France
Yang LiuNanyang Technological University, Singapore
Robi MalikUniversity of Waikato, New Zealand
Frédéric MalletUniversité Nice Sophia Antipolis, France
Roberto NardoneUniversity of Napoli "Federico II", Italy
Thomas NollRWTH Aachen University, Germany
Peter Csaba ÖlveczkyUniversity of Oslo, Norway
David PearceVictoria University of Wellington, New Zealand
Markus RoggenbachSwansea University, UK
Ralf SasseETH Zürich, Switzerland
Martina SeidlJohannes Kepler University, Austria
Graeme SmithThe University of Queensland , Australia
Sofiène TaharConcordia University, Canada
Carolyn TalcottSRI International, USA
Tatsuhiro TsuchiyaOsaka University, Japan
András VörösBudapest University of Technology and Economics, Hungary
Mark UttingUniversity of the Sunshine Coast, Australia
Michael WhalenUniversity of Minnesota, USA
Huibiao ZhuEast China Normal University, China
Étienne AndréUniversity Paris 13, France
Toshiaki AokiJAIST, Japan
Cyrille ArthoAIST, Japan and KTH, Sweden
Kyungmin BaePohang University of Science and Technology, Korea
Eun-Hye ChoiAIST, Japan
Alessandro FantechiUniversity of Florence and ISTI-CNR, Pisa, Italy
Bernd FischerStellenbosch University, South Africa
Osman HasanNational University of Sciences & Technology, Pakistan
Klaus HavelundNASA JPL, USA
Jérôme HuguesInstitute for Space and Aeronautics Engineering, France
Marieke HuismanUniversity of Twente, The Netherlands
Ralf HuuckSynopsys, Australia
Fuyuki IshikawaNational Institute of Infomatics, Japan
Takashi KitamuraAIST, Japan
Alexander KnappAugsburg University, Germany
Thierry LecomteClearSy System Engineering, France
Yang LiuNanyang Technological University, Singapore
Robi MalikUniversity of Waikato, New Zealand
Frédéric MalletUniversité Nice Sophia Antipolis, France
Roberto NardoneUniversity of Napoli "Federico II", Italy
Vivek NigamFederal University of Paraíba, Brazil
Thomas NollRWTH Aachen University, Germany
Kazuhiro OgataJAIST, Japan
Peter Csaba ÖlveczkyUniversity of Oslo, Norway
Charles PecheurUniversité catholique de Louvain, Belgium
Markus RoggenbachSwansea University, UK
Ralf SasseETH Zürich, Switzerland
Martina SeidlJohannes Kepler University, Austria
Oleg SokolskyUniversity of Pennsylvania, USA
Sofiène TaharConcordia University, Canada
Carolyn TalcottSRI International, USA
Tatsuhiro TsuchiyaOsaka University, Japan
András VörösBudapest University of Technology and Economics, Hungary
Chen-Wei WangState University of New York (SUNY), Korea
Alan WassyngMcMaster University, Canada
Michael WhalenUniversity of Minnesota, USA
Huibiao ZhuEast China Normal University, China