465 results on '"Daniel Kroening"'
Search Results
2. LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.
3. Neural termination analysis.
4. Active Learning of Abstract System Models from Traces using Model Checking.
5. Explanations for Occluded Images.
6. Ranking Policy Decisions.
7. Exposing previously undetectable faults in deep neural networks.
8. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
9. Software Verification.
10. Deep Reinforcement Learning with Temporal Logics.
11. Cautious Reinforcement Learning with Logical Constraints.
12. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation.
13. Explaining Image Classifiers Using Statistical Fault Localization.
14. Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
15. Learning Concise Models from Long Execution Traces.
16. Shielding Atari Games with Bounded Prescience.
17. DeepConcolic: testing and debugging deep neural networks.
18. Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
19. Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters.
20. JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution).
21. Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees.
22. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.
23. Counterexample Guided Inductive Synthesis Modulo Theories.
24. Model Checking Boot Code from AWS Data Centers.
25. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
26. Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.
27. Automatic Heap Layout Manipulation for Exploitation.
28. Concolic testing for deep neural networks.
29. Efficient verification of multi-property designs (The benefit of wrong assumptions).
30. Verification of tree-based hierarchical read-copy update in the Linux kernel.
31. Logically-Constrained Neural Fitted Q-iteration.
32. Functional Requirements-Based Automated Testing for Avionics.
33. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
34. Independence Abstractions and Models of Concurrency.
35. Abstract Interpretation with Unfoldings.
36. Sound Numerical Computations in Abstract Acceleration.
37. Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
38. Modular Demand-Driven Analysis of Semantic Difference for Program Versions.
39. SC-square: when Satisfiability Checking and Symbolic Computation join forces.
40. DSSynth: an automated digital controller synthesis tool for physical plants.
41. Verifying digital systems with MATLAB.
42. Lifting CDCL to Template-Based Abstract Domains for Program Verification.
43. Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.
44. Assisted Coverage Closure.
45. The virtues of conflict: analysing modern concurrency.
46. Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.
47. Danger Invariants.
48. Probabilistic Fault Localisation.
49. Automatic Generation of Propagation Complete SAT Encodings.
50. SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.