|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 269 publication records. Showing 269 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Akash Lal, Stefano Tonetta (eds.) |
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-031-25802-2 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Yliès Falcone |
Residual Runtime Verification via Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 148-166, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio 0001, Yong Li 0031, Moshe Y. Vardi, Shufang Zhu 0001 |
Compositional Safety LTL Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 1-19, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Patricio Inzaghi Pronesti |
A Sequentialization Procedure for Fault-Tolerant Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 52-71, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif |
Separating Separation Logic - Modular Verification of Red-Black Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 129-147, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Iason Marmanis, Viktor Vafeiadis |
SMT-Based Verification of Persistency Invariants of Px86 Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 92-110, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran |
A Formal Semantics for P-Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 111-128, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet |
Shellac: A Compiler Synthesizer for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 33-51, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Barroso, Mário Pereira, António Ravara |
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 20-32, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-030-95560-1 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Körner, Michael Leuschel |
Towards Practical Partial Order Reduction for High-Level Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 72-91, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Bagheri 0001, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar 0001 |
Partial Order Reduction for Timed Actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 43-60, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | William Weens, Thibaud Vazquez-Gonzalez, Louise Ben Salem-Knapp |
Modeling Round-Off Errors in Hydrodynamic Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 182-196, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claire Dross, Johannes Kanig |
Making Proofs of Floating-Point Programs Accessible to Regular Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 7-24, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Quantitative Monitoring of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 3-6, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu |
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 104-121, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Jorge A. Navas |
Abstract Interpretation of LLVM with a Region-Based Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 122-144, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Smruti Padhy, Joe Stubbs |
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 86-103, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu 0005 |
Uncertainty-Aware Signal Temporal Logic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 61-85, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel |
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 165-181, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 147-164, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
A Calculus for Multi-language Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: 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, pp. 25-42, 2021, Springer, 978-3-030-95560-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang |
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 124-143, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Jorge A. Navas (eds.) |
Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-030-41599-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jay Bosamiya, Sydney Gibson, Yao Li 0004, Bryan Parno, Chris Hawblitzel |
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 106-123, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Bruno Dutertre, Ian A. Mason |
Verification of an Optimized NTT Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 144-160, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Luca Negrini |
SARL: OO Framework Specification for Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 3-20, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | 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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 163-177, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Trindade, Lucas C. Cordeiro |
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 87-105, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Scott, Federico Mora, Vijay Ganesh |
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 68-86, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel (eds.) |
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-030-63617-3 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marko Kleine Büning, Carsten Sinz, David Faragó |
QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 21-32, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot |
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 221-238, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei |
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 50-67, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole |
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 178-195, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Panchekha, Zachary Tatlock |
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 213-220, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Garcia, Claude Michel, Michel Rueher |
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 196-212, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Zaliva, Ilia Zaichuk, Franz Franchetti |
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers, pp. 33-49, 2020, Springer, 978-3-030-63617-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger |
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 19-29, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Haines, Dirk Pattinson, Mukesh Tiwari |
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 36-53, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt F. H. Becker, Claude Marché |
Ghost Code in Action: Automated Verification of a Symbolic Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 107-123, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Grebing, Jonas Klamroth, Mattias Ulbrich |
Seamless Interactive Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 68-86, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Hajdu, Dejan Jovanovic |
solc-verify: A Modular Verifier for Solidity Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 161-179, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maxwell Shinn |
Refinement Type Contracts for Verification of Scientific Investigative Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 143-160, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Homburg, Parasara Sridhar Duggirala |
Incremental Minimization of Symbolic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 54-67, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
Quantifying Information Leakage Using Model Counting Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 30-35, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout |
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 1-18, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel |
DCSynth: Guided Reactive Synthesis with Soft Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 124-142, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuepeng Wang 0001, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles |
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 87-106, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier |
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, pp. 180-192, 2019, Springer, 978-3-030-41599-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Sarah Winkler |
Loop Detection by Logically Constrained Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 309-321, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
A Tree-Based Approach to Data Flow Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 1-16, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Zakrzewski 0001 |
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 229-247, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish |
Verified Certificate Checking for Counting Votes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 69-87, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess |
Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 279-290, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Coglio |
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 177-195, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho |
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 88-111, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert |
A Java Bytecode Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 135-154, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz |
Executable Counterexamples in Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 17-37, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 112-134, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Oberhauser |
Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 322-344, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran |
SideTrail: Verifying Time-Balancing of Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 215-228, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina |
Lattice-Based Refinement in Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 50-68, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robin Adams 0001, Sibylle Schupp |
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 196-214, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pritom Rajkhowa, Fangzhen Lin |
Extending VIAP to Handle Array Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 38-49, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Philipp Rümmer (eds.) |
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-030-03591-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok, Serdar Tasiran |
Practical Methods for Reasoning About Java 8's Functional Programming Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 267-278, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif |
Formalising Executable Specifications of Low-Level Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 155-176, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
The Map Equality Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 291-308, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders 0001, Mattias Ulbrich, Alexander Weigl |
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 248-266, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ran Chen, Jean-Jacques Lévy |
A Semi-automatic Proof of Strong Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 49-65, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz |
A Formal Analysis of the Compact Position Reporting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 19-34, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Jeannerod, Claude Marché, Ralf Treinen |
A Formally Verified Interpreter for a Shell-Like Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 1-18, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki 0001, Vijay Ganesh |
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 120-131, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kogtenkov |
Practical Void Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 132-151, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski |
An Abstraction Technique for Describing Concurrent Program Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 191-209, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Doron Peled, Sean Sedwards |
Memory-Efficient Tactics for Randomized LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 152-169, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Abe 0001, Tomoharu Ugawa, Toshiyuki Maeda |
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 170-190, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Paskevich, Thomas Wies (eds.) |
Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-319-72307-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc Schoolderman |
Verifying Branch-Free Assembly Code in Why3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 66-83, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich |
Proving JDK's Dual Pivot Quicksort Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 35-48, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clément Fumex, Claude Marché, Yannick Moy |
Automating the Verification of Floating-Point Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 102-119, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Rieu-Helft, Claude Marché, Guillaume Melquiond |
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, pp. 84-101, 2017, Springer, 978-3-319-72307-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Yvonne Rozier |
Specification: The Biggest Bottleneck in Formal Methods and Autonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 8-26, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki 0001 |
Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 129-138, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich |
Relational Program Reasoning Using Compiler IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 149-165, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman |
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 119-128, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Mário Pereira |
Producing All Ideals of a Forest, Formally (Verification Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 46-55, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Matthias Dangl |
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 181-198, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer 0001 |
JavaSMT: A Unified Interface for SMT Solvers in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 139-148, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Sanjit A. Seshia (eds.) |
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![Springer, 978-3-319-29612-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi |
Automated Verification of Functional Correctness of Race-Free GPU Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 90-106, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb |
Constructing Semantic Models of Programs with the Software Analysis Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 56-72, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Clochard, Léon Gondelman, Mário Pereira |
The Matrix Reproved (Verification Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 107-118, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Oberhauser |
Order Reduction for Multi-core Interruptible Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 27-45, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kailiang Ji |
Resolution in Solving Graph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 166-180, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sandrine Blazy, Marsha Chechik (eds.) |
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![, 978-3-319-48868-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan, Greg Morrisett |
Bidirectional Grammars for Machine-Code Decoding and Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 73-89, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark Lawford |
Stupid Tool Tricks for Smart Model Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, pp. 1-7, 2016, 978-3-319-48868-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan |
AUSPICE: Automatic Safety Property Verification for Unmodified Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, pp. 202-222, 2015, Springer, 978-3-319-29612-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 269 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|