| Balancing Automation and Control for Formal Verification of Microprocessors
|
2021 |
Goel, Shilpi |
| Automated Safety Verification of Programs Invoking Neural Networks
|
2021 |
Christakis, Maria |
| Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability
|
2021 |
Tran, Hoang-Dung |
| Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
|
2021 |
Wang, Qiuye |
| Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
|
2021 |
Mover, Sergio |
| Formally Verified Switching Logic for Recoverabilit of Aircraft Controller
|
2021 |
Lal, Ratan |
| Verified Cryptographic Code for Everybody
|
2021 |
Boston, Brett |
| PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
|
2021 |
Andriushchenko, Roman |
| Causality-Based Game Solving
|
2021 |
Baier, Christel |
| 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. |
| Algebraic Program Analysis
|
2021 |
Kincaid, Zachary |
| NNrepair: Constraint-Based Repair of Neural Network Classifiers
|
2021 |
Usman, Muhammad |
| Programmable Program Synthesis
|
2021 |
D’Antoni, Loris |
| Robustness Verification of Quantum Classifiers
|
2021 |
Guan, Ji |
Tag hinzufügen