| 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 |
| Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference
|
2021 |
Girol, Guillaume |
| Constraint-Based Relational Verification
|
2021 |
Unno, Hiroshi |
| Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning
|
2021 |
Cauli, Claudia |
| Adapting Behaviors via Reactive Synthesis
|
2021 |
Amram, Gal |
| 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 |
Tag hinzufügen