Straipsniai su viešo pasiekiamumo įpareigojimais - Maria ChristakisSužinokite daugiau
Kur nors pasiekiama: 27
Harvey: A greybox fuzzer for smart contracts
V Wüstholz, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Įpareigojimai: German Research Foundation
Perfectly parallel fairness certification of neural networks
C Urban, M Christakis, V Wüstholz, F Zhang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
Įpareigojimai: German Research Foundation
Targeted greybox fuzzing with static lookahead analysis
V Wüstholz, M Christakis
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Įpareigojimai: German Research Foundation
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
Proceedings of the 28th ACM joint meeting on European software engineering …, 2020
Įpareigojimai: German Research Foundation
Differentially testing soundness and precision of program analyzers
C Klinger, M Christakis, V Wüstholz
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
Įpareigojimai: German Research Foundation
Deepsearch: A simple and effective blackbox attack for deep neural networks
F Zhang, SP Chowdhury, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Įpareigojimai: German Research Foundation
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
S Wesley, M Christakis, JA Navas, R Trefler, V Wüstholz, A Gurfinkel
Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022
Įpareigojimai: US National Science Foundation, Natural Sciences and Engineering Research …
Cfar: A tool to increase communication, productivity, and review quality in collaborative code reviews
AZ Henley, K Muçlu, M Christakis, SD Fleming, C Bird
Proceedings of the 2018 CHI conference on human factors in computing systems …, 2018
Įpareigojimai: US National Science Foundation
Metamorphic testing of Datalog engines
MN Mansur, M Christakis, V Wüstholz
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
Įpareigojimai: German Research Foundation
Failure-directed program trimming
K Ferles, V Wüstholz, M Christakis, I Dillig
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Įpareigojimai: US National Science Foundation, US Department of Defense
Semantic fault localization and suspiciousness ranking
M Christakis, M Heizmann, MN Mansur, C Schilling, V Wüstholz
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Įpareigojimai: Austrian Science Fund, German Research Foundation, European Commission
Automated safety verification of programs invoking neural networks
M Christakis, HF Eniser, H Hermanns, J Hoffmann, Y Kothari, J Li, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Įpareigojimai: US National Science Foundation, German Research Foundation
Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing
HF Eniser, TP Gros, V Wüstholz, J Hoffmann, M Christakis
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
Įpareigojimai: German Research Foundation
Lab conditions for research on explainable automated decisions
C Baier, M Christakis, TP Gros, D Groß, S Gumhold, H Hermanns, ...
Trustworthy AI-Integrating Learning, Optimization and Reasoning: First …, 2021
Įpareigojimai: German Research Foundation
Debugging a policy: Automatic action-policy testing in AI planning
M Steinmetz, D Fišer, HF Eniser, P Ferber, TP Gros, P Heim, D Höller, ...
Proceedings of the International Conference on Automated Planning and …, 2022
Įpareigojimai: Swiss National Science Foundation, German Research Foundation, European …
Dependency-aware metamorphic testing of datalog engines
MN Mansur, V Wüstholz, M Christakis
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
Įpareigojimai: European Commission
Compositional verification of smart contracts through communication abstraction
S Wesley, M Christakis, JA Navas, R Trefler, V Wüstholz, A Gurfinkel
International Static Analysis Symposium, 429-452, 2021
Įpareigojimai: US National Science Foundation, Natural Sciences and Engineering Research …
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
International Conference on Tools and Algorithms for the Construction and …, 2021
Įpareigojimai: German Research Foundation
Automatically tailoring abstract interpretation to custom usage scenarios
MN Mansur, B Mariano, M Christakis, JA Navas, V Wüstholz
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Įpareigojimai: US National Science Foundation, German Research Foundation
Verifying global two-safety properties in neural networks with confidence
A Athavale, E Bartocci, M Christakis, M Maffei, D Nickovic, ...
International Conference on Computer Aided Verification, 329-351, 2024
Įpareigojimai: Austrian Science Fund, European Commission, Vienna Science and Technology …
Leidyklos ir finansavimo informaciją automatiškai nustato kompiuterio programa