default search action

combined dblp search
author search
venue search
publication search

ask others

12th VSTTE 2021: Los Angeles, CA, USA

> Home > Conferences and Workshops > VSTTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2021
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina:
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1

VSTTE 2021

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Henzinger21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Henzinger21
Thomas A. Henzinger:
Quantitative Monitoring of Software. 3-6
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DrossK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DrossK21
Claire Dross, Johannes Kanig:
Making Proofs of Floating-Point Programs Accessible to Regular Developers. 7-24
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/Cimini21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Cimini21
Matteo Cimini:
A Calculus for Multi-language Operational Semantics. 25-42
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BagheriSKHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BagheriSKHM21
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar:
Partial Order Reduction for Timed Actors. 43-60
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BaharisangariGN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BaharisangariGN21
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. 61-85
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PadhyS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PadhyS21
Smruti Padhy, Joe Stubbs:
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. 86-103
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KadronGPY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KadronGPY21
Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. 104-121
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GurfinkelN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GurfinkelN21
Arie Gurfinkel, Jorge A. Navas:
Abstract Interpretation of LLVM with a Region-Based Memory Model. 122-144

NSV 2021

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GeninPBYMKWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GeninPBYMKWS21
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt:
Formal Verification of Neural Network Controllers for Collision-Free Flight. 147-164
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BenmouhoubGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BenmouhoubGM21
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. 165-181
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/WeensVS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/WeensVS21
William Weens, Thibaud Vazquez-Gonzalez, Louise Ben Salem-Knapp:
Modeling Round-Off Errors in Hydrodynamic Simulations. 182-196

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.