Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Yu-Fang Chen

    1. Institute of Information Science, Academia Sinica, Taipei, Taiwan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chih-Hong Cheng

    1. DENSO AUTOMOTIVE Deutschland GmbH, Eching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Javier Esparza

    1. Institute of Computer Science, TU München, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ATVA 2019.

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 EPUB and 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 (31 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Note on Game Theory and Verification

      • Patricia Bouyer
      Pages 3-22

    3. Lazy Abstraction-Based Controller Synthesis

      • Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
      Pages 23-47

    4. Truth Assignments as Conditional Autarkies

      • Benjamin Kiesl, Marijn J. H. Heule, Armin Biere
      Pages 48-64

    5. Can We Trust Autonomous Systems? Boundaries and Risks

      • Joseph Sifakis
      Pages 65-78

  3. Cyber-Physical Systems

    1. Front Matter

      Pages 79-79
      Download chapter PDF

    2. Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

      • Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
      Pages 81-97

    3. Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

      • Hussein Sibai, Navid Mokhlesi, Sayan Mitra
      Pages 98-114

    4. Parametric Timed Model Checking for Guaranteeing Timed Opacity

      • Étienne André, Jun Sun
      Pages 115-130

  4. Runtime Techniques

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Adaptive Online First-Order Monitoring

      • Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel
      Pages 133-150

    3. Multi-head Monitoring of Metric Temporal Logic

      • Martin Raszyk, David Basin, Srđan Krstić, Dmitriy Traytel
      Pages 151-170

    4. An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking

      • Martin Kölbl, Stefan Leue
      Pages 171-186

  5. Testing

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Conditional Testing

      • Dirk Beyer, Thomas Lemberger
      Pages 189-208

    3. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

      • Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
      Pages 209-227

    4. BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment

      • Pavel Parízek
      Pages 228-245

    5. KLUZZER: Whitebox Fuzzing on Top of LLVM

      • Hoang M. Le
      Pages 246-252

  6. Program Analysis

    1. Front Matter

      Pages 253-253
      Download chapter PDF
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.
The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. 
The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.

Editors and Affiliations

  • Institute of Information Science, Academia Sinica, Taipei, Taiwan

    Yu-Fang Chen

  • DENSO AUTOMOTIVE Deutschland GmbH, Eching, Germany

    Chih-Hong Cheng

  • Institute of Computer Science, TU München, Munich, Germany

    Javier Esparza

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation