E-LIB Suche - Ergebnisse für: Hajdu, Ákos

1

PrivacyCAT: Privacy-Aware Code Analysis at Scale:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice,

Mao, Ke ; Åhs, Cons ; Cela, Sopot... - p. 106-117 , 2024

Link: https://dl.acm.org/doi/1..

2

Automated End-to-End Dynamic Taint Analysis for WhatsApp:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,

Cela, Sopot ; Ciancone, Andrea ; Gustafsson, Per... - p. 21-26 , 2024

Link: https://dl.acm.org/doi/1..

3

PrivacyCAT: Privacy-Aware Code Analysis at Scale:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Mao, Ke ; Ahs, Cons T ; Cela, Sopot... - p. 106-117 , 2024

Link: https://doi.org/10.1145/..

4

Pragmatic verification and validation of industrial executa..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
Systems Engineering. 26 (2023) 6 - p. 693-714 , 2023

Link: https://doi.org/10.1002/..

5

Theta: portfolio of CEGAR-based analyses with dynamic algor..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ádám, Zsófia ; Bajczi, Levente ; Dobos-Kovács, Mihály.. - p. 474-478 , 2022

Link: https://doi.org/10.1007/..

6

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),

Mao, Ke ; Kapus, Timotej ; Petrou, Lambros... - p. 267-278 , 2022

Link: https://doi.org/10.1109/..

7

InfERL: scalable and extensible Erlang static analysis:

, In: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang,

Hajdu, Ákos ; Marescotti, Matteo ; Suzanne, Thibault... - p. 33-39 , 2022

Link: https://dl.acm.org/doi/1..

8

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ádám, Zsófia ; Sallai, Gyula ; Hajdu, Ákos - p. 433-437 , 2021

Link: https://doi.org/10.1007/..

9

solc-verify: A Modular Verifier for Solidity Smart Contract:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Hajdu, Ákos ; Jovanović, Dejan - p. 161-179 , 2020

Link: https://doi.org/10.1007/..

10

Model checking as a service : towards pragmatic hidden f..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Horváth, Benedek ; Graics, Bence ; Hajdu, Ákos... - p. 1-5 , 2020

Link: https://dl.acm.org/doi/1..

11

SMT-Friendly Formalization of the Solidity Memory Model:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Hajdu, Ákos ; Jovanović, Dejan - p. 224-250 , 2020

Link: https://doi.org/10.1007/..

12

Using Fault Injection to Assess Blockchain Systems in Prese..:

Hajdu, Akos ; Ivaki, Naghmeh ; Kocsis, Imre...
IEEE Access. 8 (2020) - p. 190760-190783 , 2020

Link: https://doi.org/10.1109/..

13

Efficient Strategies for CEGAR-Based Model Checking:

Hajdu, Ákos ; Micskei, Zoltán
Journal of Automated Reasoning. 64 (2019) 6 - p. 1051-1091 , 2019

Link: https://doi.org/10.1007/..

14

Industrial applications of the PetriDotNet modelling and an..:

Vörös, András ; Darvas, Dániel ; Hajdu, Ákos...
Science of Computer Programming. 157 (2018) - p. 17-40 , 2018

Link: https://doi.org/10.1016/..

15

Supplementary Material to the Pragmatic Verification and Va..:

Horváth, Benedek ; Molnár, Vince ; Graics, Bence...
doi:10.1002/sys.21679. , 2023

Link: https://zenodo.org/recor..