Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

  • Tevfik Bultan
  • Pao-Ann Hsiung

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6996)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Edmund M. Clarke, Paolo Zuliani
      Pages 1-12
    2. Shaull Almagor, Orna Kupferman
      Pages 13-27
    3. Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
      Pages 28-42
    4. Moonzoo Kim, Yunho Kim
      Pages 51-59
  3. Regular Papers

    1. Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel
      Pages 75-89
    2. Liya Liu, Osman Hasan, Sofiène Tahar
      Pages 90-104
    3. Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
      Pages 105-119
    4. Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
      Pages 135-149
    5. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess et al.
      Pages 150-167
    6. Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-Francois Raskin
      Pages 183-197
    7. Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
      Pages 198-212
    8. Benjamin Aminof, Orna Kupferman, Robby Lampert
      Pages 213-227
    9. Nikola Beneš, Ivana Černá, Jan Křetínský
      Pages 228-242
    10. Lukáš Holík, Ondřej Lengál, Jiří Šimáček, Tomáš Vojnar
      Pages 243-258
    11. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund
      Pages 259-274

About these proceedings


This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.
The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.


basic parallel processes fault tolerant modeling hybrid systems model checking timed automata

Editors and affiliations

  • Tevfik Bultan
    • 1
  • Pao-Ann Hsiung
    • 2
  1. 1.University of CaliforniaSanta BarbaraUSA
  2. 2.Department of Computer Science and Information EngineeringNational Chung Cheng UniversityChiayiTaiwan, ROC

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24371-4
  • Online ISBN 978-3-642-24372-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site