![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 276 matches
- 2024
- Andrew Reynolds, Serdar Tasiran:
Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14095, Springer 2024, ISBN 978-3-031-66063-4 [contents] - 2023
- Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina:
Picky CDCL: SMT-Solving with Flexible Literal Selection. VSTTE 2023: 1-19 - Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou:
Safety Performance of Neural Networks in the Presence of Covariate Shift. VSTTE 2023: 20-30 - Joshua M. Cohen
, Andrew W. Appel
:
Specifying and Verifying a Real-World Packet Error-Correction System. VSTTE 2023: 44-63 - Yakoub Nemouchi
, Sriharsha Etigowni, Alexander J. Zolan
, Richard Macwan:
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL. VSTTE 2023: 64-84 - Marcus Rossel, Shaokai Lin, Marten Lohstroh
, Jerónimo Castrillón
, Andrés Goens:
Provable Determinism for Software in Cyber-Physical Systems. VSTTE 2023: 85-107 - Joseph Scott
, Guanting Pan
, Piyush Jha
, Elias B. Khalil
, Vijay Ganesh
:
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE 2023: 31-43 - Akash Lal, Stefano Tonetta
:
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13800, Springer 2023, ISBN 978-3-031-25802-2 [contents] - 2022
- Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio
, Yong Li, Moshe Y. Vardi, Shufang Zhu
:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19 - Pedro Barroso, Mário Pereira
, António Ravara
:
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. VSTTE 2022: 20-32 - Christopher K. Chen
, Margo I. Seltzer
, Mark R. Greenstreet
:
Shellac: A Compiler Synthesizer for Concurrent Programs. VSTTE 2022: 33-51 - Cezara Dragoi, Patricio Inzaghi Pronesti
:
A Sequentialization Procedure for Fault-Tolerant Protocols. VSTTE 2022: 52-71 - Philipp Körner
, Michael Leuschel
:
Towards Practical Partial Order Reduction for High-Level Formalisms. VSTTE 2022: 72-91 - Iason Marmanis
, Viktor Vafeiadis:
SMT-Based Verification of Persistency Invariants of Px86 Programs. VSTTE 2022: 92-110 - Nico Naus
, Freek Verbeek
, Dale Walker, Binoy Ravindran
:
A Formal Semantics for P-Code. VSTTE 2022: 111-128 - Gerhard Schellhorn, Stefan Bodenmüller
, Martin Bitterlich, Wolfgang Reif:
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE 2022: 129-147 - Chukri Soueidi
, Yliès Falcone
:
Residual Runtime Verification via Reachability Analysis. VSTTE 2022: 148-166 - 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 [contents] - 2021
- Maryam Bagheri
, Marjan Sirjani
, Ehsan Khamespanah
, Hossein Hojjat
, Ali Movaghar
:
Partial Order Reduction for Timed Actors. VSTTE 2021: 43-60 - Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider
, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE 2021: 61-85 - Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel:
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. VSTTE 2021: 165-181 - Matteo Cimini
:
A Calculus for Multi-language Operational Semantics. VSTTE 2021: 25-42 - Claire Dross, Johannes Kanig:
Making Proofs of Floating-Point Programs Accessible to Regular Developers. VSTTE 2021: 7-24 - 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. VSTTE 2021: 147-164 - Arie Gurfinkel, Jorge A. Navas:
Abstract Interpretation of LLVM with a Region-Based Memory Model. VSTTE 2021: 122-144 - Thomas A. Henzinger:
Quantitative Monitoring of Software. VSTTE 2021: 3-6 - Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE 2021: 104-121 - Smruti Padhy, Joe Stubbs:
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. VSTTE 2021: 86-103 - William Weens, Thibaud Vazquez-Gonzalez, Louise Ben Salem-Knapp:
Modeling Round-Off Errors in Hydrodynamic Simulations. VSTTE 2021: 182-196 - 2020
- Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
:
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. VSTTE 2020: 50-67
skipping 246 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-28 23:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint