| 51 |
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
17 |
5 years ago |
| 52 |
Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
|
🔮
The Ethereal
|
cs.LO
|
17 |
9 years ago |
| 53 |
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
|
👻
Ghosted
|
cs.CR
|
16 |
6 years ago |
| 54 |
Sound Approximation of Programs with Elementary Functions
Eva Darulova, Anastasia Volkova
|
👻
Ghosted
|
math.NA
|
15 |
7 years ago |
| 55 |
Decidable Synthesis of Programs with Uninterpreted Functions
Paul Krogmeier, Umang Mathur, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
14 |
6 years ago |
| 56 |
Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
14 |
7 years ago |
| 57 |
Efficient Parallel Strategy Improvement for Parity Games
John Fearnley
|
👻
Ghosted
|
cs.DS
|
14 |
8 years ago |
| 58 |
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Leonid Ryzhyk, Adam Walker
|
👻
Ghosted
|
cs.SE
|
14 |
9 years ago |
| 59 |
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
Amir M. Ben-Amram, Samir Genaim
|
👻
Ghosted
|
cs.PL
|
14 |
10 years ago |
| 60 |
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Zhengyang Lu, Stefan Siemer, ... (+4 more)
|
👻
Ghosted
|
cs.AI
|
14 |
2 years ago |
| 61 |
QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang, Fu Song, Jun Sun
|
👻
Ghosted
|
cs.LG
|
14 |
3 years ago |
| 62 |
LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
|
👻
Ghosted
|
cs.PL
|
13 |
2 years ago |
| 63 |
Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended Version
Kiran Gopinathan, Ilya Sergey
|
👻
Ghosted
|
cs.DS
|
13 |
5 years ago |
| 64 |
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
|
👻
Ghosted
|
cs.DS
|
13 |
10 years ago |
| 65 |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Eric Vin, Shun Kashiwa, ... (+8 more)
|
👻
Ghosted
|
cs.PL
|
12 |
2 years ago |
| 66 |
Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
|
🔮
The Ethereal
|
cs.DM
|
12 |
10 years ago |
| 67 |
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
João Santos Reis, Paul Crocker, Simão Melo de Sousa
|
👻
Ghosted
|
cs.PL
|
11 |
5 years ago |
| 68 |
Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
11 |
8 years ago |
| 69 |
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
|
👻
Ghosted
|
cs.CR
|
10 |
5 years ago |
| 70 |
Efficient Synthesis with Probabilistic Constraints
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
|
👻
Ghosted
|
cs.PL
|
10 |
6 years ago |
| 71 |
TarTar: A Timed Automata Repair Tool
Martin Koelbl, Stefan Leue, Thomas Wies
|
👻
Ghosted
|
cs.SE
|
9 |
6 years ago |
| 72 |
Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi, Justin Hsu
|
👻
Ghosted
|
cs.PL
|
9 |
7 years ago |
| 73 |
Abstract Interpretation with Unfoldings
Marcelo Sousa, César Rodríguez, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
9 |
8 years ago |
| 74 |
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun, Hongfei Fu, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
8 |
2 years ago |
| 75 |
Formal Specification and Verification of Solidity Contracts with Events
Ákos Hajdu, Dejan Jovanović, Gabriela Ciocarlie
|
👻
Ghosted
|
cs.PL
|
8 |
5 years ago |
| 76 |
Using SyGuS to Synthesize Reactive Motion Plans
Sarah Chasins, Julie L. Newcomb
|
👻
Ghosted
|
cs.PL
|
8 |
9 years ago |
| 77 |
Early Verification of Legal Compliance via Bounded Satisfiability Checking
Nick Feng, Lina Marsso, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
8 |
3 years ago |
| 78 |
Identification of Risk Significant Automotive Scenarios Under Hardware Failures
Mohammad Hejase, Arda Kurt, ... (+2 more)
|
👻
Ghosted
|
eess.SY
|
7 |
7 years ago |
| 79 |
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors
Ruihan Zhang, Jun Sun
|
👻
Ghosted
|
stat.ML
|
7 |
1 year ago |
| 80 |
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
7 |
1 year ago |
| 81 |
Certifying the Fairness of KNN in the Presence of Dataset Bias
Yannan Li, Jingbo Wang, Chao Wang
|
👻
Ghosted
|
cs.LG
|
7 |
2 years ago |
| 82 |
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
Ryotaro Banno, Kotaro Matsuoka, ... (+4 more)
|
👻
Ghosted
|
cs.CR
|
7 |
3 years ago |
| 83 |
Parsimonious Optimal Dynamic Partial Order Reduction
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)
|
👻
Ghosted
|
cs.PL
|
6 |
1 year ago |
| 84 |
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Michael Blondin, Javier Esparza, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
5 years ago |
| 85 |
On the Application of ISO 26262 in Control Design for Automated Vehicles
Georg Schildbach
|
👻
Ghosted
|
eess.SY
|
6 |
7 years ago |
| 86 |
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee, Monika Henzinger, ... (+3 more)
|
👻
Ghosted
|
cs.DS
|
6 |
7 years ago |
| 87 |
Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 88 |
Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, ... (+4 more)
|
👻
Ghosted
|
cs.PL
|
5 |
1 year ago |
| 89 |
Verification Algorithms for Automated Separation Logic Verifiers
Marco Eilers, Malte Schwerhoff, Peter Müller
|
👻
Ghosted
|
cs.PL
|
5 |
1 year ago |
| 90 |
Predictive Monitoring with Strong Trace Prefixes
Zhendong Ang, Umang Mathur
|
👻
Ghosted
|
cs.PL
|
5 |
1 year ago |
| 91 |
Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
2 years ago |
| 92 |
Lexicographic Ranking Supermartingales with Lazy Lower Bounds
Toru Takisaka, Libo Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
5 |
2 years ago |
| 93 |
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
|
👻
Ghosted
|
cs.PL
|
5 |
5 years ago |
| 94 |
Security-Aware Synthesis Using Delayed-Action Games
Mahmoud Elfar, Yu Wang, Miroslav Pajic
|
👻
Ghosted
|
cs.GT
|
5 |
7 years ago |
| 95 |
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
Peizun Liu, Thomas Wahl, Akash LaL
|
👻
Ghosted
|
cs.PL
|
5 |
6 years ago |
| 96 |
A Scalable Shannon Entropy Estimator
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
|
👻
Ghosted
|
cs.CR
|
5 |
3 years ago |
| 97 |
Fast Computation of Strong Control Dependencies
Marek Chalupa, David Klaška, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
4 |
5 years ago |
| 98 |
Skipping Refinement
Mitesh Jain, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
4 |
11 years ago |
| 99 |
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, ... (+5 more)
|
👻
Ghosted
|
cs.LG
|
4 |
1 year ago |
| 100 |
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |