I agree that this site is using cookies. You can find further informations here.
X
Ádám, Zsófia
890  results:
Search for persons X
?
1

Btor2-Cert: A Certifying Hardware-Verification Framework Us..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Ádám, Zsófia ; Beyer, Dirk ; Chien, Po-Chun.. - p. 129-149 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Theta: Abstraction Based Techniques for Verifying Concurren..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk... - p. 412-417 , 2024
Link: https://doi.org/10.1007/..
 
?
3

ConcurrentWitness2Test: Test-Harnessing the Power of Concur..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bajczi, Levente ; Ádám, Zsófia ; Micskei, Zoltán - p. 330-334 , 2024
Link: https://doi.org/10.1007/..
 
?
4

EmergenTheta: Verification Beyond Abstraction Refinement (C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bajczi, Levente ; Szekeres, Dániel ; Mondok, Milán... - p. 371-375 , 2024
Link: https://doi.org/10.1007/..
 
?
5

From Natural Language Requirements to the Verification of P..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia... - p. 353-360 , 2023
Link: https://doi.org/10.1007/..
 
?
6

C for yourself : comparison of front-end techniques for ..:

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,
Bajczi, Levente ; Ádám, Zsófia ; Molnár, Vince - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

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/..
 
?
8

C for Yourself: Comparison of Front-End Techniques for Form..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),
Bajczi, Levente ; Adam, Zsofia ; Molnar, Vince - p. 1-11 , 2022
Link: https://doi.org/10.1145/..
 
?
9

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/..
 
?
10

Abstraction-based Trace Generation to Validate Semantics of..:

Ádám, Zsófia ; Micskei, Zoltán
doi:10.5281/zenodo.7561102.  , 2023
Link: https://zenodo.org/recor..
 
?
11

Runtime Monitoring of Refinement Progress in CEGAR-based Mo..:

Ádám, Zsófia ; Micskei, Zoltán
doi:10.5281/zenodo.8002252.  , 2023
Link: https://zenodo.org/recor..
 
?
12

Abstraction-based Trace Generation to Validate Semantics of..:

Ádám, Zsófia ; Micskei, Zoltán
doi:10.5281/zenodo.7263706.  , 2022
Link: https://zenodo.org/recor..
 
?
13

C for Yourself: Comparison of Front-End Techniques for Form..:

Bajczi, Levente ; Ádám, Zsófia ; Molnár, Vince
doi:10.5281/zenodo.5920382.  , 2022
Link: https://zenodo.org/recor..
 
?
14

C for Yourself: Comparison of Front-End Techniques for Form..:

Bajczi, Levente ; Ádám, Zsófia ; Molnár, Vince
doi:10.5281/zenodo.5920382.  , 2022
Link: https://zenodo.org/recor..
 
?
15

CEGAR-based Verification of Concurrent and Recursive Progra..:

Bajczi, Levente ; Telbisz, Csanád ; Somorjai, Márk...
doi:10.5281/zenodo.7455303.  , 2022
Link: https://zenodo.org/recor..
 
1-15