Advertisement

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

  • Editors
  • Kedar S. Namjoshi
  • Tomohiro Yoneda
  • Teruo Higashino
  • Yoshio Okamura
Conference proceedings ATVA 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Nathan Whitehead, Jordan Johnson, Martín Abadi
      Pages 1-14
    2. Sumit Nain, Moshe Y. Vardi
      Pages 19-34
  3. Regular Papers

    1. Jörg Bauer, Tobe Toben, Bernd Westphal
      Pages 35-50
    2. Geng-Dian Huang, Bow-Yaw Wang
      Pages 51-65
    3. David Walter, Scott Little, Chris Myers
      Pages 66-81
    4. Gordon Pace, Cristian Prisacariu, Gerardo Schneider
      Pages 82-97
    5. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
      Pages 98-113
    6. Scott Little, David Walter, Kevin Jones, Chris Myers
      Pages 114-128
    7. Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
      Pages 145-161
    8. Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
      Pages 162-176
    9. Thomas Gawlitza, Helmut Seidl
      Pages 177-191
    10. Franck Cassez, Alexandre David, Kim G. Larsen, Didier Lime, Jean-François Raskin
      Pages 192-206
    11. Lijun Zhang, Holger Hermanns
      Pages 207-222
    12. Christian Dax, Jochen Eisinger, Felix Klaedtke
      Pages 223-236
    13. Zvonimir Rakamarić, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
      Pages 237-252
    14. Sven Schewe, Bernd Finkbeiner
      Pages 268-283
    15. Dragan Bošnački, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
      Pages 300-315
    16. Orna Kupferman, Yoad Lustig
      Pages 316-330
    17. Judi Romijn, Wieger Wesselink, Arjan Mooij
      Pages 347-361
    18. Laura Recalde, Serge Haddad, Manuel Silva
      Pages 362-377
    19. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini
      Pages 378-393
    20. Ismael Rodríguez, Manuel Núñez
      Pages 394-409
    21. Rotem Oshman, Orna Grumberg
      Pages 410-424
    22. Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch et al.
      Pages 425-440
    23. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
      Pages 441-456
    24. Orna Grumberg, Assaf Schuster, Avi Yadgar
      Pages 457-473
    25. Sven Schewe, Bernd Finkbeiner
      Pages 474-488
  4. Short Papers

    1. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
      Pages 501-510
    2. Guoqiang Li, Mizuhito Ogawa
      Pages 511-522
    3. Bernard Berthomieu, Florent Peres, François Vernadat
      Pages 523-532
    4. Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
      Pages 533-542
    5. Mohammad Torabi Dashti, Anton J. Wijs
      Pages 543-552
    6. Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
      Pages 553-563
  5. Back Matter

About these proceedings

Keywords

Simulation automata construction embedded systems formal method formal methods formal performance analysis hardware verification hybrid systems model checking modeling petri net probabilistic models real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75596-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75595-1
  • Online ISBN 978-3-540-75596-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site