| LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning | 0 | 0.34 | 2022 |
| Deepsynth: Automata Synthesis For Automatic Task Segmentation In Deep Reinforcement Learning | 0 | 0.34 | 2021 |
| Explanations for Occluded Images. | 0 | 0.34 | 2021 |
| Unbounded-Time Safety Verification Of Guarded Lti Models With Inputs By Abstract Acceleration | 0 | 0.34 | 2021 |
| Exposing previously undetectable faults in deep neural networks | 0 | 0.34 | 2021 |
| Ranking Policy Decisions. | 0 | 0.34 | 2021 |
| Using model checking tools to triage the severity of security bugs in the Xen hypervisor | 0 | 0.34 | 2020 |
| Deep Reinforcement Learning with Temporal Logics | 0 | 0.34 | 2020 |
| Structural test coverage criteria for deep neural networks | 2 | 0.38 | 2019 |
| JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). | 0 | 0.34 | 2019 |
| Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training. | 2 | 0.36 | 2019 |
| Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. | 2 | 0.40 | 2019 |
| Efficient verification of multi-property designs (The benefit of wrong assumptions) | 1 | 0.39 | 2018 |
| Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. | 1 | 0.34 | 2018 |
| Effective Verification for Low-Level Software with Competing Interrupts. | 1 | 0.48 | 2018 |
| Concolic Testing for Deep Neural Networks. | 45 | 1.78 | 2018 |
| Logically-Constrained Neural Fitted Q-iteration | 0 | 0.34 | 2018 |
| Verification of tree-based hierarchical read-copy update in the Linux kernel | 3 | 0.36 | 2018 |
| Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. | 0 | 0.34 | 2018 |
| Kayak: Safe Semantic Refactoring to Java Streams. | 1 | 0.34 | 2017 |
| Incremental bounded model checking for embedded software. | 4 | 0.43 | 2017 |
| Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. | 6 | 0.48 | 2017 |
| Modular Demand-Driven Analysis of Semantic Difference for Program Versions. | 1 | 0.36 | 2017 |
| Automated Formal Synthesis Of Digital Controllers For State-Space Physical Plants | 6 | 0.43 | 2017 |
| Preface: Special Issue on Interpolation. | 0 | 0.34 | 2016 |
| Unbounded Safety Verification For Hardware Using Software Analyzers | 1 | 0.42 | 2016 |
| Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models. | 3 | 0.37 | 2016 |
| Towards Automated Bounded Model Checking of API Implementations. | 0 | 0.34 | 2016 |
| Sound static deadlock analysis for C/Pthreads. | 3 | 0.39 | 2016 |
| Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps | 0 | 0.34 | 2016 |
| Sound Static Deadlock Analysis for C/Pthreads (Extended Version). | 1 | 0.35 | 2016 |
| Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. | 7 | 0.42 | 2015 |
| Property-Driven Fence Insertion using Reorder Bounded Model Checking. | 6 | 0.46 | 2015 |
| Successful Use of Incremental BMC in the Automotive Industry | 3 | 0.39 | 2015 |
| Unfolding-based Partial Order Reduction. | 10 | 0.54 | 2015 |
| On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. | 4 | 0.42 | 2015 |
| Accelerating Invariant Generation. | 2 | 0.37 | 2015 |
| Learning the Language of Error. | 5 | 0.45 | 2015 |
| From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles | 0 | 0.34 | 2015 |
| Using Program Synthesis for Program Analysis | 7 | 0.48 | 2015 |
| Equivalence Checking Using Trace Partitioning | 1 | 0.35 | 2015 |
| Safety Verification and Refutation by k-Invariants and k-Induction. | 12 | 0.51 | 2015 |
| Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). | 0 | 0.34 | 2014 |
| Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. | 8 | 0.47 | 2014 |
| A Widening Approach to Multithreaded Program Verification. | 13 | 0.61 | 2014 |
| Proving Safety with Trace Automata and Bounded Model Checking. | 5 | 0.40 | 2014 |
| Abstract satisfaction | 5 | 0.39 | 2014 |
| Accelerated test execution using GPUs | 6 | 0.51 | 2014 |
| Camera-laser projector stereo system based anti-collision system for robotic wheelchair users with cognitive impairment | 0 | 0.34 | 2014 |
| Abstract conflict driven learning | 13 | 0.57 | 2013 |
