| NNV: The Neural Network Verification Tool for Deep Neural Networks and Leaming-Enabled Cyber-Physical Systems
|
2020 |
Tran, Hoang-Dung |
| Verification of Deep Convolutional Neural Networks Using ImageStars
|
2020 |
Tran, Hoang-Dung |
| HAMPA: Solver-Aided Recency-Aware Replication
|
2020 |
Li, Xiao |
| fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
|
2020 |
Truong, Lenny |
| Approximate Counting of Minimal Unsatisfiable Subsets
|
2020 |
Bendik, Jaroslav |
| Nonlinear Craig Interpolant Generation
|
2020 |
Gan, Ting |
| Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
|
2020 |
Slivovsky, Friedrich |
| AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
|
2020 |
Benes, Nikola |
| A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation
|
2020 |
Chen, Xin |
| Reachability Analysis Using Message Passing over Tree Decompositions
|
2020 |
Sankaranarayanan, Sriram |
| Synthesis of Super-Optimized Smart Contracts Using Max-SMT
|
2020 |
Albert, Elvira |
| Parameterized Verification of Systems with Global Synchronization and Guards
|
2020 |
Jaber, Nouraldin |
| Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
|
2020 |
Schemmel, Daniel |
| SAW: A Tool for Safety Analysis of Weakly-Hard Systems
|
2020 |
Huang, Chao |
| Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
|
2020 |
Fan, Chuchu |
| An Abstraction-Based Framework for Neural Network Verification
|
2020 |
Elboher, Yizhak Yisrael |
| Improved Geometric Path Enumeration for Verifying RelLU Neural Networks
|
2020 |
Bak, Stanley |
| Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VERIFAI
|
2020 |
Fremont, Daniel J. |
| Stratified Abstraction of Access Control Policies
|
2020 |
Backes, John |
| Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
|
2020 |
Nagar, Kartik |
Tag hinzufügen