Automated Technology for Verification and Analysis

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

  • Tevfik Bultan
  • Pao-Ann Hsiung
Conference proceedings ATVA 2011

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
    12. Nikola Beneš, Jan Křetínský, Kim G. Larsen, Mikael H. Møller, Jiří Srba
      Pages 275-289
    13. Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
      Pages 290-305
    14. Daniel Neider
      Pages 306-320
    15. Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
      Pages 321-335
    16. Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
      Pages 336-350
    17. Mohamed Nassim Seghir
      Pages 351-365
    18. Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen
      Pages 366-380
    19. Sami Evangelista, Laure Petrucci, Samir Youcef
      Pages 381-396
    20. Viktor Schuppan, Luthfi Darmawan
      Pages 397-413
  4. Tool Papers

    1. Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi
      Pages 414-417
    2. Sebastian S. Bauer, Philip Mayer, Axel Legay
      Pages 418-421
  5. Short Papers

    1. Gal Katz, Doron Peled, Sven Schewe
      Pages 422-431
    2. Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao
      Pages 432-442
    3. Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Pages 443-452
    4. Jan Obdržálek, Marek Trtík
      Pages 453-462
    5. Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
      Pages 463-472
    6. Thao Dang, Thomas Martin Gawlitza
      Pages 473-481
    7. Shaull Almagor, Udi Boker, Orna Kupferman
      Pages 482-491
    8. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault
      Pages 492-502
    9. Houssam Abbas, Georgios Fainekos
      Pages 503-510
    10. Lu Feng, Tingting Han, Marta Kwiatkowska, David Parker
      Pages 511-521
    11. E. Allen Emerson, Roopsha Samanta
      Pages 522-530
  6. Back Matter

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 Computer Science (R0)
  • 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
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment