| 1 |
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz, Clark Barrett, ... (+3 more)
|
👻
Ghosted
|
cs.AI
|
2.0K |
9 years ago |
| 2 |
Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, ... (+2 more)
|
👻
Ghosted
|
cs.AI
|
989 |
9 years ago |
| 3 |
Ascertaining Uncertainty for Efficient Exact Cache Analysis
Valentin Touzeau, Claire Maïza, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
816 |
8 years ago |
| 4 |
A storm is Coming: A Modern Probabilistic Model Checker
Christian Dehnert, Sebastian Junges, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
427 |
9 years ago |
| 5 |
Termination Analysis of Probabilistic Programs through Positivstellensatz's
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
|
👻
Ghosted
|
cs.PL
|
114 |
9 years ago |
| 6 |
Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, ... (+2 more)
|
👻
Ghosted
|
cs.NI
|
89 |
9 years ago |
| 7 |
Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
|
👻
Ghosted
|
cs.PL
|
67 |
10 years ago |
| 8 |
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
Cheng Wen, Jialun Cao, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
67 |
1 year ago |
| 9 |
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel J. Fremont, Johnathan Chiu, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
58 |
5 years ago |
| 10 |
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
|
👻
Ghosted
|
cs.PL
|
55 |
9 years ago |
| 11 |
Synthesizing Probabilistic Invariants via Doob's Decomposition
Gilles Barthe, Thomas Espitau, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
53 |
9 years ago |
| 12 |
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
51 |
7 years ago |
| 13 |
Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
50 |
6 years ago |
| 14 |
The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications
Rahul Kumar Bhadani, Jonathan Sprinkle, Matthew Bunting
|
👻
Ghosted
|
cs.RO
|
46 |
7 years ago |
| 15 |
Verifying Asynchronous Interactions via Communicating Session Automata
Julien Lange, Nobuko Yoshida
|
👻
Ghosted
|
cs.PL
|
45 |
7 years ago |
| 16 |
On Multiphase-Linear Ranking Functions
Amir M. Ben-Amram, Samir Genaim
|
👻
Ghosted
|
cs.PL
|
44 |
9 years ago |
| 17 |
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
Idan Berkovits, Marijana Lazic, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
44 |
6 years ago |
| 18 |
Automating Induction for Solving Horn Clauses
Hiroshi Unno, Sho Torii
|
👻
Ghosted
|
cs.PL
|
43 |
9 years ago |
| 19 |
Logic-based Clustering and Learning for Time-Series Data
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
42 |
9 years ago |
| 20 |
SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
42 |
8 years ago |
| 21 |
SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
40 |
9 years ago |
| 22 |
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution
Peter Müller, Malte Schwerhoff, Alexander J. Summers
|
👻
Ghosted
|
cs.PL
|
39 |
10 years ago |
| 23 |
Ownership guided C to Rust translation
Hanliang Zhang, Cristina David, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
39 |
3 years ago |
| 24 |
Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
38 |
7 years ago |
| 25 |
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
37 |
11 years ago |
| 26 |
Safety-Aware Apprenticeship Learning
Weichao Zhou, Wenchao Li
|
👻
Ghosted
|
cs.AI
|
36 |
8 years ago |
| 27 |
Proving linearizability using forward simulations
Ahmed Bouajjani, Michael Emmi, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
35 |
9 years ago |
| 28 |
Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
35 |
6 years ago |
| 29 |
Non-polynomial Worst-Case Analysis of Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
|
👻
Ghosted
|
cs.PL
|
32 |
8 years ago |
| 30 |
Proving Unrealizability for Syntax-Guided Synthesis
Qinheping Hu, Jason Breck, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
30 |
6 years ago |
| 31 |
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
30 |
6 years ago |
| 32 |
Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
29 |
6 years ago |
| 33 |
Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, ... (+3 more)
|
👻
Ghosted
|
cs.CR
|
29 |
5 years ago |
| 34 |
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
|
👻
Ghosted
|
cs.AI
|
29 |
5 years ago |
| 35 |
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
|
👻
Ghosted
|
cs.PL
|
28 |
8 years ago |
| 36 |
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
|
👻
Ghosted
|
cs.PL
|
21 |
9 years ago |
| 37 |
Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi, Edward Griffor
|
👻
Ghosted
|
cs.NI
|
21 |
7 years ago |
| 38 |
Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
|
👻
Ghosted
|
cs.PL
|
21 |
6 years ago |
| 39 |
Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
|
👻
Ghosted
|
cs.PL
|
20 |
6 years ago |
| 40 |
Theory Exploration Powered By Deductive Synthesis
Eytan Singher, Shachar Itzhaky
|
👻
Ghosted
|
cs.PL
|
20 |
5 years ago |
| 41 |
Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
18 |
7 years ago |
| 42 |
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
Lenny Truong, Steven Herbst, ... (+9 more)
|
👻
Ghosted
|
cs.SE
|
18 |
5 years ago |
| 43 |
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
Yangge Li, Haoqing Zhu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
18 |
3 years ago |
| 44 |
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
17 |
5 years ago |
| 45 |
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
|
👻
Ghosted
|
cs.CR
|
16 |
6 years ago |
| 46 |
Sound Approximation of Programs with Elementary Functions
Eva Darulova, Anastasia Volkova
|
👻
Ghosted
|
math.NA
|
15 |
7 years ago |
| 47 |
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
Amir M. Ben-Amram, Samir Genaim
|
👻
Ghosted
|
cs.PL
|
14 |
10 years ago |
| 48 |
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk, Adam Walker
|
👻
Ghosted
|
cs.SE
|
14 |
9 years ago |
| 49 |
Efficient Parallel Strategy Improvement for Parity Games
John Fearnley
|
👻
Ghosted
|
cs.DS
|
14 |
8 years ago |
| 50 |
Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
14 |
7 years ago |