| DNNV: A Framework for Deep Neural Network Verification
|
2021 |
Shriver, David |
| PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
|
2021 |
Khedr, Haitham |
| Summing up Smart Transitions
|
2021 |
Elad, Neta |
| Gobra: Modular Specification and Verification of Go Programs
|
2021 |
Wolf, Felix A. |
| Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
|
2021 |
Lee, Jaehun |
| Computing Bottom SCCs Symbolically Using Transition Guided Reduction
|
2021 |
Beneš, Nikola |
| Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata
|
2021 |
Akshay, S. |
| BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks
|
2021 |
Zhang, Yedi |
| Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities
|
2021 |
Itzhaky, Shachar |
| Stateless Model Checking Under a Reads-Value-From Equivalence
|
2021 |
Agarwal, Pratyush |
| Checking Data-Race Freedom of GPU Kernels, Compositionally
|
2021 |
Cogumbreiro, Tiago |
| An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation
|
2021 |
Yang, Zhengfeng |
| IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability
|
2021 |
André, Étienne |
| SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions
|
2021 |
Sibai, Hussein |
| Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security
|
2021 |
Eilers, Marco |
| Synthesis with Asymptotic Resource Bounds
|
2021 |
Hu, Qinheping |
| Program Sketching by Automatically Generating Mocks from Tests
|
2021 |
Bragg, Nate F. F. |
| Counterexample-Guided Partial Bounding for Recursive Function Synthesis
|
2021 |
Farzan, Azadeh |
| Balancing Automation and Control for Formal Verification of Microprocessors
|
2021 |
Goel, Shilpi |
| Automated Safety Verification of Programs Invoking Neural Networks
|
2021 |
Christakis, Maria |
Tag hinzufügen