Advertisement

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

  • Ahmed Bouajjani
  • Wei-Ngan Chin
Conference proceedings ATVA 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 1-16
    2. Joxan Jaffar, Jorge Navas, Andrew Santosa
      Pages 17-17
    3. Igor Walukiewicz
      Pages 18-21
  3. Regular Papers

    1. Shaull Almagor, Yoram Hirshfeld, Orna Kupferman
      Pages 22-36
    2. Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
      Pages 37-51
    3. Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton
      Pages 52-66
    4. Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
      Pages 67-81
    5. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
      Pages 97-111
    6. Emmanuel Filiot, Nayiong Jin, Jean-François Raskin
      Pages 112-127
    7. Carlo A. Furia
      Pages 128-142
    8. Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Francois Raskin
      Pages 158-172
    9. Cristian Gherghina, Cristina David
      Pages 173-187
    10. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
      Pages 188-202
    11. Frédéric Herbreteau, B Srivathsan
      Pages 218-232
    12. Kamal Lodaya, A V Sreejith
      Pages 245-258
    13. Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
      Pages 291-305
    14. Ashutosh Trivedi, Dominik Wojtczak
      Pages 306-324
    15. Dana N. Xu, Gregor Gössler, Alain Girault
      Pages 325-340
  4. Tool Papers

    1. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
      Pages 341-346
    2. Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois Knoll
      Pages 347-352
    3. Mohamed Elwakil, Zijiang Yang, Liqiang Wang
      Pages 353-358
    4. Alexandre David, Kim. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski
      Pages 365-370
    5. Yang Liu, Jun Sun, Jin Song Dong
      Pages 371-377
    6. An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui
      Pages 387-395
  5. Back Matter

About these proceedings

Keywords

Constraint Distributed Systems Genetic Programming Real Time Systems algorithms automated theorem proving complexity design model transformation process calculi programming verification verification tools

Editors and affiliations

  • Ahmed Bouajjani
    • 1
  • Wei-Ngan Chin
    • 2
  1. 1.University of ParisParisFrance
  2. 2.National University of SingaporeRepublic of Singapore

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15643-4
  • Copyright Information Springer-Verlag Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15642-7
  • Online ISBN 978-3-642-15643-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site