© 2014

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

  • Cyrille Artho
  • Peter Csaba Ölveczky
Conference proceedings FTSCS 2013

Part of the Communications in Computer and Information Science book series (CCIS, volume 419)

Table of contents

  1. Front Matter
    Pages I-X
  2. Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
    Pages 3-18
  3. Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
    Pages 19-35
  4. Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
    Pages 36-53
  5. Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria, Claude Thibeault
    Pages 54-70
  6. Yongjian Li, Jun Pang
    Pages 71-87
  7. Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
    Pages 88-106
  8. Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
    Pages 107-124
  9. Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
    Pages 125-141
  10. David J. Pearce, Lindsay Groves
    Pages 142-159
  11. Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
    Pages 178-194
  12. Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
    Pages 212-228
  13. Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth, Paul Pettersson
    Pages 229-245
  14. Kriangkrai Traichaiyaporn, Toshiaki Aoki
    Pages 246-261
  15. Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
    Pages 262-279
  16. Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
    Pages 280-296
  17. Back Matter
    Pages 297-297

About these proceedings


This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.


QoS critical systems automata theory formal languages formal methods model checking

Editors and affiliations

  • Cyrille Artho
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.AISTResearch Institute for Secure SystemsAmagasakiJapan
  2. 2.University of Oslo Department of InformaticsOsloNorway

Bibliographic information

  • Book Title Formal Techniques for Safety-Critical Systems
  • Book Subtitle Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
  • Editors Cyrille Artho
    Peter Csaba Ölveczky
  • Series Title Communications in Computer and Information Science
  • Series Abbreviated Title Communic.Comp.Inf.Science
  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-319-05415-5
  • eBook ISBN 978-3-319-05416-2
  • Series ISSN 1865-0929
  • Series E-ISSN 1865-0937
  • Edition Number 1
  • Number of Pages X, 297
  • Number of Illustrations 91 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
    Software Engineering
    Computation by Abstract Devices
  • Buy this book on publisher's site
Industry Sectors
IT & Software