For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

12th VSTTE 2020: 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/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2020
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel:
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12549, Springer 2020, ISBN 978-3-030-63617-3

VSTTE 2020

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/FerraraN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FerraraN20
Pietro Ferrara, Luca Negrini:
SARL: OO Framework Specification for Static Analysis. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BuningSF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BuningSF20
Marko Kleine Büning, Carsten Sinz, David Faragó:
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. 21-32
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ZalivaZF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ZalivaZF20
Vadim Zaliva, Ilia Zaichuk, Franz Franchetti:
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. 33-49
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AthanasiouWDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AthanasiouWDF20
Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei:
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. 50-67
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ScottMG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ScottMG20
Joseph Scott, Federico Mora, Vijay Ganesh:
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. 68-86
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TrindadeC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TrindadeC20
Alessandro Trindade, Lucas C. Cordeiro:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. 87-105
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BosamiyaGLPH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BosamiyaGLPH20
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel:
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. 106-123
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/MolaviSDB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/MolaviSDB20
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang:
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. 124-143
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NavasDM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NavasDM20
Jorge A. Navas, Bruno Dutertre, Ian A. Mason:
Verification of an Optimized NTT Algorithm. 144-160

NSV 2020

- view
  authority control:
- export record
  dblp key:
  - conf/vstte/JezequelGMII20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/JezequelGMII20
Fabienne Jézéquel, Stef Graillat, Daichi Mukunoki, Toshiyuki Imamura, Roman Iakymchuk:
Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results? 163-177
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GadelhaCN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GadelhaCN20
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. 178-195
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/GarciaMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/GarciaMR20
Rémy Garcia, Claude Michel, Michel Rueher:
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. 196-212
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PanchekhaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PanchekhaT20
Pavel Panchekha, Zachary Tatlock:
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. 213-220
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KabiGMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KabiGMP20
Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. 221-238

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.