Članki z zahtevami za javni dostop - Daniel KroeningVeč o tem
Ni na voljo nikjer: 1
Camera-laser projector stereo system based anti-collision system for robotic wheelchair users with cognitive impairment
A Natraj, S Natraj, S Waharte, D Kroening
2014 International Conference on Multisensor Fusion and Information …, 2014
Zahteve: UK Engineering and Physical Sciences Research Council
Na voljo nekje: 62
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
Computer Science Review 37, 100270, 2020
Zahteve: UK Engineering and Physical Sciences Research Council
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Zahteve: UK Engineering and Physical Sciences Research Council
Partial orders for efficient bounded model checking of concurrent software
J Alglave, D Kroening, M Tautschnig
International Conference on Computer Aided Verification, 141-157, 2013
Zahteve: UK Engineering and Physical Sciences Research Council
Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees
M Hasanbeig, Y Kantaros, A Abate, D Kroening, GJ Pappas, I Lee
2019 IEEE 58th conference on decision and control (CDC), 5338-5343, 2019
Zahteve: US Department of Defense, European Commission
Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
IJCAI-19, 2019
Zahteve: UK Engineering and Physical Sciences Research Council
Putting it all together–Formal verification of the VAMP
S Beyer, C Jacobi, D Kröning, D Leinenbach, WJ Paul
International Journal on Software Tools for Technology Transfer 8, 411-430, 2006
Zahteve: German Research Foundation
Don’t sit on the fence: A static analysis approach to automatic fence insertion
J Alglave, D Kroening, V Nimal, D Poetzl
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-38, 2017
Zahteve: UK Engineering and Physical Sciences Research Council
JBMC: A bounded model checking tool for verifying Java bytecode
L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik
International Conference on Computer Aided Verification, 183-190, 2018
Zahteve: European Commission
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
Zahteve: Swiss National Science Foundation
Ranking function synthesis for bit-vector relations
B Cook, D Kroening, P Rümmer, CM Wintersteiger
Formal Methods in System Design 43 (1), 93-120, 2013
Zahteve: Swiss National Science Foundation, UK Engineering and Physical Sciences …
Counterexample guided inductive synthesis modulo theories
A Abate, C David, P Kesseli, D Kroening, E Polgreen
International Conference on Computer Aided Verification, 270-288, 2018
Zahteve: European Commission, Royal Society UK
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, D Kroening, G Narayanaswamy, S Sharma
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Zahteve: UK Engineering and Physical Sciences Research Council, European Commission
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
Zahteve: UK Engineering and Physical Sciences Research Council
Automatic heap layout manipulation for exploitation
S Heelan, T Melham, D Kroening
27th USENIX Security Symposium (USENIX Security 18), 763-779, 2018
Zahteve: European Commission
Hardware verification using software analyzers
R Mukherjee, D Kroening, T Melham
2015 IEEE Computer Society Annual Symposium on VLSI, 7-12, 2015
Zahteve: UK Engineering and Physical Sciences Research Council
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
Zahteve: Swiss National Science Foundation
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
Zahteve: Swiss National Science Foundation
Verifying multi-threaded software with impact
B Wachter, D Kroening, J Ouaknine
2013 Formal Methods in Computer-Aided Design, 210-217, 2013
Zahteve: UK Engineering and Physical Sciences Research Council
Under-approximating loops in C programs for fast counterexample detection
D Kroening, M Lewis, G Weissenbacher
Formal Methods in System Design 47, 75-92, 2015
Zahteve: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
Podatke o objavi in financiranju samodejno določi računalniški program