I agree that this site is using cookies. You can find further informations here.
X
Kroening, Daniel
273  results:
Search for persons X
?
1

Synthesising Programs with Non-trivial Constants:

Abate, Alessandro ; Barbosa, Haniel ; Barrett, Clark...
Journal of Automated Reasoning.  67 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
2

Certified reinforcement learning with logic guidance:

Hasanbeig, Hosein ; Kroening, Daniel ; Abate, Alessandro
Artificial Intelligence.  322 (2023)  - p. 103949 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Neural termination analysis:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Giacobbe, Mirco ; Kroening, Daniel ; Parsert, Julian - p. 633-645 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

LCRL: Certified Policy Synthesis via Logically-Constrained ..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Hasanbeig, Mohammadhosein ; Kroening, Daniel ; Abate, Alessandro - p. 217-231 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Enhancing active model learning with equivalence checking u..:

Yogananda Jeppu, Natasha ; Melham, Tom ; Kroening, Daniel
Formal Methods in System Design.  61 (2022)  2-3 - p. 164-197 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Shielding Atari Games with Bounded Prescience:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Giacobbe, Mirco ; Hasanbeig, Mohammadhosein ; Kroening, Daniel. - p. 1507-1509 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Exposing previously undetectable faults in deep neural netw..:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Dunn, Isaac ; Pouget, Hadrien ; Kroening, Daniel. - p. 56-66 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Explanations for Occluded Images:

, In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV),
Chockler, Hana ; Kroening, Daniel ; Sun, Youcheng - p. 1214-1223 , 2021
Link: https://doi.org/10.1109/..
 
?
9

A survey of safety and trustworthiness of deep neural netwo..:

Huang, Xiaowei ; Kroening, Daniel ; Ruan, Wenjie...
Computer Science Review.  37 (2020)  - p. 100270 , 2020
Link: https://doi.org/10.1016/..
 
?
10

Model checking boot code from AWS data centers:

Cook, Byron ; Khazem, Kareem ; Kroening, Daniel...
Formal Methods in System Design.  , 2020
Link: https://doi.org/10.1007/..
 
?
11

Explaining Image Classifiers Using Statistical Fault Locali..:

, In: Computer Vision – ECCV 2020; Lecture Notes in Computer Science,
Sun, Youcheng ; Chockler, Hana ; Huang, Xiaowei. - p. 391-406 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Cautious Reinforcement Learning with Logical Constraints:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,
Hasanbeig, Mohammadhosein ; Abate, Alessandro ; Kroening, Daniel - p. 483-491 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Learning concise models from long execution traces:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,
Jeppu, Natasha Yogananda ; Melham, Thomas ; Kroening, Daniel. - p. 1-6 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

The Taint Rabbit: Optimizing Generic Taint Analysis with Dy..:

, In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security,
Galea, John ; Kroening, Daniel - p. 622-636 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Using model checking tools to triage the severity of securi..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Cook, Byron ; Dobel, Bjorn ; Kroening, Daniel... - p. 185-193 , 2020
Link: https://doi.org/10.34727..
 
1-15