default search action

combined dblp search
author search
venue search
publication search

ask others

15th VSTTE 2023: Ames, IA, 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/premi/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/premi/2023
Pradipta Maji, Tingwen Huang, Nikhil R. Pal, Santanu Chaudhury, Rajat K. De:
Pattern Recognition and Machine Intelligence - 10th International Conference, PReMI 2023, Kolkata, India, December 12-15, 2023, Proceedings. Lecture Notes in Computer Science 14301, Springer 2023, ISBN 978-3-031-45169-0
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BritikovHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BritikovHS23
Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina:
Picky CDCL: SMT-Solving with Flexible Literal Selection. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChengRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChengRT23
Chih-Hong Cheng, Harald Ruess, Konstantinos Theodorou:
Safety Performance of Neural Networks in the Presence of Covariate Shift. 20-30
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ScottPJKG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ScottPJKG23
Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh:
Pierce: A Testing Tool for Neural Network Verification Solvers. 31-43
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/CohenA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/CohenA23
Joshua M. Cohen, Andrew W. Appel:
Specifying and Verifying a Real-World Packet Error-Correction System. 44-63
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/NemouchiEZM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NemouchiEZM23
Yakoub Nemouchi, Sriharsha Etigowni, Alexander J. Zolan, Richard Macwan:
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL. 64-84
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/RosselLLCG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/RosselLLCG23
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens:
Provable Determinism for Software in Cyber-Physical Systems. 85-107

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.