E-LIB Suche - Ergebnisse für: Bajczi, Levente

1

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

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

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

4

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..

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

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

7

Will My Program Break on This Faulty Processor?: Formal Ana..:

Bajczi, Levente ; Vörös, András ; Molnár, Vince
ACM Transactions on Embedded Computing Systems. 18 (2019) 5s - p. 1-21 , 2019

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

8

Will My Program Break on This Faulty Processor? : Formal..:

Bajczi, Levente ; Vörös, András ; Molnár, Vince
ACM Transactions on Embedded Computing Systems (TECS). 18 (2019) 5s - p. 1-21 , 2019

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

9

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..

10

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..

11

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..

12

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..

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

Application of Counterexample-Guided Abstraction Refinement..:

Bajczi, Levente
doi:10.5281/zenodo.5905780. , 2021

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

15

Stateless software model checking parameterized with memory..:

Bajczi, Levente
doi:10.5281/zenodo.5905768. , 2020

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