|
|
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 |
VSTTE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chukri Soueidi, Yliès Falcone |
Residual Runtime Verification via Reachability Analysis. |
VSTTE |
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. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cezara Dragoi, Patricio Inzaghi Pronesti |
A Sequentialization Procedure for Fault-Tolerant Protocols. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif |
Separating Separation Logic - Modular Verification of Red-Black Trees. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Iason Marmanis, Viktor Vafeiadis |
SMT-Based Verification of Persistency Invariants of Px86 Programs. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nico Naus, Freek Verbeek, Dale Walker, Binoy Ravindran |
A Formal Semantics for P-Code. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet |
Shellac: A Compiler Synthesizer for Concurrent Programs. |
VSTTE |
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. |
VSTTE |
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 |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Körner, Michael Leuschel |
Towards Practical Partial Order Reduction for High-Level Formalisms. |
VSTTE |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maryam Bagheri 0001, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar 0001 |
Partial Order Reduction for Timed Actors. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | William Weens, Thibaud Vazquez-Gonzalez, Louise Ben Salem-Knapp |
Modeling Round-Off Errors in Hydrodynamic Simulations. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Claire Dross, Johannes Kanig |
Making Proofs of Floating-Point Programs Accessible to Regular Developers. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Quantitative Monitoring of Software. |
VSTTE |
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. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Jorge A. Navas |
Abstract Interpretation of LLVM with a Region-Based Memory Model. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Smruti Padhy, Joe Stubbs |
Designing and Proving Properties of the Abaco Autoscaler Using TLA+. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
A Calculus for Multi-language Operational Semantics. |
VSTTE |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang |
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. |
VSTTE |
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 |
VSTTE |
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. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Bruno Dutertre, Ian A. Mason |
Verification of an Optimized NTT Algorithm. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Luca Negrini |
SARL: OO Framework Specification for Static Analysis. |
VSTTE |
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? |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Trindade, Lucas C. Cordeiro |
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Scott, Federico Mora, Vijay Ganesh |
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. |
VSTTE |
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 |
VSTTE |
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. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot |
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Panchekha, Zachary Tatlock |
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Garcia, Claude Michel, Michel Rueher |
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations. |
VSTTE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Zaliva, Ilia Zaichuk, Franz Franchetti |
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. |
VSTTE |
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. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Haines, Dirk Pattinson, Mukesh Tiwari |
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt F. H. Becker, Claude Marché |
Ghost Code in Action: Automated Verification of a Symbolic Interpreter. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Grebing, Jonas Klamroth, Mattias Ulbrich |
Seamless Interactive Program Verification. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Hajdu, Dejan Jovanovic |
solc-verify: A Modular Verifier for Solidity Smart Contracts. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maxwell Shinn |
Refinement Type Contracts for Verification of Scientific Investigative Software. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Homburg, Parasara Sridhar Duggirala |
Incremental Minimization of Symbolic Automata. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tevfik Bultan |
Quantifying Information Leakage Using Model Counting Constraint Solvers. |
VSTTE |
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. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel |
DCSynth: Guided Reactive Synthesis with Soft Requirements. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Sarah Winkler |
Loop Detection by Logically Constrained Term Rewriting. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
A Tree-Based Approach to Data Flow Proofs. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Zakrzewski 0001 |
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish |
Verified Certificate Checking for Counting Votes. |
VSTTE |
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). |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Coglio |
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars. |
VSTTE |
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. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert |
A Java Bytecode Formalisation. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz |
Executable Counterexamples in Software Model Checking. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Oberhauser |
Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
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. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pritom Rajkhowa, Fangzhen Lin |
Extending VIAP to Handle Array Programs. |
VSTTE |
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 |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok, Serdar Tasiran |
Practical Methods for Reasoning About Java 8's Functional Programming Features. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif |
Formalising Executable Specifications of Low-Level Systems. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
The Map Equality Domain. |
VSTTE |
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. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ran Chen, Jean-Jacques Lévy |
A Semi-automatic Proof of Strong Connectivity. |
VSTTE |
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. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Jeannerod, Claude Marché, Ralf Treinen |
A Formally Verified Interpreter for a Shell-Like Programming Language. |
VSTTE |
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. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kogtenkov |
Practical Void Safety. |
VSTTE |
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. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Doron Peled, Sean Sedwards |
Memory-Efficient Tactics for Randomized LTL Model Checking. |
VSTTE |
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. |
VSTTE |
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 |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marc Schoolderman |
Verifying Branch-Free Assembly Code in Why3. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich |
Proving JDK's Dual Pivot Quicksort Correct. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clément Fumex, Claude Marché, Yannick Moy |
Automating the Verification of Floating-Point Programs. |
VSTTE |
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. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Yvonne Rozier |
Specification: The Biggest Bottleneck in Formal Methods and Autonomy. |
VSTTE |
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. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich |
Relational Program Reasoning Using Compiler IR. |
VSTTE |
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. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Mário Pereira |
Producing All Ideals of a Forest, Formally (Verification Pearl). |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Matthias Dangl |
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Egor George Karpenkov, Karlheinz Friedberger, Dirk Beyer 0001 |
JavaSMT: A Unified Interface for SMT Solvers in Java. |
VSTTE |
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 |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi |
Automated Verification of Functional Correctness of Race-Free GPU Programs. |
VSTTE |
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. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Clochard, Léon Gondelman, Mário Pereira |
The Matrix Reproved (Verification Pearl). |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Oberhauser |
Order Reduction for Multi-core Interruptible Operating Systems. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kailiang Ji |
Resolution in Solving Graph Problems. |
VSTTE |
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 |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gang Tan, Greg Morrisett |
Bidirectional Grammars for Machine-Code Decoding and Encoding. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark Lawford |
Stupid Tool Tricks for Smart Model Based Design. |
VSTTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan |
AUSPICE: Automatic Safety Property Verification for Unmodified Executables. |
VSTTE |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 269 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|