Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Tevfik Bultan

    1. University of California, Santa Barbara, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pao-Ann Hsiung

    1. Department of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan, ROC

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ATVA 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Statistical Model Checking for Cyber-Physical Systems

      • Edmund M. Clarke, Paolo Zuliani
      Pages 1-12

    2. Max and Sum Semantics for Alternating Weighted Automata

      • Shaull Almagor, Orna Kupferman
      Pages 13-27

    3. Making Software Verification Tools Really Work

      • Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
      Pages 28-42

    4. Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols

      • Masahiro Fujita
      Pages 43-50

    5. Automated Analysis of Industrial Embedded Software

      • Moonzoo Kim, Yunho Kim
      Pages 51-59

  3. Regular Papers

    1. Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections

      • Miguel Carrillo, David A. Rosenblueth
      Pages 60-74

    2. Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols

      • Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel
      Pages 75-89

    3. Formalization of Finite-State Discrete-Time Markov Chains in HOL

      • Liya Liu, Osman Hasan, Sofiène Tahar
      Pages 90-104

    4. An Alternative Definition for Timed Automata Composition

      • Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
      Pages 105-119

    5. Model Checking EGF on Basic Parallel Processes

      • Hongfei Fu
      Pages 120-134

    6. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

      • Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
      Pages 135-149

    7. Algorithms for Synthesizing Priorities in Component-Based Systems

      • Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess et al.
      Pages 150-167

    8. Trust Metrics for the SPKI/SDSI Authorisation Framework

      • Dominik Wojtczak
      Pages 168-182

    9. Antichain-Based QBF Solving

      • Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-Francois Raskin
      Pages 183-197

    10. A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems

      • Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
      Pages 198-212

    11. Formal Analysis of Online Algorithms

      • Benjamin Aminof, Orna Kupferman, Robby Lampert
      Pages 213-227

    12. Modal Transition Systems: Composition and LTL Model Checking

      • Nikola Beneš, Ivana Černá, Jan Křetínský
      Pages 228-242

    13. Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata

      • Lukáš Holík, Ondřej Lengál, Jiří Šimáček, Tomáš Vojnar
      Pages 243-258

    14. Assembling Sessions

      • Philippe Darondeau, Loïc Hélouët, Madhavan Mukund
      Pages 259-274
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

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.

Editors and Affiliations

  • University of California, Santa Barbara, USA

    Tevfik Bultan

  • Department of Computer Science and Information Engineering, National Chung Cheng University, Chiayi, Taiwan, ROC

    Pao-Ann Hsiung

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation