| 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 |
An Abstraction-Based Framework for Neural Network Verification
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
|
🔮
The Ethereal
|
cs.FL
|
135 |
6 years ago |
| 6 |
Termination Analysis of Probabilistic Programs through Positivstellensatz's
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
|
👻
Ghosted
|
cs.PL
|
114 |
9 years ago |
| 7 |
Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, ... (+2 more)
|
👻
Ghosted
|
cs.NI
|
89 |
9 years ago |
| 8 |
Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
|
👻
Ghosted
|
cs.PL
|
67 |
10 years ago |
| 9 |
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 |
| 10 |
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 |
| 11 |
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
|
👻
Ghosted
|
cs.PL
|
55 |
9 years ago |
| 12 |
Synthesizing Probabilistic Invariants via Doob's Decomposition
Gilles Barthe, Thomas Espitau, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
53 |
9 years ago |
| 13 |
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
51 |
7 years ago |
| 14 |
Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
50 |
6 years ago |
| 15 |
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 |
| 16 |
Verifying Asynchronous Interactions via Communicating Session Automata
Julien Lange, Nobuko Yoshida
|
👻
Ghosted
|
cs.PL
|
45 |
7 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 |
On Multiphase-Linear Ranking Functions
Amir M. Ben-Amram, Samir Genaim
|
👻
Ghosted
|
cs.PL
|
44 |
9 years ago |
| 19 |
Automating Induction for Solving Horn Clauses
Hiroshi Unno, Sho Torii
|
👻
Ghosted
|
cs.PL
|
43 |
9 years ago |
| 20 |
SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
42 |
8 years ago |
| 21 |
Logic-based Clustering and Learning for Time-Series Data
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
42 |
9 years ago |
| 22 |
SyGuS-Comp 2016: Results and Analysis
Rajeev Alur, Dana Fisman, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
40 |
9 years ago |
| 23 |
Ownership guided C to Rust translation
Hanliang Zhang, Cristina David, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
39 |
3 years ago |
| 24 |
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution
Peter Müller, Malte Schwerhoff, Alexander J. Summers
|
👻
Ghosted
|
cs.PL
|
39 |
10 years ago |
| 25 |
Reducing asynchrony to synchronized rounds
Andrei Damien, Cezara Dragoi, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
38 |
7 years ago |
| 26 |
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
37 |
11 years ago |
| 27 |
Safety-Aware Apprenticeship Learning
Weichao Zhou, Wenchao Li
|
👻
Ghosted
|
cs.AI
|
36 |
8 years ago |
| 28 |
Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
|
🔮
The Ethereal
|
cs.FL
|
36 |
9 years ago |
| 29 |
Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
35 |
6 years ago |
| 30 |
Proving linearizability using forward simulations
Ahmed Bouajjani, Michael Emmi, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
35 |
9 years ago |
| 31 |
Non-polynomial Worst-Case Analysis of Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
|
👻
Ghosted
|
cs.PL
|
32 |
8 years ago |
| 32 |
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
30 |
6 years ago |
| 33 |
Proving Unrealizability for Syntax-Guided Synthesis
Qinheping Hu, Jason Breck, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
30 |
6 years ago |
| 34 |
Enforcing Almost-Sure Reachability in POMDPs
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
|
👻
Ghosted
|
cs.AI
|
29 |
5 years ago |
| 35 |
Validation of Abstract Side-Channel Models for Computer Architectures
Hamed Nemati, Pablo Buiras, ... (+3 more)
|
👻
Ghosted
|
cs.CR
|
29 |
5 years ago |
| 36 |
Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
29 |
6 years ago |
| 37 |
Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
6 years ago |
| 38 |
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds
Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar
|
👻
Ghosted
|
cs.PL
|
28 |
8 years ago |
| 39 |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
|
🔮
The Ethereal
|
cs.LO
|
25 |
9 years ago |
| 40 |
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
5 years ago |
| 41 |
Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
|
👻
Ghosted
|
cs.PL
|
21 |
6 years ago |
| 42 |
Robust Safety for Autonomous Vehicles through Reconfigurable Networking
Khalid Halba, Charif Mahmoudi, Edward Griffor
|
👻
Ghosted
|
cs.NI
|
21 |
7 years ago |
| 43 |
Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad, Alvin Cheung
|
👻
Ghosted
|
cs.PL
|
21 |
9 years ago |
| 44 |
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
|
🔮
The Ethereal
|
cs.LO
|
21 |
3 years ago |
| 45 |
Theory Exploration Powered By Deductive Synthesis
Eytan Singher, Shachar Itzhaky
|
👻
Ghosted
|
cs.PL
|
20 |
5 years ago |
| 46 |
Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
|
👻
Ghosted
|
cs.PL
|
20 |
6 years ago |
| 47 |
Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
19 |
2 years ago |
| 48 |
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 |
| 49 |
Learning Abstractions for Program Synthesis
Xinyu Wang, Greg Anderson, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
18 |
7 years ago |
| 50 |
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 |