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 |
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 |
Scalable Polyhedral Verification of Recurrent Neural Networks
|
2021 |
Ryou, Wonryong |
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning
|
2021 |
Ivanov, Radoslav |
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
|
2021 |
Armstrong, Alasdair |
Delay-Bounded Scheduling Without Delay!
|
2021 |
Johnson, Andrew |
GenMC: A Model Checker for Weak Memory Models
|
2021 |
Kokologiannakis, Michalis |
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
|
2021 |
Zhang, Zhenya |
A Temporal Logic for Asynchronous Hyperproperties
|
2021 |
Baumeister, Jan |