default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th VSTTE 2021: Los Angeles, CA, USA
- 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
- Thomas A. Henzinger:
Quantitative Monitoring of Software. 3-6 - Claire Dross, Johannes Kanig:
Making Proofs of Floating-Point Programs Accessible to Regular Developers. 7-24 - Matteo Cimini:
A Calculus for Multi-language Operational Semantics. 25-42 - Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar:
Partial Order Reduction for Timed Actors. 43-60 - Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. 61-85 - Smruti Padhy, Joe Stubbs:
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. 86-103 - Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. 104-121 - Arie Gurfinkel, Jorge A. Navas:
Abstract Interpretation of LLVM with a Region-Based Memory Model. 122-144
NSV 2021
- 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 - Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. 165-181 - 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.
last updated on 2024-10-08 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
