default search action

combined dblp search
author search
venue search
publication search

ask others

14th VSTTE 2022: Trento, Italy

> 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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2022
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
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BansalGSLVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BansalGSLVZ22
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BarrosoPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BarrosoPR22
Pedro Barroso, Mário Pereira, António Ravara:
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. 20-32
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ChenSG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ChenSG22
Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet:
Shellac: A Compiler Synthesizer for Concurrent Programs. 33-51
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/DragoiP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/DragoiP22
Cezara Dragoi, Patricio Inzaghi Pronesti:
A Sequentialization Procedure for Fault-Tolerant Protocols. 52-71
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KornerL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KornerL22
Philipp Körner, Michael Leuschel:
Towards Practical Partial Order Reduction for High-Level Formalisms. 72-91
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/MarmanisV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/MarmanisV22
Iason Marmanis, Viktor Vafeiadis:
SMT-Based Verification of Persistency Invariants of Px86 Programs. 92-110
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/NausVWR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/NausVWR22
Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran:
A Formal Semantics for P-Code. 111-128
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SchellhornBBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SchellhornBBR22
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif:
Separating Separation Logic - Modular Verification of Red-Black Trees. 129-147
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/SoueidiF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/SoueidiF22
Chukri Soueidi, Yliès Falcone:
Residual Runtime Verification via Reachability Analysis. 148-166

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.