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

Automatically Detecting and Mitigating Issues in Program An..:

Mansur, Muhammad Numair , 2023
Link: https://nbn-resolving.de..
 
?
2

Green Fuzzer Benchmarking:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Ounjai, Jiradet ; Wüstholz, Valentin ; Christakis, Maria - p. 1396-1406 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Dependency-Aware Metamorphic Testing of Datalog Engines:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Mansur, Muhammad Numair ; Wüstholz, Valentin ; Christakis, Maria - p. 236-247 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Metamorphic relations via relaxations: an approach to obtai..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Eniser, Hasan Ferit ; Gros, Timo P. ; Wüstholz, Valentin.. - p. 52-63 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Input splitting for cloud-based static application security..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Christakis, Maria ; Cottenier, Thomas ; Filieri, Antonio... - p. 1367-1378 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Report from Dagstuhl Seminar 21442: Ensuring the Reliabilit..:

Rigger, Manuel ; Böhm, Alexander ; Christakis, Maria.
Datenbank-Spektrum.  22 (2022)  3 - p. 261-263 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Verifying Solidity Smart Contracts via Communication Abstra..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Wesley, Scott ; Christakis, Maria ; Navas, Jorge A.... - p. 425-449 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Automated Safety Verification of Programs Invoking Neural N..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Christakis, Maria ; Eniser, Hasan Ferit ; Hermanns, Holger... - p. 201-224 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Compositional Verification of Smart Contracts Through Commu..:

, In: Static Analysis; Lecture Notes in Computer Science,
Wesley, Scott ; Christakis, Maria ; Navas, Jorge A.... - p. 429-452 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Metamorphic testing of Datalog engines:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Mansur, Muhammad Numair ; Christakis, Maria ; Wüstholz, Valentin - p. 639-650 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Automatically Tailoring Abstract Interpretation to Custom U..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Mansur, Muhammad Numair ; Mariano, Benjamin ; Christakis, Maria.. - p. 777-800 , 2021
Link: https://doi.org/10.1007/..
 
?
12

A Two-Phase Approach for Conditional Floating-Point Verific..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lohar, Debasmita ; Jeangoudoux, Clothilde ; Sobel, Joshua.. - p. 43-63 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Lab Conditions for Research on Explainable Automated Decisi..:

, In: Trustworthy AI - Integrating Learning, Optimization and Reasoning; Lecture Notes in Computer Science,
Baier, Christel ; Christakis, Maria ; Gros, Timo P.... - p. 83-90 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Harvey: a greybox fuzzer for smart contracts:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Wüstholz, Valentin ; Christakis, Maria - p. 1398-1409 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

DeepSearch: a simple and effective blackbox attack for deep..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Zhang, Fuyuan ; Chowdhury, Sankalan Pal ; Christakis, Maria - p. 800-812 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15